ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools

[1]  Stephen J. Garland,et al.  A Guide to LP, The Larch Prover , 1991 .

[2]  Michel Bidoit.  Pluss, un langage pour le développement de spécifications algébriques modulaires , 1989 .

[3]  Christine Choppy,et al.  ASSPEGIQUE: An Integrated Environment for Algebraic Specifications , 1985, TAPSOFT, Vol.2.

[4]  Fernando Orejas,et al.  Semantic Constructions in the Specification Language GLIDER , 1992, COMPASS/ADT.

[5]  C. Choppy.  Prototyping and formal specifications , 1992 .

[6]  Christine Choppy,et al.  Abstract Rewriting with Concrete Operations , 1989, RTA.

[7]  Christine Choppy,et al.  Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience , 1995, COMPASS/ADT.

[8]  Christine Choppy,et al.  The ASSPEGIQUE Specification Environment - Motivations and Design , 1984, ADT.

[9]  Michel Bidoit,et al.  How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language , 1989, Sci. Comput. Program..

[10]  Christine Choppy,et al.  Integrating ASSPEGIQUE and LP , 1992, Larch.

[11]  Frédéric Voisin,et al.  CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing , 1986, Sci. Comput. Program..

[12]  Laurent Fribourg,et al.  SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting , 1985, SLP.

[13]  Frank Schorn.  Final Report 1991 , 1991 .

[14]  Rachid Echahed,et al.  Design and Implementation of a Generic, Logic and Functional Programming Language , 1986, ESOP.

[15]  Stéphane Kaplan,et al.  A Compiler for Conditional Term Rewriting Systems , 1987, RTA.

[16]  Marie-Claude Gaudel,et al.  Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives , 1992, STACS.

[17]  Christine Choppy,et al.  Mixing abstract and concrete modules: specification, development and prototyping , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[18]  Pierre Lescanne,et al.  Computer experiments with the REVE term rewriting system generator , 1983, POPL '83.

[19]  Stephen J. Garland,et al.  An Overview of LP, The Larch Power , 1989, RTA.