Sciweavers

3736 search results - page 4 / 748
» Generative Programming
Sort
View
ICALP
2010
Springer
13 years 10 months ago
Space-Efficient Scheduling of Stochastically Generated Tasks
Tomás Brázdil, Javier Esparza, Stefa...
POPL
2011
ACM
12 years 11 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...
RSP
2000
IEEE
108views Control Systems» more  RSP 2000»
14 years 28 days ago
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
Dan Marius Regep, Fabrice Kordon
FLOPS
2010
Springer
14 years 1 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann
GPCE
2005
Springer
14 years 2 months ago
Statically Safe Program Generation with SafeGen
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
Shan Shan Huang, David Zook, Yannis Smaragdakis