3736 search results - page 36 / 748 » Hand-Writing Program Generator Generators |
173
Voted
CPAIOR
2010
Springer
15 years 6 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...
126
Voted
GPCE
2009
Springer
14 years 12 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...
116
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
119
Voted
AMAST
2004
Springer
15 years 7 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...
187
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...