3025 search results - page 222 / 605 » Automatic Programming of Robots Using Genetic Programming |
135
Voted
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
124
Voted
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
148
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
146
Voted
PADL
2010
Springer
16 years 17 days ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
141
Voted
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...