709 search results - page 65 / 142 » Type Checking in XOBE |
216
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
169
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
165
click to vote
BDA
2007
15 years 7 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
165
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
170
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...