1402 search results - page 184 / 281 » A Practical Agent Programming Language |
114
click to vote
SPAA
1997
ACM
15 years 6 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
144
Voted
IASTEDSEA
2004
15 years 3 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
101
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
195
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
124
click to vote
UM
2009
Springer
15 years 9 months ago
2009
Springer
Web search is the dominant form of information access and everyday millions of searches are handled by mainstream search engines, but users still struggle to find what they are lo...