5415 search results - page 290 / 1083 » The Implementation of Functional Programming Languages |
113
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
86
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
111
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
108
click to vote
CC
2004
Springer
15 years 6 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
146
click to vote
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...