Memory Management: An Abstract Formulation of Incremental Tracing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Healfdene Goguen, Richard Brooksby, Rod M. Burstall. Memory Management: An Abstract Formulation of Incremental Tracing. In Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith, editors, Types for Proofs and Programs, International Workshop TYPES 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers. Volume 1956 of Lecture Notes in Computer Science, pages 148-161, Springer, 1999. [doi]

This author has not been identified. Look up 'Healfdene Goguen' in GoogleThis author has not been identified. Look up 'Richard Brooksby' in GoogleThis author has not been identified. Look up 'Rod M. Burstall' in Google

runs on WebDSL