1687 search results - page 266 / 338 » Light Functional Interpretation |
130
click to vote
COLLABORATION
1999
Springer
15 years 8 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
152
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
128
click to vote
IWAN
1999
Springer
15 years 8 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
153
click to vote
PPSN
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
121
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...