Justifications of the Structural Synthesis of Programs.

Grigori Mints Enn Tyugu

Published in: Sci. Comput. Program. (1982)

Keyphrases

functional programs
structural analysis
answer sets
structural information
machine learning
decision making
image processing
web services
structural model
program synthesis
provably correct
data sets
databases
video sequences
logic programming
fixpoint