Inter-procedural Two-Variable Herbrand Equalities

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-46669-8_19 ◽

2015 ◽

pp. 457-482

Author(s):

Stefan Schulze Frielinghaus ◽

Michael Petter ◽

Helmut Seidl

Download Full-text