Sciweavers

3025 search results - page 115 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
111
Voted
ICFP
2006
ACM
16 years 2 months ago
Towards an automatic complexity analysis for generic programs
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
Kyle D. Ross
134
Voted
FASE
2009
Springer
15 years 9 months ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
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...
Laura Kovács, Andrei Voronkov
107
Voted
DELFI
2003
15 years 4 months ago
Automatic Analysis of Programming Assignments
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
Christoph Beierle, Marjaa Kulaa, Manfred Widera
133
Voted
JOT
2008
100views more  JOT 2008»
15 years 2 months ago
Panda: a Pattern-based Programming System for Automatic Code Generation
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
Daniele Mazzeranghi
257
Voted
PLDI
2009
ACM
16 years 3 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...