113
click to vote
EUROCAST
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...