Transformation of Left Terminating Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_10 ◽

2000 ◽

pp. 156-175 ◽

Cited By ~ 3

Author(s):

Annalisa Bossi ◽

Nicoletta Cocco ◽

Sandro Etalle

Download Full-text