Sciweavers

8 search results - page 1 / 2
» lmcs 2006
Sort
View
LMCS
2006
119views more  LMCS 2006»
13 years 10 months ago
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
Lars Birkedal, Noah Torp-Smith, Hongseok Yang
LMCS
2006
126views more  LMCS 2006»
13 years 10 months ago
The Completeness of Propositional Resolution: A Simple and Constructive Proof
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...
Jean H. Gallier
LMCS
2006
119views more  LMCS 2006»
13 years 10 months ago
The monadic second-order logic of graphs XVI : Canonical graph decompositions
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...
Bruno Courcelle