Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Graph Grammars and Their Application to Computer Science

Graph Grammars 1978: Graph-Grammars and Their Application to Computer Science and Biology pp 180–191Cite as

Constructing specifications of abstract data types by replacements

  • List Of Contributions
  • Conference paper
  • First Online:

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

Abstract

Categories of specifications, equational specifications, and partially labelled partial specifications of abstract data types are shown to have pushouts. These results allow us to carry over the machinery of graph replacement to specifications. We give some examples. Parameterization is considered as an important special case of replacement.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. ADJ (Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.): An initial algebra approach to the specification, correct ness, and implementation of abstract data types. Current Trends in Programming Methodology IV, ed. by R. Yeh, Prentice Hall, New Jersey 1977

    Google Scholar 

  2. ADJ (Thatcher, J.W.-Wagner, E.G.-Wright, J.B.): Data type specification, parametrization, and the power of specification technigues. Proc-Sigact Annual Symp. Theory Comp., 1978

    Google Scholar 

  3. Brendel, W.-Bunke, H.-Nagl, M.: Syntaxgesteurte Programmierung und inkrementelle Compilation. Proc. GI-7. Jahrestagung, Informatik Fachberichte 10, 57–73, Springer Berlin 1977

    Google Scholar 

  4. Burstall, R.M.-Goguen, J.A.: Putting theories together to make specifications. Proc. 5th IJCAI 77, MIT, Cambridge, Mass. 1977

    Google Scholar 

  5. Ehrich, H.-D.: Extensions and implementations of abstract data type specifications. Proc. MFCS'78, ed. by J. Winkowski, Lecture Notes in Computer Science, Vol. 64, Springer-Verlag, Berlin 1978, 155–164

    Google Scholar 

  6. Ehrich, H.-D.: On the theory of specification, implementation, and parametrization of abstract data types. To be published

    Google Scholar 

  7. Ehrich, H.-D.-Lohberger, V.G.: Parametric specification of abstract data types, parameter substitution, and graph replacements. Proc. Workshop "Graphentheoretische Konzepte in der Informatik", Applied Comp. SC., Carl Hanser Verl., Muenchen-Wien 1978

    Google Scholar 

  8. Ehrig, H.-Kreowski, H.-J.-Maggiolo-Schettini, A.-Rosen, B.K.-Winkowski, J.: Deriving structures from structures. Proc. MFCS 1978, ed. by J. Winkowski, Lecture Notes in Computer Science, Vol. 64. Springer-Verlag, Berlin 1978, 177–190

    Google Scholar 

  9. Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise specification and implementation of abstract data types. Proc. 5th Intern Colloq. on Automata, Languages, and Programming, Venice 1978

    Google Scholar 

  10. Ehrig, H.-Pfender, M.-Schneider, H.-J.: Graph-Grammars-an algebraic approach. Proc. Conf. Switch. Automata Theory 1973, 167–180

    Google Scholar 

  11. Goguen, J.A.: Correctness and eqivalence of data types. In: Proc. Conf. on Alg. Syst. Th., Udine, Lecture Notes In Comp. SC., Springer-Verl., Berlin 1975

    Google Scholar 

  12. Goguen, J.A.: Abstract errors for abstract data types. In: Proc. Conf. on Formal Description of Programming Languages, Ed. by E.J. Neuhold, North-Holland Publ. Company, Amsterdam 1976

    Google Scholar 

  13. Guttag, J.V.: The specification and application to programming of abstract data types. Techn. Report CSRG-59, Univ. of Toronto 1975

    Google Scholar 

  14. Kreisel, G.-Krivine, J.L.: Modelltheorie, Springer, Berlin 1972

    Google Scholar 

  15. Lehmann, D.-J.-Smyth, M.B.: Data types. Proc. 18th IEEE Symp. on Foundations of Computing. Providence R.I., 1977, 7–12

    Google Scholar 

  16. Liskov, B.-H.-Zilles, S.N.: Specification Tehcniques for data abstractions. IEEE Transact. Softw.-Eng., Vol. SE-1 (1975), 7–19

    Google Scholar 

  17. Majster, M-E.: Data types, abstract data types and their specification problem. Report TUM-INFO-7740, Techn. Univ. Muenchen, 1977

    Google Scholar 

  18. Manes, E.G.: Algebraic Theories. Springer-Verl., New York 1976

    Google Scholar 

  19. Parnas, D.L.: A technique for module specification with examples. Comm. ACM 15 (1972) 330–336

    Google Scholar 

  20. Rosen, B.K.: Deriving Graphs from Graphs by applying a production. Acta Informatica 4, 337–357 (1975)

    Google Scholar 

  21. Schneider, H.J.-Ehrig, H.: Grammars on partial graphs. Acta Inf. 6, 297–316 (1976)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abteilung Informatik, Universität Dortmund, Postfach 500500, 4600, Dortmund 50, West Germany

    H.-D. Ehrich & V. G. Lohberger

Authors
  1. H.-D. Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. G. Lohberger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Volker Claus Hartmut Ehrig Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrich, HD., Lohberger, V.G. (1979). Constructing specifications of abstract data types by replacements. In: Claus, V., Ehrig, H., Rozenberg, G. (eds) Graph-Grammars and Their Application to Computer Science and Biology. Graph Grammars 1978. Lecture Notes in Computer Science, vol 73. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025720

Download citation

  • DOI: https://doi.org/10.1007/BFb0025720

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09525-5

  • Online ISBN: 978-3-540-35091-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation