NDLI: Dynamic modules in higher-order languages

Please wait, while we are loading the content...

Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)

Haskell-style overloading is NP-hard

Dynamic modules in higher-order languages

Customizing C++ to improve the reusability of class libraries

Achieving asynchronous speedup while preserving synchronous semantics: an implementation of instructional footprinting in Linda

Composites: trees for data parallel programming

Region analysis: a parallel elimination method for data flow analysis

Real spreadsheets for real programmers

A functional specification language for instruction set architectures

A*: a language for implementing language processors

Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)

Proceedings of the 1992 International Conference on Computer Languages

Proceedings. 1990 International Conference on Computer Languages

Proceedings. 1988 International Conference on Computer Languages

Dynamic modules in higher-order languages

Content Provider	IEEE Xplore Digital Library
Author	Jagannathan, S.
Copyright Year	1994
Description	Author affiliation: NEC Res. Inst., Princeton, NJ, USA (Jagannathan, S.)
Abstract	Providing programmers the ability to construct meaningful abstractions to help manage complexity is a serious language design issue. Many languages define a module system that can be used to specify distinct namespaces, and build user-defined data abstractions; however, few languages support dynamic modules, i.e., modules which are true first-class objects. We define a module semantics for a dialect of Scheme called Rascal. Modules are defined in terms of reified environments, and are first-class objects which may be dynamically created, freely assigned, used as arguments to procedures, etc. If defined naively, however, implementing modules using environments can entail the capture of unwanted bindings, leading to potentially severe violations of lexical abstraction and locality. We address these concerns by giving users great flexibility to manipulate environments, and to constrain the extent and scope of the environment reification process. We argue that the techniques and operators developed define a cohesive and semantically sound basis for building large-scale modular systems in dynamically-typed higher-order languages.<>
Starting Page	74
Ending Page	87
File Size	932681
Page Count	14
File Format	PDF
ISBN	081865640X
DOI	10.1109/ICCL.1994.288391
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1994-05-16
Publisher Place	France
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Programming profession Proposals National electric code Environmental management Large-scale systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in