Skip to main content
SpringerLink
Log in

Generic types in a language for data directed design

  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1990)

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

Included in the following conference series:

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. H. Ehrig, W. Fey, H. Hansen, M. Löwe, and F. Parisi-Presicce. Categories for the development of algebraic module specifications. In H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preuss, editors, Categorical Methods in Computer Science, pages 157–184. LNCS 393, Springer-Verlag, 1989.

    Google Scholar 

  2. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin, 1985.

    Google Scholar 

  3. J. A. Goguen, J. W. Thatcher, and E. G. Wagner. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In R. T. Yeh, editor, Current Trends in Programming Methodology, IV, Data Structuring, pages 80–149. Prentice-Hall, 1978.

    Google Scholar 

  4. J.A. Goguen and J.J. Tardo. An introduction to obj: A language for writing and testing formal algebraic specifications. In Proc. IEEE Conf. for Reliable Software, pages 170–189. IEEE, 1979.

    Google Scholar 

  5. A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Mass., 1983.

    Google Scholar 

  6. B. Meyer. Object-Oriented Software Construction. Prentice-Hall International Series in Computer Science. Prentice-Hall, New York, 1988.

    Google Scholar 

  7. United States Department of Defense, Washington, DC. Reference Manual for the ADA Programming Language, 1982.

    Google Scholar 

  8. Eric G. Wagner. Algebraic aspects of data directed design. In Proceedings of the First Maghrebin Conference on Artificial Intelligence and Software Engineering. University of Constantine, Constantine, Algeria, 1989.

    Google Scholar 

  9. Eric G. Wagner. An algebraically specified language for data directed design. Theoretical Computer Science, 77:195–219, 1990.

    Google Scholar 

  10. Eric G. Wagner. Some mathematical thoughts on languages for data directed design. In Proceedings of the conference ‘the Unified Computation Laboratory’ at the University of Stirling, Stirling, Scotland, 1990. to appear.

    Google Scholar 

  11. N. Wirth. Programming in Modula-2. Springer-Verlag, second edition, 1983.

    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 K. P. Jantke F. Orejas H. Reichel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wagner, E.G. (1991). Generic types in a language for data directed design. In: Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (eds) Recent Trends in Data Type Specification. ADT 1990. Lecture Notes in Computer Science, vol 534. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54496-8_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-54496-8_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54496-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation