7103 search results - page 211 / 1421 » Components and Generative Programming |
100
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
162
click to vote
CPAIOR
2010
Springer
14 years 11 months ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
121
click to vote
GPCE
2009
Springer
14 years 11 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
125
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
113
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...