2477 search results - page 265 / 496 » First-Order Interactive Programming |
137
Voted
TYPES
1998
Springer
15 years 6 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
104
Voted
POPL
1997
ACM
15 years 6 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
110
click to vote
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
150
Voted
COMPASS
1994
15 years 6 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
128
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...