148 search results - page 5 / 30 » Generating safe template languages |
AAAI
2004
15 years 3 months ago
2004
Reactive planning using assumptions is a well-known approach to tackle complex planning problems for nondeterministic, partially observable domains. However, assumptions may be wr...
122
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
110
click to vote
CICLING
2007
Springer
15 years 8 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
124
click to vote
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
171
Voted
ECMDAFA
2008
Springer
15 years 3 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...