Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650140, 9783540497271
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of Normal Logic Programs

1998 ◽  
pp. 82-98
Author(s):  
François Fages ◽  
Roberta Gori
Keyword(s):  
Logic Programs ◽  
Normal Logic

Analysis of Imperative Programs through Analysis of Constraint Logic Programs

1998 ◽  
pp. 246-261 ◽  
Author(s):  
Julio C. Peralta ◽  
John P. Gallagher ◽  
Hüseyin Sağlam
Keyword(s):  
Logic Programs ◽  
Constraint Logic Programs

The Correctness of Set-Sharing

1998 ◽  
pp. 99-114 ◽  
Author(s):  
Patricia M. Hill ◽  
Roberto Bagnara ◽  
Enea Zaffanella
Keyword(s):  
Set Sharing

A New Solution to the Hidden Copy Problem

1998 ◽  
pp. 327-348 ◽  
Author(s):  
Deepak Goyal ◽  
Robert Paige
Load More ...
Sign in / Sign up

Export Citation Format

Share Document