Skip to main content
SpringerLink
Log in

On recent trends in algebraic specification

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1989)

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

Included in the following conference series:

Abstract

In this paper we focus on three different aspects which can be considered to be recent trends within theory and applications of algebraic specification.

In the first case, starting from the basic ideas of initial and final algebra semantics, we review some recent developments within the behavioral approach and present basic semantical constructions in the framework of an arbitrary specification logic.

In the second case, starting with a short overview of algebraic concepts in software development, we present the basic ideas of algebraic module specifications independent of a specific specification logic and show how this can be applied to the behavioral equational case, which leads to a behavioral approach to module specifications.

In the third case we give a short overview of algebraic concepts in programming languages and discuss recent developments concerning concepts and efficiency of algebraic programming languages.

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.

6. References

  1. Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2/3 (1987), 293–339

    Google Scholar 

  2. Burstall, R.M.; Goguen, J.A.: Putting theories together to make specifications. Proc. Int. Conf. Artificial Intelligence, 1977

    Google Scholar 

  3. Broy, M.; Pepper, P.; Wirsing, M.: On the algebraic definition of programming languages. TOPLAS 9, 1987, pp. 54–99

    Article  Google Scholar 

  4. Broy, M.: Equational specification of partial higher order algebras. In: M. Broy (ed.): Logic of Programming and Calculi of Discrete Design, Marktoberdorf, 1986, Nato ASI Series F, Vol. 36. Berlin: Springer (1987), pp. 185–241

    Google Scholar 

  5. Broy, M., Wirsing, M.: Programming languages as abstract data types. Proc. 5th Conf. on Trees in Algebra and Programming, Lille, pp. 160–177 (1980)

    Google Scholar 

  6. Broy, M., Wirsing M.: On the algebraic specification of nondeterministic programming languages. Proc. 6th Conf. on Trees in Algebra and Programming, Genova, (1981)

    Google Scholar 

  7. CIP Language Group: Report on a Wide Spectrum Language for Program Specification and Development, Techn. Report TUM-I8104, TU München, 1981; also available as Springer LNCS 183

    Google Scholar 

  8. Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: The Munich Project CIP, Vol. 1: The Wide Spectrum language CIP-L, LNCS 183, Springer (1985)

    Google Scholar 

  9. COMPASS Working Group: A Comprehensive Algebraic Approach to System Specification and Development, ESPRIT BRA-Proposal 1988, to appear as Technical Report, Univ. Bremen

    Google Scholar 

  10. Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M., Löwe, M.: Algebraic Concepts for Software Development in ACT ONE, ACT TWO, and LOTOS, Proc. Conf. Software Entwicklungs-Konzepte, Erfahrungen, Perspektiven, Marburg 1989, to appear in Springer LNCS 1989

    Google Scholar 

  11. Ehrich, H.D.: On the theory of specification, implementation and parameterization of abstract data types. Report, 1978. J. ACM 29 (1982), 206–227

    Article  Google Scholar 

  12. Egger, G., Fett, A., Pepper, P., Schulte, W.: The Programming Language OPAL. Techn. Univ. Berlin, Techn. Report (to appear)

    Google Scholar 

  13. Ehrig, H.; Kreowski, H.-J.; Padawitz, P.: Stepwise specification and implementation of abstract data types. 5th Int. Coll. Automata, Languages, and Programming (1978), Springer LNCS 62, 205–226

    Google Scholar 

  14. Ehrig, H.; Mahr, B.: Complexity of algebraic implementations for abstract data types. JCSS 23 (1981), 223–253

    Google Scholar 

  15. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)

    Google Scholar 

  16. Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Springer (1989)

    Google Scholar 

  17. Ehrig, H.; Parisi-Presicce, F.; Boehm, P.; Rieckhoff, C.; Dimitrovici, C.; Große-Rhode, M.: Algebraic Data Type and Process Specifications based on Projection Spaces, Springer Lect. Notes in Comp. Sci. 332 (1987), pp. 23–43

    Google Scholar 

  18. Ehrig, H.; Weber, H.: Algebraic Specifications of Modules. Proc. IFIP Work Conf. 85: The Role of Abstract Models in Programming, Wien 1985.

    Google Scholar 

  19. Ehrig, H.; Weber, H.: Programming in the large with algebraic module specifications. In: H.J. Kugler (ed.): Information Processing 86. Amsterdam: North-Holland, 1986, 675–684

    Google Scholar 

  20. Ganzinger, H.: Increasing Modularity and Language-Independency in Automatically Generated Compilers. Science of Computer Programming, 3 (1983), pp. 223–278

    Article  Google Scholar 

  21. Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221–256

    Google Scholar 

  22. Ganzinger, H.; Giegerich, R.: Attribute Coupled Grammars. ACM SIGPLAN '84 Symp. on Compiler Construction, Montreal 1984, pp. 157–170

    Google Scholar 

  23. Giarratana, V.; Gimona, F.; Montanari, U.: Observability concepts in abstract data type specifications. 5th Symp. Math. Found. of Comp. Sci. (1976), Springer LNCS 45, 576–587

    Google Scholar 

  24. Goguen, J.A.; Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. Proc. IX ICALP, LNCS 140, Springer (1982), 265–281

    Google Scholar 

  25. Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80–144

    Google Scholar 

  26. Guttag, J.V.: The specification and application to programming of abstract data types. Ph.D. Thesis, University of Toronto, 1975

    Google Scholar 

  27. Hupbach, U.L.; Kaphengst, H.; Reichel, H.: Initial algebraic specifications of data types, parameterized data types and algorithms. VEB Robotron ZFT, Techn. Report 15, Dresden 1980

    Google Scholar 

  28. Brinksma, E.(ed.): Information processing systems — open system interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behavior, International Standard, ISO 8807

    Google Scholar 

  29. Meseguer, J.; Goguen, J.A.: Initiality, Induction, and Computability, In: Algebraic Methods in Semantics, M. Nivat, J. Reynolds (eds.), Cambridge Univ. Press (1985), pp. 459–540

    Google Scholar 

  30. Möller, B.: On the algebraic specification of infinite objects: ordered and continuous algebraic types. Acta Informatica 22, 1985, pp. 537–578

    Google Scholar 

  31. Möller, B.: Higher-order algebraic specifications. Fakultät für Informatik, TU München, Habilitationsschrift, 1987

    Google Scholar 

  32. Mosses, P.D.: Modularity in Action Semantics. SDF Benchmark Series in Computational Linguistics-Workshop II., MIT Press, 1988

    Google Scholar 

  33. Nivela, P.: Semantica de Comportamiento en Languages de Especification, Ph.D. Thesis, Barcelona, 1987

    Google Scholar 

  34. Nivela, P.; Orejas, F.: Behavioral semantics for algebraic specification languages, Proc. ADT-Workshop Gullane, 1987, Springer LNCS 332 (1988), 184–207

    Google Scholar 

  35. Orejas, F.; Nivela, P.; Ehrig, H.: Semantical Constructions for Categories of Behavioral Specifications, Proc. Int. Workshop on Categorical Methods in Computer Science with Applications to Topology, Springer LNCS, to appear 1989

    Google Scholar 

  36. Orejas, F.: The role of abstraction in program development. In: H.J. Kugler (ed.): Inform. Processing 86. Amsterdam: North-Holland, 1986, pp. 675–684

    Google Scholar 

  37. Pepper, P.: A study on transformational semantics, in: F.L. Bauer, M. Broy (eds.): Program Construction. Proc. of the Intern. Summer School, Marktoberdorf 1978. LNCS 69, Springer 1979, pp. 322–405

    Google Scholar 

  38. Pepper, P.; Wile, D.: Local Formalisms: An Algebraic View, submitted for publication

    Google Scholar 

  39. Reichel, H.: Initially restricting algebraic theories. Proc. MFCS, LNCS 88, Springer (1980), 504–514

    Google Scholar 

  40. Sannella, D.T.; Tarlecki, A.: Building specifications in an arbitrary institution. Proc. of the Int. Symp. on Semantics of Data Types, LNCS 173, Springer (1984)

    Google Scholar 

  41. Sannella, D.; Tarlecki, A.: On Observational Equivalence and Algebraic Specification, JCSS 34 (1987), pp. 150–178

    Google Scholar 

  42. Tarlecki, A.; Wirsing, M.: Continuous abstract data types. Fundamenta Informaticae 9, 1986, pp. 95–125

    Google Scholar 

  43. Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119–132. Trans. Prog. Languages and Systems 4 (1982), 711–732

    Google Scholar 

  44. Weber, H.; Ehrig, H.: Specification of modular systems, IEEE Transaction on Software Engineering, Vol. SE-12, no 7, 1986, 784–798

    Google Scholar 

  45. Wile, D.: Local Formalisms: Widening the Spectrum of Wide Spectrum Languages, Proc. IFIP TC2 / WG 2.1 Working Conf. on Program Specification and Transformation, Bad Tölz, 1986, North-Holland, pp. 459–481

    Google Scholar 

  46. Wirsing, M.; Pepper, P.; Partsch, H.; Dosch, W.; Broy, M.: On hierarchies of abstract data types. Acta Informatica 20 (1983), pp. 1–33. Also: Report TUM-I8007, Techn. Univ. Munich, 1980

    Article  Google Scholar 

  47. Wagner, E.G.; Thatcher, J.W.; Wright, J.B.: Programming Languages as Mathematical Objects. In: 7th MFCS (1978), LNCS 64, Springer, New York, 1978

    Google Scholar 

  48. Zilles, S.N.: Algebraic specification of data types. Project MAC Progress Report 11, MIT 1974, pp. 28–52

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Berlin, Germany

    H. Ehrig, P. Pepper & F. Orejas

  2. Universitat Politecnica de Catalunya, Spain

    H. Ehrig, P. Pepper & F. Orejas

Authors
  1. H. Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Pepper
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. Orejas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio Ausiello Mariangiola Dezani-Ciancaglini Simonetta Ronchi Della Rocca

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrig, H., Pepper, P., Orejas, F. (1989). On recent trends in algebraic specification. In: Ausiello, G., Dezani-Ciancaglini, M., Della Rocca, S.R. (eds) Automata, Languages and Programming. ICALP 1989. Lecture Notes in Computer Science, vol 372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035766

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46201-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation