Paper Info
Title
Efficient deductive methods for program analysis
Abstract
No abstract available.
Year
DOI
Venue
2001
10.1145/373243.360212
symposium on principles of programming languages
Keywords
Field
DocType
program analysis,efficient deductive method,termination,partial evaluation,omega automaton
Programming language,Partial evaluation,Computer science,Theoretical computer science,Program analysis
Conference
Volume
Issue
ISSN
36
3
0362-1340
ISBN
Citations 
PageRank 
1-58113-336-7
0
0.34
References 
Authors
10
1
Name
Order
Citations
PageRank
Harald Ganzinger11513155.21