Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540617396, 9783540706748
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Subtyping constrained types

1996 ◽  
pp. 349-365 ◽  
Author(s):  
Valery Trifonov ◽  
Scott Smith

Generalized dominators for structured programs

1996 ◽  
pp. 42-51 ◽  
Author(s):  
Stephen Alstrup ◽  
Peter W. Lauridsen ◽  
Mikkel Thorup

PAN — The Prolog analyzer

1996 ◽  
pp. 387-388 ◽  
Author(s):  
Martin Müller ◽  
Thomas Glaß ◽  
Karl Stroetmann
Load More ...
Sign in / Sign up

Export Citation Format

Share Document