1069 search results - page 166 / 214 » Automatic Generation of Language-based Tools |
133
click to vote
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
GECCO
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
144
click to vote
TEDU
2011
14 years 6 months ago
2011
Most 3D character editing tools are complex and non-intuitive. It takes lot of skill and labor from the artists to create even a draft 3D humanoid model. This paper proposes an int...
101
click to vote
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...