662 search results - page 65 / 133 » Logic Programming with Ordered Disjunction |
ENTCS
2002
13 years 8 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
TBILLC
2005
Springer
14 years 2 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
SC
2009
ACM
14 years 3 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
CAV
2004
Springer
14 years 17 days ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Program analysis and veriļ¬cation tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...