1671 search results - page 222 / 335 » Language Constructs for Multi-agent Programming |
275
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
159
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
172
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
178
click to vote
WSC
1994
15 years 7 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...
131
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...