Term rewriting and all that
The design of a class mechanism for Moby
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Automated scientific software scripting with SWIG
Future Generation Computer Systems - Tools for program development and analysis
Application-specific foreign-interface generation
Proceedings of the 5th international conference on Generative programming and component engineering
WOOL: A Workflow Programming Language
ESCIENCE '08 Proceedings of the 2008 Fourth IEEE International Conference on eScience
Hi-index | 0.00 |
Twig is a language for writing typemaps, programs which transform the type of a value while preserving its underlying meaning. Typemaps are typically used by tools that generate code, such as multi-language wrapper generators, to automatically convert types as needed. Twig builds on existing typemap tools in a few key ways. Twig's typemaps are composable so that complex transformations may be built from simpler ones. In addition, Twig incorporates an abstract, formal model of code generation, allowing it to output code for different target languages. We describe Twig's formal semantics and show how the language allows us to concisely express typemaps. Then, we demonstrate Twig's utility by building an example typemap.