About the “correctness” and “adequacy” of PLUSS specifications-Reference-Cited by-同舟云学术

About the “correctness” and “adequacy” of PLUSS specifications

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

Author:

Choppy Christine

Publisher

Springer Berlin Heidelberg

Link

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

Reference36 articles.

1. G. Bernot. Good functors... are those preserving philosophy. In Proc. of the Summer Conference on Category Theory and Computer Science, pages 182–195. Springer-Verlag L.N.C.S. 283, 1987.

2. G. Bernot and M. Bidoit. Proving the correctness of algebraically specified software: Modularity and Observability issues. In Proc. of the 2nd International Conference on Algebraic Methodology and Software Technology (AMAST), 1991.

3. D. Bert, P. Drabik, and R. Echahed. Manuel de référence de LPG. Technical Report 17, IMAG-LIFIA, 1987.

4. M. Bidoit. The stratified loose approach: A generalization of initial and loose semantics. In Recent Trends in Data Type Specification, Selected Papers of the 5th Workshop on Specifications of Abstract Data Types, pages 1–22. Springer-Verlag L.N.C.S. 332, 1987.

5. M. Bidoit. Pluss, un langage pour le développement de spécifications algébriques modulaires. Thèse d'Etat, Université Paris-Sud, 1989.

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

1. Interchange format for inter-operability of tools and translation;Recent Trends in Data Type Specification;1996

2. A model inference system for generic specification with application to code sharing;TAPSOFT '95: Theory and Practice of Software Development;1995