Sciweavers

1178 search results - page 2 / 236
» Static and Dynamic Evaluation of Data Dependence Analysis
Sort
View
PEPM
2007
ACM
15 years 5 months ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
ECOOP
2012
Springer
13 years 2 months ago
Evaluating the Design of the R Language - Objects and Functions for Data Analysis
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
Floréal Morandat, Brandon Hill, Leo Osvald,...
PEPM
1994
ACM
15 years 3 months ago
The Essence of Eta-Expansion in Partial Evaluation
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
Olivier Danvy, Karoline Malmkjær, Jens Palsb...
WOMPAT
2004
Springer
15 years 5 months ago
Dragon: A Static and Dynamic Tool for OpenMP
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
Oscar Hernandez, Chunhua Liao, Barbara M. Chapman
VLDB
2007
ACM
95views Database» more  VLDB 2007»
15 years 11 months ago
The GCX System: Dynamic Buffer Minimization in Streaming XQuery Evaluation
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...
Christoph Koch, Stefanie Scherzinger, Michael Schm...