10871 search results - page 146 / 2175 » A stable programming language |
JMLR
2012
12 years 24 days ago
2012
ENTCS
2007
13 years 10 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
EUROGP
2007
Springer
14 years 4 months ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
Book
A great book about the Implementation of Functional Programming Languages.
IBERAMIA
2004
Springer
14 years 3 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...