Next: About this document ... Up: autoref Previous: Podsumowanie
Bibliography
- Borz 97
- T. Borzyszkowski. Completeness of the logical system for structured specifications. Recent Trends in Algebraic Development Techniques, Selected Papers, 12th International Workshop WADT'97, Tarquinia, Italy, June 1997, ed. Francesco Parisi-Presicce, Springer LNCS 1376, pages 107-121, 1997.
- Borz 98
- T. Borzyszkowski. Moving specification structures between logical systems. Recent Trends in Algebraic Development Techniques, Selected Papers, 13th International Workshop WADT'98, Lisboa, Portugal, April 1998, ed. José Luiz Fiadeiro, Springer LNCS 1589, pages 16-28, 1998.
- Borz 99a
- T. Borzyszkowski. Logical systems for structured specifications. Special issue of Theoretical Computer Science, to appear.
- Borz 99b
- T. Borzyszkowski. Higher-order logic and theorem proving for structured specifications. Recent Trends in Algebraic Development Techniques, Selected Papers, 14th International Workshop WADT'99, Bonas, France, September 1999, eds. Christine Choppy and Didier Bert, Springer LNCS 1827, to appear.
- Borz 00
- T. Borzyszkowski. Generalized interpolation in CASL. Information Processing Letters, to appear.
- CASL 99
- CASL the common algebraic specification language -- Semantics, by The CoFI Task Group on Language Design. Version 1.0, 19 March 1999.
- GM 93
- M. J. C. Gordon, T. F. Melham. Introduction to HOL -- a theorem proving environment for higher-order logic. Cambridge University Press, 1993.
- GB 92
- J. A. Goguen, R. M. Burstall. Institutions: abstract model theory for specifications and programming. Journal of the Assoc. for Computing Machinery, 39:95-146, 1992.
- IFIP 99
- E. Astesiano, B. Krieg-Brückner, H. J. Kreowski, eds., Algebraic foundations of system specification. Springer-Verlag, 1999.
- Paul 94
- L. C. Paulson. Isabelle: a generic theorem prover. Springer-Verlag LNCS 828, 1994.
- ST 88
- D. Sannella, A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, vol. 76, pages 165-210, 1988.
- SW 83
- D. Sannella, M. Wirsing. A kernel language for algebraic specification and implementation. Proc. 1983 International Conference on Foundations of Computation Theory, Borgholm, Sweden. Springer LNCS 158, pages 413-427, 1983.
RHS Linux User
2000-06-24