Specification and correctness proof of a WAM extension with abstract type constraints
From MaRDI portal
Publication:1815343
DOI10.1007/BF01213533zbMath0857.68016MaRDI 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
68N01: General topics in the theory of software
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
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