[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Proofs by structural induction using partial evaluation
Lawall, Julia L.Year:
1993
Language:
english
DOI:
10.1145/154630.154646
File:
PDF, 980 KB
english, 1993