Lazy Lists II (Q7361229)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Lazy-Lists-II
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Lazy Lists II |
AFP entry Lazy-Lists-II |
Statements
26 April 2004
0 references
Stefan Friedrich
0 references
Lazy Lists II (English)
0 references
This theory contains some useful extensions to the LList (lazy list) theory by Larry Paulson , including finite, infinite, and positive llists over an alphabet, as well as the new constants take and drop and the prefix order of llists. Finally, the notions of safety and liveness in the sense of Alpern and Schneider (1985) are defined.
0 references
