1402 search results - page 190 / 281 » A Practical Agent Programming Language |
126
Voted
ICFP
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
115
click to vote
ICLP
2005
Springer
15 years 8 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...
130
click to vote
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
134
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
107
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...