Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG-Reference-Cited by-同舟云学术

Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG

Published:1981 Issue: Volume: Page:101-116
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bergman Marc,Deransart Pierre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10828-9_57.pdf

Reference13 articles.

1. A.L. FURTADO, P.A.S. VELOSO Procedural Verification and Implementations for Abstract Data Types, Pontificia Universidade Catolica do Rio de Janeiro. Private communication.

2. M.C. GAUDEL Compiler Proof and Generation based on semantics of programming Languages (French) Thèse de Doctorat — 10 th March 1980 — Nancy —

3. J.A. GOGUEN. How to prove algebraic inductive hypotheses without induction with applications to the correctness of data type implementation. 5th Conference on Automated Deduction. Les Arcs, France, Juillet 1980. (LNCS 87, pp. 356–373).

4. J.A. GOGUEN, J.J. TARDO, "An introduction to OBJ, A Language for writing and testing Formal Algebraic Program Specification". Specification of Reliable Software. Boston Apr. 1979. pp. 170–189.

5. J.V. GUTTAG, J.J. HORNING, The Algebraic Specification of Abstract Data Types. Acta Informatica 10 (1978), 27–52.

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

1. Theoretical Issues of Logic Programming;Logic Programming;1985

2. Other Application Areas of Logic Programming;Logic Programming;1985

3. Algebraic specifications: A constructive methodology in logic programming;Lecture Notes in Computer Science;1982

4. A system for reasoning within and about algebraic specifications;Lecture Notes in Computer Science;1982

5. On the algebraic extensions of abstract data types;Formalization of Programming Concepts;1981