Transformational Derivation of a Garbage Collection Algorithm

DOI10.1145/69622.357188MaRDI QIDQ3954798zbMATH OpenOpenAlexFDO

Authors Robert B. K. Dewar, Elia Weixelbaum, Micha Sharir

Publication date 1982

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/69622.357188

zbMATH Keywords

program transformationloop fusionautomatic programmingformal differentiationspecifying and verifying and reasoning about programsstrength reductionwide-spectrum languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Transformational Derivation of a Garbage Collection Algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3954798)