7103 search results - page 452 / 1421 » Program Generation and Components |
192
click to vote
ECMDAFA
2008
Springer
15 years 6 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...
134
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
131
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
113
Voted
WSC
2008
15 years 7 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
143
click to vote
JFP
2002
15 years 4 months ago
2002
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...