Skip to main content
SpringerLink
Log in

Asspegique+ an integrated specification environment providing inter-operability of tools

  • Conference
  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1101))

  • 147 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The Common Framework Initiative. Web home page available at the address http://www1.daimi.aau.dk/∼pdm/Common/, 1995.

    Google Scholar 

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

    Google Scholar 

  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.

    Google Scholar 

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

    Google Scholar 

  5. M. Bidoit and C. Choppy. Asspegique: an integrated environment for algebraic specifications. In Proc. of the 1st International Joint Conference on Theory and Practice of Software Development (TAPSOFT), pages 246–260. Springer-Verlag L.N.C.S. 186, 1985.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. M. Bidoit, C. Choppy, and F. Voisin. Interchange Format for Inter-Operability of Tools and Translation The Salsa and Asspegique+/LP Experience. In Recent Trends in Data Type Specifications — Proc. 11th Workshop on Abstract Data Type joint with 8th COMPASS Workshop — Selected Papers. L.N.C.S. Springer Verlag, to appear.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. C. Choppy. Asspegique: User's Manual. L.R.I. Research Report 452, 1988.

    Google Scholar 

  10. C. Choppy. Prototyping and formal specification. In C.M. Rattray and R.G. Clark, editors, The unified computation laboratory, pages 141–170. Oxford University Press, 1992.

    Google Scholar 

  11. C. Choppy. Spécifications algébriques: Prototypage et validation. Habilitation à diriger des recherches, Université Paris-Sud, Orsay, 1994.

    Google Scholar 

  12. C. Choppy, D. Bert, M. Bidoit, R. Echahed, C. Roques, and F. Voisin. Rapid prototyping with algebraic specifications: A case study. Technical report, L.R.I. Research Report 844, 1993.

    Google Scholar 

  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.

    Google Scholar 

  14. C. Choppy and S. Kaplan. Mixing abstract and concrete modules: specification, development and prototyping. In Proc. of the 12th International Conference on Software Engineering, pages 173–184, 1990.

    Google Scholar 

  15. S. Clérici, R. Jiménez, and F. Orejas. Semantic Constructions in the Specification Language Glider. Technical Report Dissem-033-P, Icarus, June 1992.

    Google Scholar 

  16. L. Fribourg. SLOG: a logic programming language interpreter based on clausal superposition and rewriting. In Proc. of the International Symposium on Logic Programming, 1985.

    Google Scholar 

  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.

    Google Scholar 

  18. S. Garland and J. Guttag. A Guide to LP, The Larch Prover. Technical Report 82, DEC-SRC, 1991.

    Google Scholar 

  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.

    Google Scholar 

  20. SALSA (group composed of D.Bert, M. Bidoit, C. Choppy, R. Echahed, J.-M. Hufflen, J.-P. Jacquot, M. Lemoine, N. Levy, J.-C. Reynaud, C. Roques, and F. Voisin). Opération SALSA: Structure d'Accueil pour Spécifications Algébriques. Final report, 1994.

    Google Scholar 

  21. S. Kaplan. A compiler for conditional term rewriting systems. In Proc. 2nd Conf. on Rewriting Techniques and Applications, pages 25–41. Springer LNCS 256, 1987.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  24. C. Roques. Modularité dans les spécifications algébriques, Théorie et application. PhD thesis, Thèse de Doctorat, Université Paris-Sud, 1994.

    Google Scholar 

  25. F. Voisin. CIGALE: a tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7(1):61–86, 1986.

    Google Scholar 

  26. F. Voisin. A bottom-up adaptation of Earley parsing algorithm. In Proc. of the Int. Workshop on programming language implementation and logic programming, pages 146–160. Springer-Verlag L.N.C.S. 348, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIENS, C.N.R.S. U.R.A. 1327 & Ecole Normale Supérieure, 45 Rue d'Ulm, F-75230, Paris Cedex 05, France

    Michel Bidoit

  2. IRIN, Université de Nantes & Ecole Centrale, F-44072, Nantes Cedex 03, France

    Christine Choppy

  3. LRI, C.N.R.S. U.R.A. 410 & Université de Paris-Sud, Bât. 490, F-91405, Orsay Cedex, France

    Christine Choppy & Frédéric Voisin

Authors
  1. Michel Bidoit
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christine Choppy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frédéric Voisin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bidoit, M., Choppy, C., Voisin, F. (1996). Asspegique+ an integrated specification environment providing inter-operability of tools. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014340

Download citation

  • DOI: https://doi.org/10.1007/BFb0014340

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61463-0

  • Online ISBN: 978-3-540-68595-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation