Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040907375> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2040907375 endingPage "273" @default.
- W2040907375 startingPage "239" @default.
- W2040907375 abstract "An important issue faced by implementors of higher-order functional programming languages is the allocation and deallocation of storage for variables. The possibility of variables escaping their scope during runtime makes traditional stack allocation inadequate. We consider the problem of detecting when variables in such languages do not escape their scope, and thus can have their bindings allocated in an efficient manner. We use an annotated type system to infer information about the use of variables in a higher-order, strict functional language and combine this system with a translation to an annotated language which explicitly indicates which variables do not escape. The type system uses a notion of annotated types which extends the traditional simple type system with information about the extent of variables. To illustrate the use of this information we define an operational semantics for the annotated language which supports both stack and environment allocation of variable bindings. Only the stack allocated bindings need follow the protocol for stacks: their extent may not exceed their scope. Environment allocated bindings can have any extent, and their allocation has no impact on the stack allocated ones. We prove the analysis and translation correct with respect to this operational semantics by adapting a traditional type consistency proof to our setting. We have encoded the proof into the Elf programming language and typechecked it, providing a partially machine-checked proof." @default.
- W2040907375 created "2016-06-24" @default.
- W2040907375 creator A5078386993 @default.
- W2040907375 date "1998-05-01" @default.
- W2040907375 modified "2023-10-18" @default.
- W2040907375 title "A type-based escape analysis for functional languages" @default.
- W2040907375 cites W137024072 @default.
- W2040907375 cites W1580664042 @default.
- W2040907375 cites W1971473445 @default.
- W2040907375 cites W1985450085 @default.
- W2040907375 cites W2017720469 @default.
- W2040907375 cites W2032673545 @default.
- W2040907375 cites W2057065238 @default.
- W2040907375 cites W2071095465 @default.
- W2040907375 cites W2112920894 @default.
- W2040907375 cites W2129133667 @default.
- W2040907375 cites W2152390299 @default.
- W2040907375 cites W2154273644 @default.
- W2040907375 cites W2155628381 @default.
- W2040907375 cites W2166822586 @default.
- W2040907375 cites W2912126004 @default.
- W2040907375 cites W2914897165 @default.
- W2040907375 cites W77859606 @default.
- W2040907375 doi "https://doi.org/10.1017/s0956796898003025" @default.
- W2040907375 hasPublicationYear "1998" @default.
- W2040907375 type Work @default.
- W2040907375 sameAs 2040907375 @default.
- W2040907375 citedByCount "15" @default.
- W2040907375 countsByYear W20409073752012 @default.
- W2040907375 countsByYear W20409073752016 @default.
- W2040907375 countsByYear W20409073752017 @default.
- W2040907375 countsByYear W20409073752020 @default.
- W2040907375 countsByYear W20409073752021 @default.
- W2040907375 countsByYear W20409073752022 @default.
- W2040907375 crossrefType "journal-article" @default.
- W2040907375 hasAuthorship W2040907375A5078386993 @default.
- W2040907375 hasBestOaLocation W20409073751 @default.
- W2040907375 hasConcept C134306372 @default.
- W2040907375 hasConcept C154945302 @default.
- W2040907375 hasConcept C156325763 @default.
- W2040907375 hasConcept C182365436 @default.
- W2040907375 hasConcept C184337299 @default.
- W2040907375 hasConcept C199360897 @default.
- W2040907375 hasConcept C2776436953 @default.
- W2040907375 hasConcept C2778012447 @default.
- W2040907375 hasConcept C33923547 @default.
- W2040907375 hasConcept C41008148 @default.
- W2040907375 hasConcept C42383842 @default.
- W2040907375 hasConcept C9395851 @default.
- W2040907375 hasConceptScore W2040907375C134306372 @default.
- W2040907375 hasConceptScore W2040907375C154945302 @default.
- W2040907375 hasConceptScore W2040907375C156325763 @default.
- W2040907375 hasConceptScore W2040907375C182365436 @default.
- W2040907375 hasConceptScore W2040907375C184337299 @default.
- W2040907375 hasConceptScore W2040907375C199360897 @default.
- W2040907375 hasConceptScore W2040907375C2776436953 @default.
- W2040907375 hasConceptScore W2040907375C2778012447 @default.
- W2040907375 hasConceptScore W2040907375C33923547 @default.
- W2040907375 hasConceptScore W2040907375C41008148 @default.
- W2040907375 hasConceptScore W2040907375C42383842 @default.
- W2040907375 hasConceptScore W2040907375C9395851 @default.
- W2040907375 hasIssue "3" @default.
- W2040907375 hasLocation W20409073751 @default.
- W2040907375 hasOpenAccess W2040907375 @default.
- W2040907375 hasPrimaryLocation W20409073751 @default.
- W2040907375 hasRelatedWork W1562070815 @default.
- W2040907375 hasRelatedWork W1585037119 @default.
- W2040907375 hasRelatedWork W1587224678 @default.
- W2040907375 hasRelatedWork W1597178555 @default.
- W2040907375 hasRelatedWork W2130086153 @default.
- W2040907375 hasRelatedWork W2227683586 @default.
- W2040907375 hasRelatedWork W2430700634 @default.
- W2040907375 hasRelatedWork W2753815840 @default.
- W2040907375 hasRelatedWork W783270985 @default.
- W2040907375 hasRelatedWork W2788308474 @default.
- W2040907375 hasVolume "8" @default.
- W2040907375 isParatext "false" @default.
- W2040907375 isRetracted "false" @default.
- W2040907375 magId "2040907375" @default.
- W2040907375 workType "article" @default.