Sciweavers

1154 search results - page 151 / 231
» Implementing Typed Intermediate Languages
Sort
View
GPCE
2004
Springer
15 years 3 months ago
Generating AspectJ Programs with Meta-AspectJ
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...
David Zook, Shan Shan Huang, Yannis Smaragdakis
ESOP
1999
Springer
15 years 2 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
EDBTW
2006
Springer
15 years 1 months ago
Window Specification over Data Streams
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
Kostas Patroumpas, Timos K. Sellis
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 1 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
JOT
2010
108views more  JOT 2010»
14 years 8 months ago
Extending Scala with Database Query Capability
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp