Behavioural program specification

  • Horst Reichel
Part II Research Contributions Section 2: Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 240)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /Bjo'80/.
    Bjorner,D. (ed.): Abstract Software Specifications, Proceedings, 1979, Springer-Verlag, LNCS 86, 1980Google Scholar
  2. /GB'80/.
    Goguen,J.A. and Burstall,R.M.: CAT, a system for the structured elaboration of correct programs for structured specifications. Tech.Rep. CSL-118, SRI International, 1980Google Scholar
  3. /GB'84/.
    Goguen, J.A. and Burstall, R.M.: Introducing Institutions. In: Proc. Logics of Programming Workshop, E. Clark, D. Kozen (eds.) Springer-Verlag, 1984Google Scholar
  4. /GM'82/.
    Goguen, J.A. and Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. In: Proc. ICALP'82, Springer-Verlag, LNCS 140, 1982Google Scholar
  5. /GM'85/.
    Goguen, J.A. and Meseguer, J.: EQLOG: Equality, Types, and generic Modules for Logic Programming. In: Functional and Logic Programming, DeGroot and Lindstrom (eds.), Prentice-Hall, 1985Google Scholar
  6. /Kap'81/.
    Kaphengst, H.: What is computable for abstract data types? In: Proc. FCT'81, Springer-Verlag, LNCS 117, 173–183, 1981Google Scholar
  7. /Rei'84/.
    Reichel, H.: Structural Induction on Partial Algebras, Akademie-Verlag, Berlin, 1984Google Scholar
  8. /Rei'85/.
    Reichel, H.: Behavioural validity of conditional equations in abstract data types. In: Contributions to General Algebra 3, Proc. Vienna Conf., June 1984, Verlag Hölder-Pichler-Tempsky, Wien, 1985Google Scholar
  9. /Rei'85b/.
    Reichel, H.: Initial Restrictions of Behaviour. In: Proc. IFIP TC 2 Working Conference The Role of Abstract Models in Information Processing, Vienna, 1985, Formal Models in Programming, E. J. Neuhold and G. Chroust (eds.) North Holland, pp 285–295, 1985Google Scholar
  10. /ST'85/.
    Sanella, D. T. and Tarlecki, A.: On observational equivalence and algebraic specification. In: Formal Methods and Software Development, TAPSOFT Proc., Springer-Verlag, LNCS 1985, 305–322, 1985Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Horst Reichel
    • 1
  1. 1.TH ‘Otto von Guericke’MagdeburgGDR

Personalised recommendations