1445 search results - page 23 / 289 » Abstract Interpretation of Logic Programs |
WOLLIC
2010
Springer
15 years 1 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
