scientific article; zbMATH DE number 578229

From MaRDI portal

Publication:4293533

Jump to:navigation, search

zbMath0823.68022MaRDI QIDQ4293533

Susan Stepney

Publication date: 29 May 1994

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

zbMATH Keywords

dynamic semantics compilers reliability of software Prolog language

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (2)

Specification, verification and prototyping of an optimized compiler ⋮ Correct hardware synthesis

This page was built for publication:

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