The Future is Intentional

  title={The Future is Intentional},
  author={C. Simonyi},
beginning to understand that simplicity is required for reli;ibility. The big wads of software that we have grown used to might be replaced by small, simple components that do only what they need to do and can be combined together. It’s a move from the Baroque to a Bauhaus style, and one I think we all need to embrace and encourage. Part of this revolution is a trend toward languagebased systems. I t used to be that the language you used to develop a system or component was an accidental… Expand
Flexibility in modeling languages and tools: a call to arms
  • E. V. Wyk, M. Heimdahl
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2009
It is hypothesize that languages and tools built using higher-order attribute grammars with forwarding can serve as a basis for such flexible language processing tools; tools that will allow us to unify the authors' efforts and help bring their collective work to a broader audience. Expand
Scaling language specifications to mainstream languages and real-world applications ?
This paper describes two characteristics of language specification tools that support their use at scales beyond small prototypes. First is the ability to both explicitly and implicitly (viaExpand
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
Flexible and Extensible Notations for Modeling Languages
A flexible modeling language framework by which language and tool developers may better meet the special needs of various users groups without incurring prohibitive costs is described and a prototype implementation of such a framework is shown. Expand
Towards Multi-Paradigm Software Development
A survey of selected recent software development (programming) paradigms and multiparadigm approaches and shows that there are two meanings of paradigm: large-scale and small-scale. Expand
Data refinement by rewriting
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
User-Extensible Simplification - Type-Based Optimizer Generators
This paper presents an extended case study of one component of a C++ compiler, the simplifier; discusses the design decisions of a new simplifier (simplifier generator) and its implementation in C++; and gives performance measurements. Expand
A debate on language and tool support for design patterns
The authors compare and contrast programming languages, tools, and patterns to assess their relative merits and to clarify their roles in the development process. Expand
Variability Modeling in the Real
The aim is to support variability modeling research by providing empirical evidence for the actual use of its core modeling concepts, by identifying and characterizing further concepts that have not been addressed in the literature, and by providing realistic assumptions about scale, structure, content, and complexity of real-world variability models. Expand
Semantic and behavioral library transformations
Simplicissimus is introduced, a framework for rewrite-based source code transformations that allows for code replacement in a systematic and safe manner and is illustrated with applications in several areas. Expand