The Semantics of Local Storage of What Makes The Free-list Free?
Denotational semantics for an ALGOL-like language with finite-mode procedures, blocks with local storage, and sharing (aliasing) is given by translating programs into an appropriately typed lambda-calculus. Procedures are entirely explained at a purely functional level - independent of the interpret...
| Main Authors: | , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149068 |
| _version_ | 1826216975924199424 |
|---|---|
| author | Halpern, Joseph Y. Meyer, Albert R. Trakhtenbrot, B.A. |
| author_facet | Halpern, Joseph Y. Meyer, Albert R. Trakhtenbrot, B.A. |
| author_sort | Halpern, Joseph Y. |
| collection | MIT |
| description | Denotational semantics for an ALGOL-like language with finite-mode procedures, blocks with local storage, and sharing (aliasing) is given by translating programs into an appropriately typed lambda-calculus. Procedures are entirely explained at a purely functional level - independent of the interpretation of program constructs - by continuous models for lambda-calculus. However, the usual (cpo) models are not adequate to model local storage allocation for blocks because storage overflow presents an apparent discontinuity. New domains of store models are offered to solve this problem. |
| first_indexed | 2024-09-23T16:56:09Z |
| id | mit-1721.1/149068 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T16:56:09Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1490682023-03-30T03:02:16Z The Semantics of Local Storage of What Makes The Free-list Free? Halpern, Joseph Y. Meyer, Albert R. Trakhtenbrot, B.A. Denotational semantics for an ALGOL-like language with finite-mode procedures, blocks with local storage, and sharing (aliasing) is given by translating programs into an appropriately typed lambda-calculus. Procedures are entirely explained at a purely functional level - independent of the interpretation of program constructs - by continuous models for lambda-calculus. However, the usual (cpo) models are not adequate to model local storage allocation for blocks because storage overflow presents an apparent discontinuity. New domains of store models are offered to solve this problem. 2023-03-29T14:24:25Z 2023-03-29T14:24:25Z 1984-04 https://hdl.handle.net/1721.1/149068 MIT-LCS-TM-258 application/pdf |
| spellingShingle | Halpern, Joseph Y. Meyer, Albert R. Trakhtenbrot, B.A. The Semantics of Local Storage of What Makes The Free-list Free? |
| title | The Semantics of Local Storage of What Makes The Free-list Free? |
| title_full | The Semantics of Local Storage of What Makes The Free-list Free? |
| title_fullStr | The Semantics of Local Storage of What Makes The Free-list Free? |
| title_full_unstemmed | The Semantics of Local Storage of What Makes The Free-list Free? |
| title_short | The Semantics of Local Storage of What Makes The Free-list Free? |
| title_sort | semantics of local storage of what makes the free list free |
| url | https://hdl.handle.net/1721.1/149068 |
| work_keys_str_mv | AT halpernjosephy thesemanticsoflocalstorageofwhatmakesthefreelistfree AT meyeralbertr thesemanticsoflocalstorageofwhatmakesthefreelistfree AT trakhtenbrotba thesemanticsoflocalstorageofwhatmakesthefreelistfree AT halpernjosephy semanticsoflocalstorageofwhatmakesthefreelistfree AT meyeralbertr semanticsoflocalstorageofwhatmakesthefreelistfree AT trakhtenbrotba semanticsoflocalstorageofwhatmakesthefreelistfree |