3342 search results - page 121 / 669 » Automating Abstract Interpretation |
52
Voted
CSL
2008
Springer
15 years 29 days ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
DLOG
1996
15 years 14 days ago
1996
d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy
DLOG
2009
15 years 7 days ago
2009
Abstract. We present a family of expressive extensions of Datalog, called Datalog
CSL
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
DLOG
2010
14 years 9 months ago
2010
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...