AMAST
2006
Springer
15 years 7 months ago
2006
Springer
129
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
124
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
113
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
114
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...