A Uniform and Certified Approach for Two Static Analyses

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/11617990_8 ◽

2006 ◽

pp. 115-137 ◽

Cited By ~ 6

Author(s):

Solange Coupet-Grimal ◽

William Delobel

Download Full-text