scientific article; zbMATH DE number 4176425
From MaRDI portal
Publication:3200537
zbMATH Open0714.68012MaRDI QIDQ3200537FDOQ3200537
Authors: 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
Artificial intelligence (68T99) Logic programming (68N17) Theory of compilers and interpreters (68N20)
Cited In (9)
- Horn clause programs with polymorphic types: Semantics and resolution
- Implementation of axiomatic language
- 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?)
- From relational specifications to logic programs
- 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)
