Reasoning with executable specifications-Reference-Cited by-同舟云学术

Reasoning with executable specifications

Published:1995 Issue: Volume: Page:531-545
ISSN:0302-9743
Container-title:TAPSOFT '95: Theory and Practice of Software Development
language:
Short-container-title:

Author:

Bertot Yves,Fraer Ranan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59293-8_218.pdf

Reference26 articles.

1. I. Attali. Compiling Typol with Attribute Grammars. In Programming Language Implementation and Logic Programming, Orléans, France, 1988. Springer Verlag, LNCS.

2. G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pages 11–17. Elsevier Science Publishers P.V, 1989.

3. Y. Bertot. Une Automatisation du Calcul des Résidus en Sémantique Naturelle. PhD thesis, Université de Nice-Sophia Antipolis, 1991.

4. Y. Bertot, G. Kahn, and L. Théry. Real Theorem Provers Deserve Real Interfaces. In 5th ACM Symposium on Software Development Environments, Washington, 1992. Also available as INRIA Research Report, RR-1684.

5. K. Buth. Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems. PhD thesis, Christian-Albrechts University, Kiel, 1994.

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

1. Dynamic dependence in term rewriting systems and its application to program slicing;Information and Software Technology;1998-12

2. Winskel is (almost) Right: Towards a Mechanized Semantics Textbook;Formal Aspects of Computing;1998-11

3. Optimizing Sisal programs: A formal approach;Lecture Notes in Computer Science;1996

4. Winskel is (almost) right;Lecture Notes in Computer Science;1996

5. Mechanically verifying the correctness of an offline partial evaluator;Programming Languages: Implementations, Logics and Programs;1995