Refinement of a typed WAM extension by polymorphic order-sorted types-Reference-Cited by-同舟云学术

Refinement of a typed WAM extension by polymorphic order-sorted types

Published:1996-09 Issue:5 Volume:8 Page:539-564
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Beierle Christoph¹,Börger Egon²

Affiliation:

1. Fachbereich Informatik, LG Praktische Informatik VIII, FernUniversität Hagen, Bahnhofstr. 48, D-58084, Hagen, Germany

2. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

Abstract

Abstract We refine the mathematical specification of a WAM extension to typeconstraint logic programming given in [BeB96]. We provide a full specification and correctness proof of the PROTOS Abstract Machine (PAM), an extension of the WAM by polymorphic order-sorted unification as required by the logic programming language PROTOS-L, by refining the abstract type constraints used in [BeB96] to the polymorphic order-sorted types of PROTOS-L. This allows us to develop a detailed and mathematically precise account of the PAM's compiled type constraint representation and solving facilities, and to extend the correctness theorem to compilation on the fully specified PAM.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211908.pdf

Reference11 articles.

1. Warren's Abstract Machine

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

3. Logic programming with typed unification and its realization on an abstract machine

4. Run-time type computations in the Warren Abstract machine

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic Splitting of Conditional Belief Bases;Logic, Computation and Rigorous Methods;2021

2. The abstract state machines method for modular design and analysis of programming languages;Journal of Logic and Computation;2014-12-18

3. Abstract State Machines: a unifying view of models of computation and of system design frameworks;Annals of Pure and Applied Logic;2005-05

4. A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis;Teaching Formal Methods;2004

5. The ASM Refinement Method;Formal Aspects of Computing;2003-11