Interchange format for inter-operability of tools and translation: The salsa and asspegique+/LP experience

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1130, Issue , 1996, Pages 102-124

  Bidoit, Michel ^a   Choppy, Christine ^b,c   Voisin, Frédéric ^c  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b ECOLE CENTRALE DE NANTES   (France)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; GENERIC SOLUTIONS; INTERCHANGE FORMATS; SEMANTIC COMPATIBILITY; USER INTERACTION;

ABSTRACT DATA TYPES;

EID: 84958658271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61629-2_39     Document Type: Conference Paper

References (29)

1. The Common Framework Initiative. Web home page available at the address http://www.brics.dk/Projects/CoFI/, 1995.
2. D. Bert, P. Drabik, and R. Echahed. Manuel de reference de Lpg. Technical Report 17, IMAG-LIFIA, 1987.
3. D. Bert and R. Echahed. Design and implementation of a generic, logic and functional programming language. In ESOP-86, pages 119-132. Springer-Verlag L.N.C.S. 213, 1986.
4. M. Bidoit. Pluss, un langage pour le developpement de specifications algebriques modulaires. These d'Etat, Universite Paris-Sud, 1989.
5. M. Bidoit, C. Choppy, and F. Voisin. The Asspegique specification environment: Motivations and Design. In Proc. of the 3rd Workshop on Theory and Applications of Abstract Data Types, pages 54-72. Springer-Verlag I.F.B. 116, 1984.
6. M. Bidoit, M.-C. Gaudel, and A. Mauboussin. How to make algebraic specifications more understandable? An experiment with the Pluss specification language. Science of Computer Programming, 12(1), 1989.
7. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Development - A Survey and Annotated Bibliography, volume 501 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
8. R.M. Burstall and J. A. Goguen. The semantics of clear, a specification language. In Advance Course on Abstract Software Specifications, pages 292-332. Springer-Verlag L.N.C.S. 86, 1980.
9. M. Cerioli. Relationships between Logical Formalisms. PhD Thesis, TD-4-93, Universita di Pisa-Genova-Udine, 1993.
10. C. Choppy. Asspegique: User's Manual. L.R.I. Research Report 452, 1988.
11. C. Choppy. About the "correctness" and "adequacy" of Pluss specifications. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specifications - 9th Workshop on Abstract Data Type joint with 4th COMPASS Workshop - Selected Papers, pages 128-143. L.N.C.S. 785 Springer Verlag, 1994.
12. C. Choppy. Specifications algebriques: Prototypage et validation. Habilitation a diriger des recherches - Universite Paris-Sud, 1994.
13. C. Choppy and M. Bidoit. Integrating Asspegique and LP. In U. Martin and J. Wing, editors, Proceedings of the First International Workshop on Larch, pages 69-85. Springer-Verlag Workshops in Computing, 1993.
14. S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the Specification Language glider. Technical Report Dissem-033-P, Icarus, June 1992.
15. H. Ehrig, W. Fey, and H. Hansen. Act One: an algebraic specification language with two levels of semantics. Technical Report 83-03, TU Berlin FB 20, 1983.
16. R. Forgaard and J. Guttag. Reve: a term rewriting system generator with failure-resistant Knuth-Bendix, 1984. Proc. of an NSF workshop on the rewrite rule laboratory, and Report n° 84GEN008, General Electric.
17. S. Garland and J. Guttag. An overview of LP, the Larch Prover. In Proc. of the Third International Conference on Rewriting Techniques and Applications, pages 137-151. Springer-Verlag L.N.C.S. 355, 1989.
18. S. Garland and J. Guttag. A Guide to LP, The Larch Prover. Technical Report 82, DEC-SRC, 1991.
19. M.-C. Gaudel. Structuring and modularizing algebraic specifications: the Pluss specification language, evolutions and perspectives. In Proc. of the 9th Symposium on Theoretical Aspects of Computer Science (STACS), pages 3-23. Springer-Verlag L.N.C.S. 577, 1992.
20. J. A. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39:95-146, 1992.
21. Salsa group composed of D. Bert, M. Bidoit, C. Choppy, R. Echahed, J.-M. Hufflein, J.-P. Jacquot, M. Lemoine, N. Levy, J.-C. Reynaud, C. Roques, and F. Voisin. Operation Salsa: Structure d'AccueiL pour Specifications Algebriques. Final report, December 1993.
22. S. Kaplan and C. Choppy. Abstract rewriting with concrete operators. In Proc. of the Third International Conference on Rewriting Techniques and Applications, pages 178-186. Springer-Verlag L.N.C.S. 355, 1989.
23. P. Lescanne. Computer experiments with the Reve term rewriting system generator. In Proc. 10th Symposium on Principles of Programming Languages, pages 99-108. ACM, 1983.
24. T. Mossakowski. A hierarchy of institutions separated by properties of parameterized abstract data types. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specifications - 10th Workshop on Abstract Data Type joint with 5th COMPASS Workshop - Selected Papers, pages 389-405. L.N.C.S. 906 Springer Verlag, 1995. '
25. C. Roques. Modularite dans les specifications algebriques, Theorie et application. These de Doctorat, Universite Paris-Sud, 1994.
26. D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165-210, 1988.
27. F. Voisin and M. Bidoit. Towards Modular Theorem-Provers for Modular Algebraic Specifications: Modular Orientation of Equations into Rewrite Rules. Submitted to the proceedings of the 11th WADT, 1995.
28. M. Wirsing. Structured algebraic specifications: A kernel language. Theoretical Computer Science, 42(2):124-249, 1986.
29. M. Wirsing. Algebraic specification languages: an overview. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specifications - 10th Workshop on Abstract Data Type joint with 5th COMPASS Workshop -Selected Papers, pages 81-115. L.N.C.S. 906 Springer Verlag, 1995.