Sciweavers

148 search results - page 3 / 30
» Generating safe template languages
Sort
View
FM
2006
Springer
111views Formal Methods» more  FM 2006»
13 years 11 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
ICFP
2001
ACM
14 years 7 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha
MODELLIERUNG
2008
13 years 9 months ago
Integrating Template-Based Code Generation into Graphical Model Transformation
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
Martin Girschick
SAC
2004
ACM
14 years 1 months ago
Type-safe covariance in C++
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...
Vitaly Surazhsky, Joseph Gil
KBSE
2008
IEEE
14 years 2 months ago
Rhizome: A Feature Modeling and Generation Platform
Rhizome is an end-to-end feature modeling and code generation platform that includes a feature modeling language (FeatureML), a template language (MarkerML) and a template-based c...
Guozheng Ge, E. James Whitehead Jr.