11022 search results - page 83 / 2205 » Programming Systems for Autonomy |
124
Voted
ALP
1994
Springer
15 years 6 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...
154
Voted
PDS
1996
15 years 3 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...
172
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
131
Voted
FOAL
2009
ACM
15 years 9 months 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...
