scientific article; zbMATH DE number 771699

From MaRDI portal

Publication:4838159

Jump to:navigation, search

zbMath0821.68031MaRDI QIDQ4838159

No author found.

Publication date: 6 July 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

VLISP Implementation of scheme Verified implementation of scheme

Mathematics Subject Classification ID

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

Related Items (2)

A Verified Runtime for a Verified Theorem Prover ⋮ VLISP

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4838159&oldid=19174184"