3566 search results - page 231 / 714 » Signed Logic Programs |
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
ENTCS
2006
14 years 11 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
125
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
ER
2009
Springer
15 years 6 months ago
2009
Springer
