Sciweavers

1159 search results - page 148 / 232
» Adding Concurrency to a Programming Language
Sort
View
POPL
2004
ACM
14 years 9 months ago
Polymorphic typed defunctionalization
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
François Pottier, Nadji Gauthier
ECOOP
2004
Springer
14 years 2 months ago
An AOP Implementation Framework for Extending Join Point Models
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai
POPL
1993
ACM
14 years 1 months ago
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
Shinn-Der Lee, Daniel P. Friedman
ICFP
2009
ACM
14 years 1 months ago
Experience report: embedded, parallel computer-vision with a functional DSL
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
Ryan Newton, Teresa Ko
COORDINATION
2007
Springer
14 years 3 months ago
Generalized Committed Choice
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu