Symbolic reaching definitions analysis of Ada programs

Reliable Software Technologies — Ada-Europe - Lecture Notes in Computer Science ◽

10.1007/bfb0055009 ◽

1998 ◽

pp. 238-250 ◽

Cited By ~ 4

Author(s):

Johann Blieberger ◽

Bernd Burgstaller