scientific article; zbMATH DE number 771699

MaRDI QIDQ4838159zbMATH OpenFDO

Authors

Publication date 6 July 1995

zbMATH Keywords

Implementation of schemeVerified implementation of schemeVLISP

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Cited in

(2)

• VLISP
• A verified runtime for a verified theorem prover

This page was built for publication:

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