227 search results - page 17 / 46 » A Model Theory for Paraconsistent Logic Programming |
WCE
2007
15 years 26 days ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
195
click to vote
POPL
2005
ACM
16 years 17 hour ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
187
click to vote
POPL
2007
ACM
16 years 17 hour ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
218
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...