5415 search results - page 393 / 1083 » The Implementation of Functional Programming Languages |
162
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
150
click to vote
ESOP
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
201
click to vote
PADL
2004
Springer
16 years 4 days ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
210
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
175
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...