References

 [Aas95]

Annika Aasa. Precedences in specifications and implementations of programming languages. Theoretical Computer Science, 142(1):3-26, May 1995.

 [Bai99]

Donald Baillie. Proving theorems about CASL specifications. Talk at the 14th Workshop on Algebraic Development Techniques, Bonas, France, September 1999.

 [BJKO99]

M.G.J. van den Brand, H.A. de Jong, P. Klint, and P. Olivier. Efficient Annotated Terms. Technical report, CWI, 1999. Accepted by SPE.

 [CDE⁺99]

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. The Maude system. In P. Narendran and M. Rusinowitch, editors, Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), pages 240-243, Trento, Italy, July 1999. Springer-Verlag LNCS 1631. System Description.

 [CHKBM97]

Maura Cerioli, Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski. Permissive subsorted partial logic in CASL. In Michael Johnson, editor, Algebraic methodology and software technology: 6th international conference, AMAST 97, volume 1349 of Lecture Notes in Computer Science, pages 91-107. Springer-Verlag, 1997.

 [CM97]

M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311-347, 1997.

 [CoFa]

CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI.

 [CoFb]

CoFI Task Group on Tools. The CoFI-Tools group home page. http://www.loria.fr/~hkirchne/CoFI/Tools/index.html.

 [CoF98]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary. Documents/CASL/Summary, in [CoFa], October 1998.

 [CoF99]

CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language - Semantics. Note S-9 (version 0.95), in [CoFa], March 1999.

 [HKBM98]

Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski. Subsorted partial higher-order logic as an extension of CASL. Note L-10, in [CoFa], October 1998.

 [HU79]

J. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Language, and Computation. Addison-Wesley, Reading, MA, 1979.

 [KPO⁺95]

B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, and A. Baer. UniForM Workbench -- Universelle Entwicklungsumgebung für formale Methoden. Technischer Bericht 8/95, Universität Bremen, 1995. English version in: Statusseminar Softwaretechnologie BMBF.

 [KPO⁺99]

B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, and A. Baer. The UniForM Workbench, a universal development environment for formal methods. In FM99: World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 1186-1205. Springer-Verlag, 1999.

 [KR99]

Hélène Kirchner and Christophe Ringeissen. Executing CASL equational specifications with the ELAN rewrite engine. Note T-9, in [CoFa], October 1999.

 [Lar99]

Peter Gorm Larsen. VDM and proof rules for underdetermined functions. Talk at the IFIP WG 1.3 meeting, Bonas, France, September 1999.

 [LTKKB99]

C. Lüth, H. Tej, Kolyang, and B. Krieg-Brückner. TAS and IsaWin: Tools for transformational program developkment and theorem proving. In J.-P. Finance, editor, Fundamental Approaches to Software Engineering FASE'99. Joint European Conferences on Theory and Practice of Software ETAPS'99, number 1577 in Lecture Notes in Computer Science, pages 239-243. Springer Verlag, 1999.

 [LW99]

C. Lüth and B. Wolff. Functional design and implementation of graphical user interfaces for theorem provers. Journal of Functional Programming, 9(2):167-189, March 1999.

 [Mes89]

J. Meseguer. General logics. In Logic Colloquium 87, pages 275-329. North Holland, 1989.

 [MKK98]

T. Mossakowski, Kolyang, and B. Krieg-Brückner. Static semantic analysis and theorem proving for CASL. In F. Parisi Presicce, editor, Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, pages 333-348. Springer, 1998.

 [Mos]

T. Mossakowski. Specification in an arbitrary institution with symbols. Presented at WADT 99. Submitted for publication.

 [Mos97]

Peter D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT '97, Proc. Intl. Symp. on Theory and Practice of Software Development, volume 1214 of LNCS, pages 115-137. Springer-Verlag, 1997.

 [Mos98]

Peter D. Mosses. Formatting CASL specifications using LaTeX. Note C-2, in [CoFa], June 1998.

 [Pau94]

L. C. Paulson. Isabelle - A Generic Theorem Prover. Number 828 in Lecture Notes in Computer Science. Springer Verlag, 1994.

 [RM99]

Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoFa] (a new version is due in November, see also Note L-12), July 1999.

 [Sch94a]

P. Y. Schobbens. Extensions of initial models and their second-order proof systems. In J. Heering et al., editor, Higher-Order Algebra, Logic, and Term Rewriting, volume 816 of Lecture Notes in Computer Science, pages 326-344, 1994.

 [Sch94b]

P. Y. Schobbens. Second-order proof systems for algebraic specification languages. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 321-336, 1994.

 [Tar96]

A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science, pages 478-502. Springer Verlag, 1996.

 [Tar99]

A. Tarlecki. Towards heterogeneous specifications. In D. Gabbay and M. van Rijke, editors, Frontiers of Combining Systems, 2nd International Workshop. Research Studies Press, 1999. To appear.

 [vdB98]

M. van den Brand. CasFix - mapping from the concrete CASL to the abstract syntax in ATerms format. http://adam.wins.uva.nl/~markvdb/cofi/casl.html, 1998.

 [vdBKO98]

Mark van den Brand, Paul Klint, and Pieter Olivier. Aterms: Exchanging data between heterogeneous tools for CASL. Note T-3 (revised draft), in [CoFa], March 1998.

 [vdBS99]

M. G. J. van den Brand and J. Scheerder. Development of parsing tools for CASL using generic language technology. Talk at the 14th Workshop on Algebraic Development Techniques, Bonas, France, September 1999.