Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Principles of Program Analysis
Home
Publications
Principles of Program Analysis
Principles of Program Analysis
Flemming Nielson
Flemming Nielson
Hanne Riis Nielson
Hanne Riis Nielson
Chris Hankin
Chris Hankin
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1999
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-3-662-03811-6
Abstract
No abstract available
Keywords
ABSTRACT INTERPRETATION
CONSTRAINT BASED ANALYSIS
DATA FLOW ANALYSIS
PROGRAM ANALYSIS
PROGRAM TRANSFORMATION
TYPE SYSTEMS
ALGORITHMS
COMPILER
CONSTRAINT
REGULAR EXPRESSION
SOFTWARE
VALIDATION
Cited by 667 articles