Advertisement

Effective solutions to domain equations an approach to effective denotational semantics

  • S. Yoccoz
Selected Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 458)

Abstract

This paper gives an effective interpretation to the construction of solutions for domain equations in a category of complete metric spaces. Our starting point is the work by P.America and J.Rutten, which we summarizes briefly. We show that their construction can be given an effective content (in the sense that the solutions are recursively presented spaces). We indicate, in the last section, how this approach can be used to estimate the complexity of the operators induced by contexts in some parallel languages.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [A et al]
    P.America, J. De Bakker, J.N.Kok, J.Rutten: Denotational Semantics of a Parallel Object-Oriented Language (Information and Computation, 83, 1989)Google Scholar
  2. [AR]
    P.America and J.Rutten: Solving reflexive domain equations in a category of complete metric spaces (JCSS., 39, 1989)Google Scholar
  3. [Ba]
    E.Badouel: Algebraically closed theories (Proceedings MFCS' 89)Google Scholar
  4. [B]
    Bourbaki: Topologie generale v.1 et 2 (Hermann)Google Scholar
  5. [Pl]
    G.Plotkin: A structural approach to operational semantics (Rep Daimi FN19, Aarhus, 1981)Google Scholar
  6. [Y1]
    S.Yoccoz: Effective denotational semantics for sequential and parallel languages, part 1 (Rapport Interne, Labri — Universite de Bordeaux-I, June 1990)Google Scholar
  7. [Y2]
    S.Yoccoz: Effective denotational semantics for sequential and parallel languages, part 2 (to appear as technical report, Labri-Université de Bordeaux 1, Aug.1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • S. Yoccoz
    • 1
    • 2
  1. 1.CNRS, Université de Bordeaux-1Frances
  2. 2.LABRI, UER Maths-Info, 351 Cours de la LiberationTalenceFrance

Personalised recommendations