scientific article; zbMATH DE number 4176425

zbMATH Open0714.68012MaRDI QIDQ3200537FDOQ3200537

Michael Hanus

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Prologcompiler specificationWarren abstract machine

Mathematics Subject Classification ID

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

Cited In (7)

• Horn clause programs with polymorphic types: Semantics and resolution
• Title not available (Why is that?)
• A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
• A verified prolog compiler for the Warren Abstract Machine
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)