Matches in SemOpenAlex for { <https://semopenalex.org/work/W1545727638> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1545727638 abstract "Many modern programming languages use garbage collection for the sake of reliability and productivity. On the other hand, garbage collection causes several difficulties in some situations, for example, in real-time systems.Tofte and Talpin's region and effect system for ML infers lifetime of objects at compile time and makes it possible to reclaim memory safely without using garbage collectors at run time. Programmers do not have to provide any explicit directives about lifetime of objects. However, it is sometimes necessary for programmers to transform programs specially in order to make the system infer as they intend. As a result, programmers have to know, to some extent, how the system infers about regions.In this paper, we introduce a type system for an ML-like language which also aims for compile-time lifetime inference. It, however, lets programmers delimit lifetime of objects explicitly and makes the system check the correctness of programmers' directives." @default.
- W1545727638 created "2016-06-24" @default.
- W1545727638 creator A5002719065 @default.
- W1545727638 date "2001-01-01" @default.
- W1545727638 modified "2023-09-27" @default.
- W1545727638 title "Monadic Encapsulation with Stack of Regions" @default.
- W1545727638 cites W1988600549 @default.
- W1545727638 cites W1988661738 @default.
- W1545727638 cites W2006638707 @default.
- W1545727638 cites W2074674709 @default.
- W1545727638 cites W2112150205 @default.
- W1545727638 cites W2129133667 @default.
- W1545727638 cites W2129224383 @default.
- W1545727638 doi "https://doi.org/10.1007/3-540-44716-4_17" @default.
- W1545727638 hasPublicationYear "2001" @default.
- W1545727638 type Work @default.
- W1545727638 sameAs 1545727638 @default.
- W1545727638 citedByCount "5" @default.
- W1545727638 crossrefType "book-chapter" @default.
- W1545727638 hasAuthorship W1545727638A5002719065 @default.
- W1545727638 hasConcept C105122174 @default.
- W1545727638 hasConcept C169590947 @default.
- W1545727638 hasConcept C199360897 @default.
- W1545727638 hasConcept C200833197 @default.
- W1545727638 hasConcept C41008148 @default.
- W1545727638 hasConcept C55439883 @default.
- W1545727638 hasConcept C75403996 @default.
- W1545727638 hasConcept C82810778 @default.
- W1545727638 hasConceptScore W1545727638C105122174 @default.
- W1545727638 hasConceptScore W1545727638C169590947 @default.
- W1545727638 hasConceptScore W1545727638C199360897 @default.
- W1545727638 hasConceptScore W1545727638C200833197 @default.
- W1545727638 hasConceptScore W1545727638C41008148 @default.
- W1545727638 hasConceptScore W1545727638C55439883 @default.
- W1545727638 hasConceptScore W1545727638C75403996 @default.
- W1545727638 hasConceptScore W1545727638C82810778 @default.
- W1545727638 hasLocation W15457276381 @default.
- W1545727638 hasOpenAccess W1545727638 @default.
- W1545727638 hasPrimaryLocation W15457276381 @default.
- W1545727638 hasRelatedWork W1501346788 @default.
- W1545727638 hasRelatedWork W1502674332 @default.
- W1545727638 hasRelatedWork W1547808507 @default.
- W1545727638 hasRelatedWork W1602281610 @default.
- W1545727638 hasRelatedWork W1825733274 @default.
- W1545727638 hasRelatedWork W1930820165 @default.
- W1545727638 hasRelatedWork W1977247201 @default.
- W1545727638 hasRelatedWork W2002387646 @default.
- W1545727638 hasRelatedWork W2038081023 @default.
- W1545727638 hasRelatedWork W2044336332 @default.
- W1545727638 hasRelatedWork W2109922934 @default.
- W1545727638 hasRelatedWork W2116361223 @default.
- W1545727638 hasRelatedWork W2117123451 @default.
- W1545727638 hasRelatedWork W2132715564 @default.
- W1545727638 hasRelatedWork W2147609113 @default.
- W1545727638 hasRelatedWork W2165505463 @default.
- W1545727638 hasRelatedWork W2560911662 @default.
- W1545727638 hasRelatedWork W830338198 @default.
- W1545727638 hasRelatedWork W2463292594 @default.
- W1545727638 hasRelatedWork W2465844729 @default.
- W1545727638 isParatext "false" @default.
- W1545727638 isRetracted "false" @default.
- W1545727638 magId "1545727638" @default.
- W1545727638 workType "book-chapter" @default.