Skip to main content
SpringerLink
Log in

On declarations

  • Part I: Applications Of Categorical Methods In Computer Science
  • Conference paper
  • First Online:
Categorical Methods in Computer Science With Aspects from Topology

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

Abstract

The paper presents an abstract treatment of declarations in imperative programming languages. A state in the execution of a program is viewed as an algebra, the state transformation corresponding to a declaration changes the algebra and its presentation. We provide a uniform treatment of the declarations of constants, aliases, variables, data types, and pointers, in terms of transformations defined using pushouts and reducts of algebras.

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. ADJ (Goguen, J. A., Thatcher, J. W., Wagner, E. G.) “An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types,” Current Trends in Programming Methodology, IV, Data Structuring (R. T. Yeh, Ed.) (1978) 80–149. Prentice-Hall, Englewood Cliffs (1978).

    Google Scholar 

  2. Ehrig, H., Kreowski, H-J., Thatcher, J. W., Wagner, E. G., and Wright, J. B., “Parameter Passing in Algebraic Specification Languages,” Theoretical Computer Science 28 (1984) 45–81.

    Google Scholar 

  3. Ehrig, H., Mahr, B., Foundations of Algebraic Specifications, 1, EATCS Monographs on Theoretical Computer Science, Vol. 6 Springer-Verlag (1985).

    Google Scholar 

  4. Wagner, E. G., “Categorical Semantics, or Extending Data Types to Include Memory,” Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types — Selected Papers (H.J. Kreowski, Ed.) Informatik-Fachberichte 116, Springer-Verlag (1984) 1–21.

    Google Scholar 

  5. Wagner, E. G., “Semantics of Block Structured Languages with Pointers,” Mathematical Foundations of Programming Language Semantics: 3rd Workshop, LNCS 298, Springer-Verlag (1987) 57–84.

    Google Scholar 

  6. Jensen, K, Wirth, N, PASCAL User Manual and Report, 2nd Edition, Springer-Verlag, (1978)

    Google Scholar 

  7. Wagner, E. G., ”Algebraic Theories, Data Types, and Control Constructs,” Fundamenta Informaticae IX (1986) 343–370. Also IBM Research Report RC-11343, 8/29/85.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Principles Mathematical Sciences Department IBM Research Division, T. J. Watson Research Center, 10598, Yorktown Heights, NY, USA

    Eric G. Wagner

Authors
  1. Eric G. Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

H. Ehrig H. Herrlich H. -J. Kreowski G. Preuß

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wagner, E.G. (1989). On declarations. In: Ehrig, H., Herrlich, H., Kreowski, H.J., Preuß, G. (eds) Categorical Methods in Computer Science With Aspects from Topology. Lecture Notes in Computer Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51722-7_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-51722-7_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46787-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation