diff options
Diffstat (limited to 'chapter12/README.md')
| -rw-r--r-- | chapter12/README.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/chapter12/README.md b/chapter12/README.md index 38a6eed8..28fbb6dc 100644 --- a/chapter12/README.md +++ b/chapter12/README.md @@ -1,5 +1,10 @@ # Chapter 12: Floats +Memory keeps Chapter 11's single `$mem` binding and lazy `MemMerge`, `MemPhi`, +and `BulkMemPhi` partitions. Start produces `{ctrl, $mem, arg}` and Return +consumes `{ctrl, $mem, result}`; floating-point arithmetic needs no new memory +representation. + # Table of Contents 1. [Float](#floats) @@ -55,4 +60,3 @@ Within the Type Lattice, we now add the following domain: with a TOP, BOT and constants  - |