Interprocedural Herbrand Equalities

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_4 ◽

2005 ◽

pp. 31-45 ◽

Author(s):

Markus Müller-Olm ◽

Helmut Seidl ◽

Bernhard Steffen

Download Full-text