Sciweavers

10622 search results - page 363 / 2125
» Python Programming Language
Sort
View
116
Voted
IFL
2007
Springer
133views Formal Methods» more  IFL 2007»
15 years 10 months ago
Debugging Lazy Functional Programs by Asking the Oracle
Bernd Braßel, Holger Siegel
VL
2000
IEEE
136views Visual Languages» more  VL 2000»
15 years 9 months ago
A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
Mauro Mosconi, Marco Porta
CCS
2008
ACM
15 years 6 months ago
EON: modeling and analyzing dynamic access control systems with logic programs
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...
ENTCS
2007
101views more  ENTCS 2007»
15 years 4 months ago
From Functional Programs to Interaction Nets via the Rewriting Calculus
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
Horatiu Cirstea, Germain Faure, Maribel Fern&aacut...
ATAL
2009
Springer
15 years 11 months ago
Roles and norms for programming agent organizations
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...