A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
Program synthesis is a process that obtains an efficient program out of a specification, preserving its meaning. Fork algebras have been proposed as an algebraic basis for the construction of a program synthesis environment. These algebras have an expressive power that encompasses that of first order logic, and they are also the right abstraction of the set model that considers programs as partial (input-output) binary relations; these results make fork algebras a sound and powerful frameworkdoi:10.1093/jigpal/6.4.531 fatcat:blhhcauarzg5ffy6bicqwrlpwq