3736 search results - page 99 / 748 » Hand-Writing Program Generator Generators |
178
Voted
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
103
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Generational collection has improved the efficiency of garbage collection in fast-allocating programs by focusing on collecting young garbage, but has done little to reduce the co...
138
click to vote
FAC
2010
14 years 11 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
103
click to vote
ADMA
2006
Springer
15 years 8 months ago
2006
Springer
Gene Expression Programming (GEP) aims at discovering essential rules hidden in observed data and expressing them mathematically. GEP has been proved to be a powerful tool for cons...
132
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...