Aliasing Control in an Imperative Pure Calculus

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-26529-2_12 ◽

2015 ◽

pp. 208-228 ◽

Cited By ~ 3

Author(s):

Marco Servetto ◽

Elena Zucca

Download Full-text