Published January 1, 1985
| public
Report
Open
An Inverse Limit Construction of a Domain of Infinite Lists
- Creators
- Choo, Young-il
Abstract
A domain of infinite lists is constructed by taking the inverse limit of a chain of finite list domain ordered by projection. The resulting space, called L infinity, is shown to be a complete partial order. I use as a semantic domain for nonīˇterminating programs is illustrated.
Files
5204-TR-85.pdf
Files
(318.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3aeda234011b476c7deb307d89c4e0e5
|
318.2 kB | Preview Download |
Additional details
- Eprint ID
- 26906
- Resolver ID
- CaltechCSTR:1985.5204-tr-85
- Created
-
2001-11-30Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports