Concrete domains
- 6 December 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 121 (1-2) , 187-277
- https://doi.org/10.1016/0304-3975(93)90090-g
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Tω as a Universal DomainJournal of Computer and System Sciences, 1978
- Lucid, a nonprocedural language with iterationCommunications of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- The next 700 programming languagesCommunications of the ACM, 1966