Sciweavers

8197 search results - page 208 / 1640
» Adaptive functional programming
Sort
View
OOPSLA
2009
Springer
16 years 27 days ago
Enhancing source-level programming tools with an awareness of transparent program transformations
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
Myoungkyu Song, Eli Tilevich
CGO
2007
IEEE
16 years 21 days ago
Microarchitecture Sensitive Empirical Models for Compiler Optimizations
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. S...
146
Voted
ECOOP
2001
Springer
15 years 11 months ago
Scripting .NET Using Mondrian
Abstract. We introduce the design of Mondrian, a functional scripting language for glueing together components on the .NET platform. Mondrian is monadic statement centric with pure...
Erik Meijer, Nigel Perry, Arjan van Yzendoorn
142
Voted
ICFP
2007
ACM
15 years 10 months ago
Experience report: the reactis validation tool
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
Steve Sims, Daniel C. DuVarney
164
Voted
MOR
2010
91views more  MOR 2010»
15 years 4 months ago
On the One-Dimensional Optimal Switching Problem
We explicitly solve the optimal switching problem for one-dimensional diffusions by directly employing the dynamic programming principle and the excessive characterization of the ...
Erhan Bayraktar, Masahiko Egami