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

DOI10.1007/BF01213533zbMath0857.68016OpenAlexW2082611979MaRDI QIDQ1815343

Egon Börger, Christoph Beierle

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)

Related Items

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, Semantic splitting of conditional belief bases

Uses Software

• PROTOS-L
• Prolog

Cites Work

• A polymorphic type system for Prolog
• Horn clause programs with polymorphic types: Semantics and resolution
• Refinement of a typed WAM extension by polymorphic order-sorted types
• A verified prolog compiler for the Warren Abstract Machine
• Run-time type computations in the Warren Abstract machine
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item