7103 search results - page 211 / 1421 » Program Generation and Components |
181
Voted
CPAIOR
2010
Springer
15 years 24 days 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...
131
Voted
GPCE
2009
Springer
15 years 16 days 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...
139
Voted
PLDI
2006
ACM
15 years 8 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 ...
123
Voted
AMAST
2004
Springer
15 years 8 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...
132
Voted
COOPIS
1998
IEEE
15 years 7 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...