Specification and correctness proof of a WAM extension with abstract type constraints
From MaRDI portal
Publication:1815343
DOI10.1007/BF01213533zbMATH Open0857.68016OpenAlexW2082611979MaRDI QIDQ1815343FDOQ1815343
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A polymorphic type system for Prolog
- Horn clause programs with polymorphic types: Semantics and resolution
- A verified prolog compiler for the Warren Abstract Machine
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refinement of a typed WAM extension by polymorphic order-sorted types
- Title not available (Why is that?)
- Run-time type computations in the Warren Abstract machine
- Title not available (Why is that?)
Cited In (6)
- Semantic splitting of conditional belief bases
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
Uses Software
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)
