Transformation in intentional programming

@article{Aitken1998TransformationII,
  title={Transformation in intentional programming},
  author={William E. Aitken and B. Dickens and P. Kwiatkowski and O. Moor and D. Richter and C. Simonyi},
  journal={Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203)},
  year={1998},
  pages={114-123}
}
Intentional programming is a new paradigm in software engineering that allows programming languages to be implemented in a highly extensible manner. In particular, the programmer can specify new abstractions that are specific to his problem domain, while simultaneously recording any domain specific optimizations that may apply to such new abstractions. This paper describes a system that implements intentional programming, focusing on the facilities for program transformation. The key difference… Expand
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
TLDR
This work describes an approach to implementing modular interpreters in an object-oriented fashion, using the design pattern of extensible computations, and considers what extensions would be required for typed object- oriented languages in order to support this approach in a statically type-safe manner. Expand
Aspect-Oriented Programming is Quantification and Obliviousness
This paper proposes that the distinguishing characteristic of Aspect-Oriented Programming (AOP) systems is that they allow programming by making quantified programmatic assertions over programsExpand
Managing Intent : Propagation of Meaning During Model Transformations
The Model Driven Architecture (MDA) maintains that systems can be abstractly specified, and specifically instantiated. The abstract specification is created using formally defined models; thus inExpand
Aspect-Oriented Programming is Quantification and Oblivi- ousness
This paper proposes that the distinguishing characteristic of Aspect-Oriented Programming (AOP) systems is that they allow programming by making quantified programmatic assertions over programsExpand
Data refinement by rewriting
TLDR
A new notion of the transform, a parametric specification form suitable for automatic application and composition of transformations, is introduced, which may be reusable in that it can be applied several times to different variables in the same program or other programs. Expand
2 2 Architecture of a Generator
TLDR
Application generators are compilers for domain-specific programming languages (DSLs) and research and practice has focused on problems different than those usually found in a classical treatment of compilers, such as programming language extensibility and program transformations. Expand
Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
TLDR
This paper proposes XML based “operators” as an extensible aspect language that can be generated by modifying an existing compiler and allow us to use XML tools for tree query and manipulation. Expand
ECOOP 2000 — Object-Oriented Programming
  • E. Bertino
  • Computer Science
  • Lecture Notes in Computer Science
  • 2000
TLDR
This paper describes to what extent the BETA language has been successful in obtaining a unified style and where more research is needed and also discusses concurrent programming and prototype-based programming. Expand
Aspect-Oriented Programming is Quantification and Implicit Invocation Abstract
Robert E. Filman RIACS NASA Ames Research Center Moffett Field, CA 94035 rfilman @ mail .arc.nasa. gov Daniel P. Friedman Computer Science Department Indiana University Bloomington, IN 47405 d friedExpand
Building program optimizers with rewriting strategies
TLDR
An extended language in which the side-conditions and contextual rules that arise in realistic optimizer specifications can themselves be expressed as strategy-driven rewrites, and a low-level core language which has a clear semantics, can be implemented straightforwardly and can itself be optimized. Expand
...
1
2
3
4
...

References

SHOWING 1-10 OF 20 REFERENCES
DiSTiL: A Transformation Library for Data Structures
TLDR
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures that relies on several reusable, general-purpose infrastructure tools offered by IP that substantially simplify DSL implementation. Expand
The Death of Computer Languages, The Birth of Intentional Programming
TLDR
This chapter discusses abstraction, Simplicity of language, types and type checking, and delegation, all of which are important in the context of software encoding. Expand
Practical metaprogramming
TLDR
This paper describes a practical metaprogramming system being developed as part of the ITRC Software Life Cycle Technology project, which utilizes source transformation to implement all phases of the metapprogramming process. Expand
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software
TLDR
This chapter describes an approach to constructing software—program specification and transformation—and allied tools that can help not only to ensure the correctness of numerical computations but also automate much of the drudge-work involved in preparing such software. Expand
On program transformations
TLDR
This thesis studies mechanisms for program transformation at the source program level, in the context of Polya, which attempts to support modularization and at the same time incorporate the operations that are provided by the modules in the programming language itself. Expand
Anticipatory optimization in domain specific translation
  • T. Biggerstaff
  • Computer Science
  • Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203)
  • 1998
TLDR
Anticipatory optimization (AO) is a method for compiling such compositions directly to optimized code without large search spaces and indeed, without any search space at all. Expand
Viewing A Program Transformation System At Work
How to decrease labor and improve reliability in the development of efficient implementations of nonnumerical algorithms and labor intensive software is an increasingly important problem as theExpand
The Synthesizer Generator: A System for Constructing Language-Based Editors
TLDR
The Synthesizer Generator is ideal for use in course projects and should be of particular interest to those involved in compiler construction, and the book contains a wealth of material for those building specialized editors "by hand", without using an editor-generating tool. Expand
Scalable software libraries
TLDR
This paper describes a prototype data structure generator and the building blocks that populate its library, and presents preliminary experimental results which suggest that this approach does not compromise programmer productivity nor the run-time performance of generated data structures. Expand
Intentional Programming - Innovation in the Legacy Age
Even as the software industry learns to deliver higher quality programs and on more predictable schedules, we feel dissatisfied. We feel that the promise of software is so much greater thant what hasExpand
...
1
2
...