InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations-Reference-Cited by-同舟云学术

InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations

Published:1996 Issue: Volume: Page:291-305
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Klar Marcus,Geisler Robert,Cornelius Felix

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61629-2_49.pdf

Reference14 articles.

1. R. Bardohl. Concept and Implementation of the Language GVT for the Graphical Visualisation of Terms of Algebraic Specifications (in german). Master's thesis, Technische Universität Berlin, 1993.

2. I. Claßen. Compositionality of Application Oriented Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. PhD thesis, Technische Universität Berlin, 1993.

3. I. Claßen, H. Ehrig, and D. Wolz. Algberaic Specification Techniques and Tools for Software Development — The ACT Approach. AMAST Series in Computing Vol. 1. World Scientific, 1993.

4. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.

5. R. Geisler and M. Klar. Design and Realisation of the Interactive Theorem-and Completeness Prover InterACT for Algebraic Specifications (in german). Master's thesis, Technische Universität Berlin, June 1995.

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

1. InterACT: An interactive theorem prover for algebraic specifications;Algebraic Methodology and Software Technology;1996