3342 search results - page 121 / 669 » Automating Abstract Interpretation |
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
DLOG
1996
15 years 4 months ago
1996
d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy
120
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. We present a family of expressive extensions of Datalog, called Datalog
103
click to vote
CSL
2002
Springer
15 years 2 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
127
click to vote
DLOG
2010
15 years 26 days 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...