Implementation of derived programs (almost) for free

  • Maura Cerioli
  • Elena Zucca
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1376)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In H. Kirchner, editor, CAAP '96-20th Coll. on Trees in Algebra and Computing, number 1059 in LNCS, pages 241–256, Berlin, 1996. Springer Verlag.Google Scholar
  2. 2.
    J. A. Goguen and R. M. Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In D. Pitt et al., editor, Category Theory and Computer Programming, number 240 in LNCS, pages 313–333, Berlin, 1985. Springer Verlag.Google Scholar
  3. 3.
    J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for computer science. Journ. ACM, 39:95–146, 1992.CrossRefGoogle Scholar
  4. 4.
    C.A.R. Hoare. Proofs of correctness of data representations. Acta Informatica, 1:271–281, 1972.CrossRefGoogle Scholar
  5. 5.
    T. Mossakowski. Using limits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, 11th WADT, number 1130 in LNCS, pages 379–393, Berlin, 1996. Springer Verlag.Google Scholar
  6. 6.
    T. Mossakowski, A. Tarlecki, and W. Pawlowski. Combining and representing logical systems. In Category Theory and Computer Science '97, number 1290 in LNCS, pages 177–196, Berlin, 1997. Springer Verlag.Google Scholar
  7. 7.
    F. Orejas, M. Navarro, and A. Sánchez. Implementation and behavioural equivalence: A survey. In M. Bidoit and C. Choppy, editors, 8th WADT, number 655 in LNCS, pages 93–125. Springer Verlag, Berlin, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Maura Cerioli
    • 1
  • Elena Zucca
    • 1
  1. 1.DISI-Dipartimento di Informatica e Scienze dell'InformazioneUniversità di GenovaGenovaItaly

Personalised recommendations