Static semantic analysis and theorem proving for CASL

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

Volumn 1376, Issue , 1998, Pages 333-348

  Mossakowski, Till ^a   Kolyang, ^a   Krieg Brückner, Bernd ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84943231002     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64299-4_43     Document Type: Conference Paper

References (19)

1. M. Bidoit, C. Choppy, B. Krieg-Briickner, P. D. Mosses, and F. Voisin. Concrete syntax for CASL basic and structured specifications. Postscript 11, December 1997.
2. P. Burmeister. A model theoretic approach to partial algebras. Akademie Verlag, Berlin, 1986.
3. M. Cerioli, A. Haxthausen, B. Krieg-Brückner, and T. Mossakowski. Permissive subsorted partial logic in CASL. In M. Johnson, editor, Algebraic methodology and software technology: 6th international conference, AMAST 9,7 volume 1349 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
4. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311-347, 1997.
5. M. Cerioli, T. Mossakowski, and H. Reichel. From total equational to partial first order. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Briickner, editors, Algebraic Foundations of Systems Specifications. 1997. To appear 12.
6. CoFI task group on Language Design. CASL - The CoFI Algebraic Specification Language - Summary. COFI Document: CASL/Summary. 13, 14, September 1997.
7. CoFI task group on Semantics. CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics. CoFI Note: S-6. WWW 15, FTP 16, July 1997.
8. J. A. Goguen and J. Meseguer. Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217-273, 1992.
9. B. Hoffmann and B. Krieg-Brückner. Program Development by Specification and Transformation. LNCS 690. Springer Verlag, 1993.
10. Kolyang, C. Liith, T. Meier, and B. Wolff. TAS and IsaWin: Generic interfaces for transformational program development and theorem proving. In M. Bidoit and M. Dauchet, editors, Proceedings of the Seventh International Joint Conference on the Theory and Practice of Software Development (TAPSOFT’97), pages 855-858. Springer-Verlag LNCS 1214, 1997.
11. Kolyang and T. Mossakowski. Implementation of CASL into Isabelle/HOL. Bremen University 17, 1997.
12. Kolyaug, T. Santen and B. Wolff. Correct and user-friendly implementations of transformation systems. In M. C. Gaudel and J. Woodcock, editors, Formal Methods Europe, LNCS 1051, pages 629-648. Springer Verlag, 1996.
13. Kolyaug, T. Santen and B. Wolff. A structure preserving encoding of Z in Isabelle. In J. von. Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher Order Logics, LNCS 1125, pages 283-298. Springer Verlag, 1996.
14. 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 is.
15. J. Meseguer. General logics. In Logic Colloquium 87, pages 275-329. North Holland, 1989.
16. T. Mossakowski. Equivalences among various logical frameworks of partial algebras. In H. K. Büning, editor, Computer Science Logic. 9th Workshop, CSL’95. Paderborn, Germany, September 1995, Selected Papers, volume 1092 of Lecture Notes in Computer Science, pages 403-433. Springer Verlag, 1996.
17. P. D. Mosses. CoFI: The common framework initiative for algebraic specification and development. In M. Bidoit and M. Dauchet, editors, TAPSOFT’97, volume 1214 of LNCS, pages 115-137. Springer-Verlag, 1997.
18. L. C. Paulson. Isabelle - A Generic Theorem Prover. Number 828 in LNCS. Springer Verlag, 1994.
19. D. S. Scott. Identity and existence in intuitionistic logic. In M. Fourman, C. Mulvey, and D. Scott, editors, Application of Sheaves, volume 753 of Lecture Notes in Mathematics, pages 660-696. Springer Verlag, 1979.