Skip to main content
SpringerLink
Log in

A modular approach to denotational semantics

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

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

Included in the following conference series:

Abstract

We give an account of part of modularity in denotational semantics. We define a computational effect to consist of a category with algebraic structure together with a construction using that algebraic structure of a new denotational category together with an identity on objects functor to it from the original category. We make precise what we mean by algebraic structure and what constructions are allowable. Further, given two computational effects, we give a mathematical foundation for extending one along the other. We prove a theorem to show when such a extension is possible.

This work has been done with the support of EPSRC grant GR/J84205: Frameworks for programming language semantics and logic.

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. P. Cenciarelli and E. Moggi. A syntactic approach to modularity in denotational semantics, 1993. CWI Tech. Report.

    Google Scholar 

  2. G.M. Kelly. Basic concepts of enriched category theory. Cambridge University Press, 1982.

    Google Scholar 

  3. E. Moggi. Notions of computation and monads. Inform. and Comput., 93(1):55–92,1991.

    Article  MATH  MathSciNet  Google Scholar 

  4. E. Moggi. Metalanguages and applications. Newton Institute Publications. Cambridge University Press, 1996.

    Google Scholar 

  5. A.J. Power. Why tricategories? Inform. and Comput., 120:251–262, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  6. A.J. Power. Categories with algebraic structure. In Proc. CSL 97, 1997. To appear.

    Google Scholar 

  7. A.J. Power. Enriched Lawvere theories. Submitted, 1997.

    Google Scholar 

  8. A.J. Power. Modularity in denotational semantics. Electronic Notes in Theoretical Computer Science, 6:#, 1997.

    Google Scholar 

  9. A.J. Power and G. Rosolini. Modularity in denotational semantics II. Draft, 1997.

    Google Scholar 

  10. E.P. Robinson. Variations on algebra: monadicity and generalisations of algebraic theories. To appear in Math. Structures in Computer Science.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Edinburgh, King's Buildings, EH9 3JZ, Edinburgh, Scotland

    John Power

  2. DISI, Università di Genova, via Dodecaneso 35, 16146, Genova, Italy

    Giuseppe Rosolini

Authors
  1. John Power
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giuseppe Rosolini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kim G. Larsen Sven Skyum Glynn Winskel

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Power, J., Rosolini, G. (1998). A modular approach to denotational semantics. In: Larsen, K.G., Skyum, S., Winskel, G. (eds) Automata, Languages and Programming. ICALP 1998. Lecture Notes in Computer Science, vol 1443. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055066

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64781-2

  • Online ISBN: 978-3-540-68681-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation