A sketch-based technique for the derivation of self-interpreters

DOI10.1016/S0096-0551(99)00004-1zbMath0948.68117OpenAlexW2089993612MaRDI QIDQ4719378

Charles M. I. Rattray, A. C. Reeves

Publication date: 4 January 2000

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0096-0551(99)00004-1

zbMATH Keywords

self-interpreter

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A sketch-based technique for the derivation of self-interpreters