Upper Adjoints for Fast Inter-procedural Variable Equalities

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78739-6_15 ◽

2008 ◽

pp. 178-192 ◽

Author(s):

Markus Müller-Olm ◽

Helmut Seidl

Download Full-text