DOIAbstract
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)243-254PSPI
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)243-254PSPI
Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publ...
This is an artifact accompanying the paper "Inferring Region Types via an Abstract Notion of Environ...
This paper describes a memory management discipline for programs that perform dynamic memory allocat...
Region-based memory management offers several important potential advantages over garbage collection...
This paper presents a region inference framework designed specifically for imperative programs with...
Region inference is a program analysis which statically determines regions of memory in which values...
AbstractRegion inference is a type-based technique for determining run time memory management at com...
Theme 1 - Reseaux et systemes - Projet EP-ATRSIGLEAvailable from INIST (FR), Document Supply Service...
10.1007/978-3-540-89330-1-3Lecture Notes in Computer Science (including subseries Lecture Notes in A...
Abstract. Safe is a first-order eager language with facilities for pro-grammer controlled destructio...
overview of inference methods in PLoM: combining fast and exact plug-and-play algorithm
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP176-18723
The region calculus of Tofte and Talpin is a polymorphically typed lambda cal-culus with annotations...
Abstract. Region-based memory management has been proposed as a viable alternative to garbage collec...
AbstractThe region calculus of Tofte and Talpin is a polymorphically typed lambda calculus with anno...
Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publ...
This is an artifact accompanying the paper "Inferring Region Types via an Abstract Notion of Environ...
This paper describes a memory management discipline for programs that perform dynamic memory allocat...
Region-based memory management offers several important potential advantages over garbage collection...
This paper presents a region inference framework designed specifically for imperative programs with...
Region inference is a program analysis which statically determines regions of memory in which values...
AbstractRegion inference is a type-based technique for determining run time memory management at com...
Theme 1 - Reseaux et systemes - Projet EP-ATRSIGLEAvailable from INIST (FR), Document Supply Service...
10.1007/978-3-540-89330-1-3Lecture Notes in Computer Science (including subseries Lecture Notes in A...
Abstract. Safe is a first-order eager language with facilities for pro-grammer controlled destructio...
overview of inference methods in PLoM: combining fast and exact plug-and-play algorithm
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP176-18723
The region calculus of Tofte and Talpin is a polymorphically typed lambda cal-culus with annotations...
Abstract. Region-based memory management has been proposed as a viable alternative to garbage collec...
AbstractThe region calculus of Tofte and Talpin is a polymorphically typed lambda calculus with anno...
Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publ...
This is an artifact accompanying the paper "Inferring Region Types via an Abstract Notion of Environ...
This paper describes a memory management discipline for programs that perform dynamic memory allocat...
Add to ORKG