2017/01/18 by Keehang Kwon, Kwon, Keehang, Daeseong Kang +1
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
paper · pdf · doi:10.48550/arxiv.1701.05034
5 pages. A high-level statement for allocating and deallocating heap objects is described and a constructive module language is also described
arxiv created 2017/10/19 · arxiv updated 2017/10/20
We propose a notion of local modules for imperative langauges. To be specific, we introduce a new implication statement of the form D ⊃ G where D is a module (i.e., a set of procedure declarations) and G is a statement. This statement tells the machine to add D to the program in the course of executing G. Thus, D acts as a local module and will be discarded after executing G. It therefore provides efficient module management. We illustrate our idea via Cmod, an extension of the core C with the new statement. In addition, we describe a new constructive module language to improve code reuse. Finally, we describe a scheme which considerably improves the heap management in traditional languages.