17054 search results - page 287 / 3411 » Logics of Dynamical Systems |
216
click to vote
LPAR
2005
Springer
16 years 23 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
225
click to vote
ENTCS
2007
15 years 7 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
216
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
