754 search results - page 83 / 151 » Nested Expressions in Logic Programs |
127
Voted
IPPS
2000
IEEE
15 years 7 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...
142
Voted
ASIAN
2006
Springer
15 years 6 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 ...
136
click to vote
ENTCS
2007
15 years 2 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...
125
click to vote
ICFP
2010
ACM
15 years 3 months 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...
103
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...