Advertisement

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)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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