570 search results - page 27 / 114 » From Program Verification to Program Synthesis |
151
Voted
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
109
click to vote
FOAL
2008
ACM
15 years 4 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
146
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
124
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
155
click to vote
PRL
2007
15 years 1 months ago
2007
This paper introduces a novel method of visual learning based on Genetic Programming, which evolves a population of individuals (image analysis programs) that process attributed v...