Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Principles of Program Analysis
Home
Publications
Principles of Program Analysis
Principles of Program Analysis
Authors:
FN
Flemming Nielson
Flemming Nielson
HN
Hanne Riis Nielson
Hanne Riis Nielson
CH
Chris Hankin
Chris Hankin
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Publisher website
Google Scholar
1 January 1999
book
Published by
Springer Nature
DOI:
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
Cited by 1007 articles
Scroll to top