Frank S. de Boer
Pierre America and Frank de Boer.
Proving total correctness of recursive procedures.
Information and Computation
, 84(2):129-162, February 1990.
Frank S. de Boer and Catuscia Palamidessi.
Embedding as a tool for language comparison.
Information and Computation
, 108(1):128-157, January 1994.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database