Skip to main content
SpringerLink
Log in

Behavioural program specification

  • Part II Research Contributions
  • Chapter
  • First Online:
Category Theory and Computer Programming

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 240))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bjorner,D. (ed.): Abstract Software Specifications, Proceedings, 1979, Springer-Verlag, LNCS 86, 1980

    Google Scholar 

  2. 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, 1980

    Google Scholar 

  3. Goguen, J.A. and Burstall, R.M.: Introducing Institutions. In: Proc. Logics of Programming Workshop, E. Clark, D. Kozen (eds.) Springer-Verlag, 1984

    Google Scholar 

  4. Goguen, J.A. and Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. In: Proc. ICALP'82, Springer-Verlag, LNCS 140, 1982

    Google Scholar 

  5. 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, 1985

    Google Scholar 

  6. Kaphengst, H.: What is computable for abstract data types? In: Proc. FCT'81, Springer-Verlag, LNCS 117, 173–183, 1981

    Google Scholar 

  7. Reichel, H.: Structural Induction on Partial Algebras, Akademie-Verlag, Berlin, 1984

    Google Scholar 

  8. 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, 1985

    Google Scholar 

  9. 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, 1985

    Google Scholar 

  10. 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, 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TH ‘Otto von Guericke’, Boleslaw Bierut Platz 5, DDR-3010, Magdeburg, GDR

    Horst Reichel

Authors
  1. Horst Reichel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Pitt Samson Abramsky Axel Poigné David Rydeheard

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Reichel, H. (1986). Behavioural program specification. In: Pitt, D., Abramsky, S., Poigné, A., Rydeheard, D. (eds) Category Theory and Computer Programming. Lecture Notes in Computer Science, vol 240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17162-2_134

Download citation

  • DOI: https://doi.org/10.1007/3-540-17162-2_134

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17162-1

  • Online ISBN: 978-3-540-47213-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation