Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540603603, 9783540450504
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Trust in the λ-calculus

1995 ◽  
pp. 314-329 ◽  
Author(s):  
Jens Palsberg ◽  
Peter Ørb⇓ek

Call-by-name CPS-translation as a binding-time improvement

1995 ◽  
pp. 296-313 ◽  
Author(s):  
Kristian Nielsen ◽  
Morten Heine Sørensen
Keyword(s):  
Binding Time

Unification-free execution of well-moded and well-typed Prolog programs

1995 ◽  
pp. 243-260
Author(s):  
M. R. K. Krishna Rao ◽  
R. K. Shyamasundar
Keyword(s):  
Prolog Programs

Optimality in abstractions of model checking

1995 ◽  
pp. 51-63 ◽  
Author(s):  
Rance Cleaveland ◽  
Purush Iyer ◽  
Daniel Yankelevich
Keyword(s):  
Model Checking

Effective flow analysis for avoiding run-time checks

1995 ◽  
pp. 207-224 ◽  
Author(s):  
Suresh Jagannathan ◽  
Andrew Wright
Keyword(s):  
Flow Analysis ◽  
Run Time
Load More ...
Sign in / Sign up

Export Citation Format

Share Document