5506 search results - page 87 / 1102 » Minimal Logic Programs |
125
Voted
CADE
2001
Springer
16 years 1 months ago
2001
Springer
101
Voted
AAAI
1990
15 years 2 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
CADE
2001
Springer
16 years 1 months ago
2001
Springer
Abstract. Nontrivial meta-complexity theorems, proved once for a programming language as a whole, facilitate the presentation and analysis of particular algorithms. This paper give...
121
click to vote
LPAR
1992
Springer
15 years 4 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
98
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...