11214 search results - page 146 / 2243 » Programming Multi-agent Systems |
161
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
193
click to vote
PDS
1996
15 years 7 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
198
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...
174
click to vote
FOAL
2009
ACM
16 years 23 days ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...