Development graphs—Proof management for structured specifications-Reference-Cited by-同舟云学术

Development graphs—Proof management for structured specifications

Published:2006-04 Issue:1-2 Volume:67 Page:114-145
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Mossakowski Till,Autexier Serge,Hutter Dieter

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference23 articles.

1. Locally Presentable and Accessible Categories;Adámek,1994

2. System description: Inka 5.0—a logic voyager;Autexier,1999

3. S. Autexier, D. Hutter, H. Mantel, A. Schairer, Towards an evolutionary formal software-development using Casl, in: C. Choppy, D. Bert (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, Lecture Notes in Computer Science, vol. 1827, Springer-Verlag, 2000, pp. 73–88.

4. S. Autexier, T. Mossakowski, Integrating HOL-Casl into the development graph manager Maya, in: A. Armando (Ed.), Frontiers of Combining Systems, 4th International Workshop, Lecture Notes in Computer Science, vol. 2309, Springer-Verlag, 2002, pp. 2–17.

5. Module algebra;Bergstra;J. ACM,1990

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

1. Algebraic Specification in CASL;Texts in Theoretical Computer Science. An EATCS Series;2022

2. The Coq Library as a Theory Graph;Lecture Notes in Computer Science;2019

3. Specification refinements: Calculi, tools, and applications;Science of Computer Programming;2017-09

4. The Distributed Ontology, Model and Specification Language – DOL;Recent Trends in Algebraic Development Techniques;2017

5. What Is a Derived Signature Morphism?;Recent Trends in Algebraic Development Techniques;2015