Tomasz Borzyszkowski

Papers, reports & software

Conference contributions & papers:

1. Marek A. Bednarczyk , Tomasz Borzyszkowski
   Towards program development, specification and verification with Isabelle
   Proc. 1st Isabelle User Workshop , pp. 101-121, Cambridge, 1995.
   Also appeared in Partial correctness -- the single assertion approach (ed. Stefan Sokolowski), ICS PAS Report 800, pp. 99-121, January 1996.
   
2. Marek A. Bednarczyk , Tomasz Borzyszkowski
   Information Systems Development as Mechanizable Logical Activity
   Proc. 5th International Conference Information System Development -- ISD'96S, Gdansk, Poland (eds. S.Wrycza & J.Zupancic) pp. 535-544, September 1996.
   
3. Tomasz Borzyszkowski
   Completeness of a Logical System for Structured Specificatios.
   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.
4. Tomasz 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. Jose Luiz Fiadeiro, Springer LNCS 1589, pages 16-28, 1998.
5. Tomasz Borzyszkowski
   Logical systems for structured specifications.
   Teoretical Computer Science, vol. 286, Issue2, 17 September 2002, pp. 197-245. containing chosen contributions to 13th International Workshop WADT'98, Lisboa, Portugal, April 1998.
6. Tomasz 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, Didier Bert and Peter Mosses, Springer LNCS 1827, pages 401-418, 1999.
7. Tomasz Borzyszkowski
   Generalized interpolation in CASL.
   Information Processing Letters, vol. 76/1-2, pages 19-24, November 2000.
8. Tomasz Borzyszkowski
   Systemy logiczne dla specyfikacji strukturalnych. PhD Thesis (in Polish), University of Warsaw, November, 2000.
   Autoreferat.
9. Tomasz Borzyszkowski
   Generalized Interpolation in First Order Logic
   Fundamenta Informaticae, vol. 66, number 3, pagers 199-219, IOS Press, July 2005.

Reports:

1. Marek A. Bednarczyk, Tomasz Borzyszkowski
   Towards program development, specification and verification with Isabelle in Partial correctness -- the single assertion approach, Stefan Sokolowski (ed.) ICS PAS Report 800, January 1996.