Specification and correctness proof of a WAM extension with abstract type constraints
type: Item
instance of: scholarly article
title: Specification and correctness proof of a WAM extension with abstract type constraints
zbMATH Open document ID: 0857.68016
DOI: 10.1007/BF01213533
author: C. Beierle
author: Egon Börger
published in: Formal Aspects of Computing
publication date: 1997-03-03T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 943663
zbMATH Keywords: Warren's abstract machine
zbMATH Keywords: PROTOS abstract machine
zbMATH Keywords: PROTOS-L
describes a project that uses: PROTOS-L
describes a project that uses: Prolog
MaRDI profile type: Publication
cites work: Q4202930
cites work: Refinement of a typed WAM extension by polymorphic order-sorted types
cites work: Q4839033
cites work: Run-time type computations in the Warren Abstract machine
cites work: Q4268493
cites work: Q3976026
cites work: Q4839029
cites work: Q4873989
cites work: Q3995131
cites work: Q3971260
cites work: Horn clause programs with polymorphic types: Semantics and resolution
cites work: A polymorphic type system for Prolog
cites work: A verified prolog compiler for the Warren Abstract Machine
cites work: Q3490936
full work available at URL: https://doi.org/10.1007/bf01213533
OpenAlex ID: W2082611979
Recommended article: Q4202930
Recommended article: Refinement of a typed WAM extension by polymorphic order-sorted types
Recommended article: Correctness proofs for abstract implementations
Recommended article: Q3709866
Recommended article: Q3805883
Recommended article: Q4207566
Recommended article: Specification and verification of object-oriented programs using supertype abstraction
Recommended article: On the Modular Integration of Abstract Semantics for WCET Analysis
description: scientific article; zbMATH DE number 943663