Reasoning about programs with effects

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0024185 ◽

2005 ◽

pp. 189-203 ◽

Cited By ~ 1

Author(s):

Ian Mason ◽

Carolyn Talcott