scientific article; zbMATH DE number 4176425

MaRDI QIDQ3200537zbMATH OpenFDO

Authors Michael Hanus

Publication date 1989

zbMATH Keywords

Prologcompiler specificationWarren abstract machine

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• A verified prolog compiler for the Warren Abstract Machine
• An operational formal definition of PROLOG: A specification method and its application
• Specification and correctness proof of a WAM extension with abstract type constraints
• scientific article; zbMATH DE number 773979
• scientific article; zbMATH DE number 572196

Cited in

(10)

• Horn clause programs with polymorphic types: Semantics and resolution
• Implementation of axiomatic language
• scientific article; zbMATH DE number 4178749 (Why is no real title available?)
• A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
• A verified prolog compiler for the Warren Abstract Machine
• scientific article; zbMATH DE number 572196 (Why is no real title available?)
• scientific article; zbMATH DE number 554480 (Why is no real title available?)
• From relational specifications to logic programs
• Specifications can make programs run faster
• One approach to the specification and verification of translators

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 Q3200537)