Sciweavers

40 search results - page 2 / 8
» Trace-based just-in-time type specialization for dynamic lan...
Sort
View
DLS
2010
204views Languages» more  DLS 2010»
13 years 3 months ago
Alias analysis for optimization of dynamic languages
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stol...
TOOLS
2008
IEEE
13 years 11 months ago
Object Incompleteness and Dynamic Composition in Java-Like Languages
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
Lorenzo Bettini, Viviana Bono, Betti Venneri
ICFP
2009
ACM
14 years 5 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson
POST
2012
218views more  POST 2012»
12 years 23 days ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
DAGSTUHL
1996
13 years 6 months ago
Pragmatics of Type-Directed Partial Evaluation
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
Olivier Danvy