Adding delimited and composable control to a production programming environment
نویسندگان
چکیده
منابع مشابه
Adding Dimension Analysis to Java as a Composable Language Extension
In this paper we describe a language extension that adds dimension analysis to Java. Dimension analysis can be used to check that values that represent physical measurements such as length and mass are not used inconsistently. What distinguishes this work from previous work that adds dimension analysis to programming languages is that here the extension is implemented as a composable language e...
متن کاملDelimited Control
ing Control @inproceedings{Danvy1990AbstractingControl, author = {Olivier Danvy and Andrzej Filinski}, title = {Abstracting Control}, booktitle = {LISP and Functional Programming}, year = {1990}, pages = {151-160}, }
متن کاملSelf-composable Programming
Increasing scale and complexity of modern software, we have found programming problem with techniques like Aspect-oriented Programming(AOP) while constructing features of the software. We capture its key property as behavioral similarity, a set of tangled and scattered low-level behavior in similar patterns of invocation across the high-level behaviors features in software. In this paper, we pr...
متن کاملDelimited control and computational effects
We give a framework for delimited control with multiple prompts, in the style of Parigot’s λ μcalculus, through a series of incremental extensions by starting with the pure λ -calculus. Each language inherits the semantics and reduction theory of its parent, giving a systematic way to describe each level of control. For each language of interest, we fully characterize its semantics in terms of ...
متن کاملAdding Concurrency to a Programming Language
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will reflect a particular model of concurrency, or libraries of types and routines can be written with different libraries implementing different models. This paper examines the two approaches, for object-oriented and non-o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2007
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1291220.1291178