Name
Abstract | ||
|---|---|---|
This paper extend the Abramsky approach to domain logic, in the sense, that we are considering Plotkin continuous domains instead of Scott domain or SFP-domain. Thus, we study the logical aspects of domains as used in the denotational semantics of non-deterministic programming languages with directed application in scientific computation. Using the alternative description of information system (Plotkin continuous), we give a concrete language for types, we eliminate some restrictions of the Abramsky approach, we increment new axioms and rules to the proof system, and we determinate the meaning of the atomical formulae. |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1007/3-540-59175-3_89 | LATIN |
Keywords | Field | DocType |
plotkin continuous domain,information system,scientific computing,programming language | Denotational semantics of the Actor model,Functional logic programming,Programming language,Computer science,Axiom,Denotational semantics,Scott domain,Business logic,Programming domain,Semantic computing | Conference |
Volume | ISSN | ISBN |
911 | 0302-9743 | 3-540-59175-3 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Benjamín R. C. Bedregal | 1 | 5 | 4.82 |
| Benedito Melo Acióly | 2 | 57 | 3.39 |