2236 search results - page 197 / 448 » Language Independence and Language Tolerance in Logic Progra... |
170
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
176
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
153
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
161
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
157
click to vote
JOLLI
2002
15 years 6 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...