Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Algebraic Development Techniques

WADT 2010: Recent Trends in Algebraic Development Techniques pp 13–24Cite as

My ADT Shrine

  • Conference paper

  • 367 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7137))

Abstract

The 20th WADT 2010 is put into perspective by giving afterglows of the 1st WADT 1982 in Langscheid near Dortmund, and the 10th WADT 1994 in Santa Margherita near Genova. First encounters with pioneers in the field are recalled, in particular with the ADJ group who initiated the initial-algebra approach. The author’s contributions at that time are put in this context. Around 1982, the emphasis of his work moved to databases and information systems, in particular conceptual modeling. His group used a triple of layers to model information systems, data—objects—systems, where the focus of interest now was on objects and systems. The interest in data issues paled in comparison. There were cases, however, where benefits could be drawn from the early work on ADTs and the foundations established in this field.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  2. Broy, M., Wirsing, M., Pair, C.: A Systematic Study of Models of Abstract Data Types. Theoretical Computer Science 33, 139–174 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  3. Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications. In: Proc. 5th IJCAI, pp. 1045–1058. MIT, Cambridge (1977)

    Google Scholar 

  4. Burstall, R.M., Goguen, J.A.: The Semantics of CLEAR, a Specification Language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 292–331. Springer, Heidelberg (1980)

    Chapter  Google Scholar 

  5. Common Framework Initiative (CoFI), http://www.informatik.uni-bremen.de/cofi/wiki/index.php/CoFI

  6. Ehrich, H.-D.: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types. Journal of the ACM 29, 206–277 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  7. Ehrich, H.-D.: Algebraic (?) Specification of Conceptual Database Schemata (extended abstract). In: Kreowski, H.-J. (ed.) Recent Trends in Data Type Specification. Informatik-Fachberichte, vol. 116. Springer, Berlin (1985)

    Chapter  Google Scholar 

  8. Ehrich, H.-D.: Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. In: Pitt, D., Abramsky, S., Poigné, A., Rydeheard, D. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 412–433. Springer, Heidelberg (1986)

    Chapter  Google Scholar 

  9. Ehrich, H.-D., Gogolla, M., Lipeck, U.W.: Algebraische Spezifikation Abstrakter Datentypen. Teubner, Stuttgart (1989)

    Book  MATH  Google Scholar 

  10. Ehrich, H.-D., Goguen, J.A., Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1990. LNCS, vol. 489, pp. 203–228. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  11. Ehrich, H.-D., Lipeck, U.: Algebraic Domain Equations. Theoretical Computer Science 27, 167–196 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  12. Ehrich, H.-D., Sernadas, A.: Local Specification of Distributed Families of Sequential Objects. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds.) Abstract Data Types 1994 and COMPASS 1994. LNCS, vol. 906, pp. 219–235. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  13. Ehrich, H.-D., Sernadas, A., Sernadas, C.: From Data Types to Object Types. J. Inf. Process. Cybern. EIK 26(1-2), 33–48 (1990)

    MathSciNet  MATH  Google Scholar 

  14. Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Parameterized Data Types in Algebraic Specification Languages, pp. 157–168. Springer, Berlin (1980)

    MATH  Google Scholar 

  15. Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: Proceedings of the 14th Annual Symposium on Switching and Automata Theory (SWAT 1973), pp. 167–180. IEEE Computer Society, Washington, DC, USA (1973)

    Chapter  Google Scholar 

  16. Gogolla, M., Drosten, K., Lipeck, U., Ehrich, H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theoretical Computer Science 34, 289–313 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  17. Goguen, J.A.: Objects. International Journal of General Systems, 1563-5104 1, 237–243 (1974)

    Google Scholar 

  18. Goguen, J.A.: Some Design Principles and Theory for OBJ-0. In: Yeh, R. (ed.) LNCS, vol. 75, pp. 425–475. Prentice-Hall (1979)

    Google Scholar 

  19. Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. In: Yeh, R. (ed.) Current Trends in Programming Methodology IV, pp. 80–149. Prentice-Hall (1978)

    Google Scholar 

  20. Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. Journal of the ACM 24, 68–95 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  21. Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of Abstract Data Types. J. Wiley & Sons and B.G. Teubner Publishers (1996)

    Google Scholar 

  22. Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  23. Scott, D.S.: Data Types as Lattices. SIAM J. Comp. 5, 522–587 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  24. Smyth, M.B., Plotkin, G.D.: The Category-Theoretic Solution of Recursive Domain Equations. In: Proc. 18th IEEE FOCS, pp. 13–17 (1977)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informationssysteme, Technische Universität Braunschweig, D-38092, Braunschweig, Germany

    Hans-Dieter Ehrich

Authors
  1. Hans-Dieter Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DFKI, Cyber-Physical Systems, Deutsches Forschungszentrum für künstliche Intelligenz, 28359, Bremen, Germany

    Till Mossakowski

  2. Mathematik und Informatik, Universität Bremen, 28359, Bremen, Germany

    Hans-Jörg Kreowski

Rights and permissions

Reprints and permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Ehrich, HD. (2012). My ADT Shrine. In: Mossakowski, T., Kreowski, HJ. (eds) Recent Trends in Algebraic Development Techniques. WADT 2010. Lecture Notes in Computer Science, vol 7137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28412-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28412-0_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28411-3

  • Online ISBN: 978-3-642-28412-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation