3736 search results - page 276 / 748 » Hand-Writing Program Generator Generators |
219
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
194
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
198
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
173
click to vote
ROBOCUP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we explain how we applied genetic programming to behavior-based team coordination in the RoboCup Soccer Server domain. Genetic programming is a promising new method f...
190
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...