Second-order proof systems for algebraic specification languages-Reference-Cited by-同舟云学术

Second-order proof systems for algebraic specification languages

Published:1994 Issue: Volume: Page:321-336
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Schobbens Pierre-Yves

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57867-6_20

Reference25 articles.

1. M. Bidoit and G. Bernot. Proving correctness of algebraically specified software: Modularity and observability issues. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, AMAST'91, pages 139–161. Springer-Verlag, 1992.

2. M. Broy and al. The requirement and design specification language spectrum: an introduction. Technical Report TUM-I9140, Technische Universität München, 1991.

3. M. Broy and M. Wirsing. Ultra-Loose Algebraic Specification. Report MIP-8814, Universitat Passau, Fakultat Fur Mathematik Und Informatik, Aug 1988.

4. R. Burstall and J. Goguen. Semantics of CLEAR, a Specification Language. In D. Bjorner, editor, Abstract software specifications, Proc. 1979 Copenhagen Winter School, volume 86, pages 292–332. Springer, 1980.

5. CIP Language Group. The Munich Project CIP — Vol. I: The Language, volume 183 of Lecture Notes in Computer Science. Springer, 1985.

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

1. Subsorted Partial Higher-Order Logic as an Extension of CASL;Recent Trends in Algebraic Development Techniques;2000

2. CASL: From Semantics to Tools;Tools and Algorithms for the Construction and Analysis of Systems;2000

3. On behavioural abstraction and behavioural satisfaction in higher-order logic;TAPSOFT '95: Theory and Practice of Software Development;1995