764 search results - page 85 / 153 » On the Expressibility of Stable Logic Programming |
PLSA
1994
15 years 3 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
100
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
117
click to vote
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
110
click to vote
ENTCS
2007
14 years 11 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
ICFP
2010
ACM
15 years 28 days ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...