Name
Title | ||
|---|---|---|
Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics |
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. |
Year | DOI | Venue |
|---|---|---|
1990 | 10.1007/BFb0039081 | CONCUR |
Keywords | Field | DocType |
effective solutions,effective denotational semantics,domain equations,complete metric space | Denotational semantics of the Actor model,Discrete mathematics,Power domains,Normalisation by evaluation,Computer science,Denotational semantics,Action semantics,Domain theory,Complete partial order,Metric space | Conference |
Volume | ISSN | ISBN |
458 | 0302-9743 | 3-540-53048-7 |
Citations | PageRank | References |
2 | 0.43 | 1 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Serge Yoccoz | 1 | 20 | 2.95 |