@dblp

Generalizing Programs vis Subsumption.

, , and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 115-126. Springer, (2003)

Links and resources

Tags