Specification and correctness proof of a WAM extension with abstract type constraints

DOI10.1007/BF01213533MaRDI QIDQ1815343zbMATH OpenOpenAlexFDO

Authors C. Beierle, Egon Börger

Publication date 3 March 1997

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01213533

zbMATH Keywords

PROTOS abstract machinePROTOS-LWarren's abstract machine

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 408786
• Refinement of a typed WAM extension by polymorphic order-sorted types
• Correctness proofs for abstract implementations
• scientific article; zbMATH DE number 3938540
• scientific article; zbMATH DE number 4074454
• scientific article; zbMATH DE number 4128365
• Specification and verification of object-oriented programs using supertype abstraction
• On the modular integration of abstract semantics for WCET analysis

Cites work

• scientific article; zbMATH DE number 4164128 (Why is no real title available?)
• scientific article; zbMATH DE number 8772 (Why is no real title available?)
• scientific article; zbMATH DE number 18622 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 408786 (Why is no real title available?)
• scientific article; zbMATH DE number 1354178 (Why is no real title available?)
• scientific article; zbMATH DE number 773979 (Why is no real title available?)
• scientific article; zbMATH DE number 773982 (Why is no real title available?)
• scientific article; zbMATH DE number 868105 (Why is no real title available?)
• A polymorphic type system for Prolog
• A verified prolog compiler for the Warren Abstract Machine
• Horn clause programs with polymorphic types: Semantics and resolution
• Refinement of a typed WAM extension by polymorphic order-sorted types
• Run-time type computations in the Warren Abstract machine

Cited in

(6)

• Semantic splitting of conditional belief bases
• scientific article; zbMATH DE number 1543041 (Why is no real title available?)
• scientific article; zbMATH DE number 4176425 (Why is no real title available?)
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Refinement of a typed WAM extension by polymorphic order-sorted types
• scientific article; zbMATH DE number 408786 (Why is no real title available?)

Describes a project that uses

Uses Software

• Prolog
• PROTOS-L

This page was built for publication: Specification and correctness proof of a WAM extension with abstract type constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815343)