Principles of Program Analysis
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642084744, 9783662038116
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algorithms

1999 ◽  
pp. 365-392 ◽  
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Chris Hankin

Constraint Based Analysis

1999 ◽  
pp. 141-209
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Chris Hankin

Introduction

1999 ◽  
pp. 1-33 ◽  
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Chris Hankin

Data Flow Analysis

1999 ◽  
pp. 35-139
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Chris Hankin
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

Abstract Interpretation

1999 ◽  
pp. 211-282
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Chris Hankin
Keyword(s):  
Abstract Interpretation

Type and Effect Systems

1999 ◽  
pp. 283-363 ◽  
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Chris Hankin
Keyword(s):  
Type And Effect Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document