956 search results - page 53 / 192 » Dimensions in program synthesis |
142
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
131
Voted
SAIG
2000
Springer
15 years 6 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
119
Voted
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
159
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
133
Voted
AIEDAM
2008
15 years 2 months ago
2008
This paper discusses the application of genetic programming to the synthesis of compound two-dimensional kinematic mechanisms, and benchmarks the results against one of the classi...