MetaML and multi-stage programming with explicit annotations

Taha, Walid; Sheard, Tim

doi:10.1016/s0304-3975(00)00053-0

Cited by 271 publications

(217 citation statements)

References 26 publications

Supporting

Mentioning

217

Contrasting

Order By: Relevance

“…MSLs extend the multi-level language [GJ95] notion of dividing a program into levels of evaluation by making them accessible to the programmer through special syntax called staging annotations [TS00]. Such annotations are introduced to explicitly specify the evaluation order of the various computations of the program.…”

Section: Multi-stage Languagesmentioning

confidence: 99%

“…performs code generation based on the given AST), which in our example evaluates to 25. Notice that run essentially operate like a typed eval function [TS00] Our work has been carried out in the dynamic object-oriented language Delta [Sav05,Sav10] and its Sparrow IDE [SBG07], extending them to supports aspect transformations in the entire staging pipeline. Before going into details specific for aspects, let's first brief the metaprogramming elements of our language as they are adopted throughout our discussion.…”

Section: Multi-stage Languagesmentioning

confidence: 99%

“…Multi-stage languages (MSLs) [TS00,Tah04,She98] take the programming task of code generation and support it as a first-class language feature, realizing a sort of reification of the underlying language code generator. When code generation becomes a language construct, one may write generator code which produces other code that is integrated in the main program by substituting its generator.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Aspects for Stages: Cross Cutting Concerns for Metaprograms.

Lilis¹,

Savidis²

2014

JOT

View full text Add to dashboard Cite

In multi-stage languages the program code is finalized though a sequence of transformations defined in the program itself, a process known as staging, with stages also referred as metaprograms. Since stages are essentially programs, they may also require application of aspectoriented methods to handle crosscutting concerns, something not considered or supported in existing aspect systems. We introduce aspect-oriented support for multi-stage languages by identifying three aspect types for the staging pipeline, namely pre-, in-and post-staging. We discuss their implementation in a language supporting compile-time metaprogramming, where aspects are realized as batches of AST transformation metaprograms, accompanied by an AOP-specific library. We also provide example scenarios where the proposed aspect types may be used in practice. Finally, we show how full-scale source-level aspect debugging is facilitated during the program compilation process.

show abstract

Section: Multi-stage Languagesmentioning

confidence: 99%

Section: Multi-stage Languagesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Aspects for Stages: Cross Cutting Concerns for Metaprograms.

Lilis¹,

Savidis²

2014

JOT

View full text Add to dashboard Cite

show abstract

“…Contrary to MetaML [28] our annotations are not part of the programming language itself (as we treat classical Prolog). It would be interesting to investigate to what extent one could extend our scheme for multiple levels of specialisation [11].…”

Section: Logen Generating Extension Lix-cogen Generating Extensionmentioning

confidence: 99%

LIX: an Effective Self-applicable Partial Evaluator for Prolog

Craig

Leuschel

2004

Functional and Logic Programming

View full text Add to dashboard Cite

Abstract. This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effectively self-applied. The attempts to self-apply partial evaluators for logic programs have, of yet, not been all that successful. Compared to earlier attempts, our lix system is practically usable in terms of efficiency and can handle natural logic programming examples with partially static data structures, built-ins, side-effects, and some higher-order and meta-level features such as call and findall. The lix system is derived from the development of the logen compiler generator system. It achieves a similar kind of efficiency and specialisation, but can be used for other applications. Notably, we show first attempts at using the system for deforestation and tupling in an offline fashion. We will demonstrate that, contrary to earlier beliefs, declarativeness and the use of the ground representation is not the best way to achieve self-applicable partial evaluators.

show abstract

“…The generalization of partial evaluation to multi-stage programming [TS00] is relevant here as well-an access method may be specialized multiple times as increasingly restrictive assumptions are made about the files it is applied to. For example, a schema for a record-based file format might have a header, some number of variable-length records, and a footer.…”

Section: Related Workmentioning

confidence: 99%

Gridfields: Model-Driven Data Transformation in the Physical Sciences

Howe

2000

View full text Add to dashboard Cite

Scientists' ability to generate and store simulation results is outpacing their ability to analyze them via ad hoc programs. We observe that these programs exhibit an algebraic structure that can be used to facilitate reasoning and improve performance. In this dissertation, we present a formal data model that exposes this algebraic structure, then implement the model, evaluate it, and use it to express, optimize, and reason about data transformations in a variety of scientific domains.Simulation results are defined over a logical grid structure that allows a continuous domain to be represented discretely in the computer. Existing approaches for manipulating these gridded datasets are incomplete. The performance of SQL queries that manipulate large numeric datasets is not competitive with that of specialized tools, and the up-front effort required to deploy a relational database makes them unpopular for dynamic scientific applications. Tools for processing multidimensional arrays can only capture regular, rectilinear grids. Visualization libraries accommodate arbitrary grids, but no algebra has been developed to simplify their 2 use and afford optimization. Further, these libraries are data dependent-physical changes to data characteristics break user programs.We adopt the grid as a first-class citizen, separating topology from geometry and separating structure from data. Our model is agnostic with respect to dimension, uniformly capturing, for example, particle trajectories (1-D), sea-surface temperatures (2-D), and blood flow in the heart (3-D). Equipped with data, a grid becomes a gridfield. We provide operators for constructing, transforming, and aggregating gridfields that admit algebraic laws useful for optimization. We implement the model by analyzing several candidate data structures and incorporating their best features. We then show how to deploy gridfields in practice by injecting the model as middleware between heterogeneous, ad hoc file formats and a popular visualization library.In this dissertation, we define, develop, implement, evaluate and deploy a model of gridded datasets that accommodates a variety of complex grid structures and a variety of complex data products. We evaluate the applicability and performance of the model using datasets from oceanography, seismology, and medicine and conclude that our model-driven approach offers significant advantages over the status quo. I am in debt to Laura Bright for her excellent work developing the curriculum for our Summer course at a time when this dissertation kept me rather distracted.I wish to also thank the students of the Systems Group: Francis Chang, who is clearly the better pool player; and Ed Kaiser and Chris Chambers, whom had I not known, I might have graduated three months earlier.I thank the excellent staff at OGI and Portland State for cheerfully tolerating my continual requests and occasional complaints:

show abstract

MetaML and multi-stage programming with explicit annotations

Cited by 271 publications

References 26 publications

Aspects for Stages: Cross Cutting Concerns for Metaprograms.

Aspects for Stages: Cross Cutting Concerns for Metaprograms.

LIX: an Effective Self-applicable Partial Evaluator for Prolog

Gridfields: Model-Driven Data Transformation in the Physical Sciences

Contact Info

Product

Resources

About