8232 search results - page 46 / 1647 » Dynamic Logic Programming |
CADE
2008
Springer
14 years 10 months ago
2008
Springer
CADE
1994
Springer
14 years 2 months ago
1994
Springer
ISSTA
2012
ACM
12 years 15 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...