Experience with software conversion

DOI10.1002/SPE.4380111005zbMath0471.68017OpenAlexW2015456006MaRDI QIDQ3925158

Hanan Samet

Publication date: 1981

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380111005

zbMATH Keywords

program transformationbootstrappingLISPportable softwareINTERLISP

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cites Work

• Recursive functions of symbolic expressions and their computation by machine, Part I
• Proving the correctness of heuristically optimized code

This page was built for publication: Experience with software conversion