TY - GEN
T1 - Inductive Synthesis of Equational Programs
AU - Dershowitz, Nachum
AU - Pinchover, Eli
N1 - Publisher Copyright:
Copyright © 1990, AAAI (www.aaai.org). All rights reserved.
PY - 1990
Y1 - 1990
N2 - An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the given domain rules. To synthesize such programs, induction is necessary. We propose heuristics for generalizing from a sequence of deductive consequences. These are combined with rewrite-based methods of inductive proof to derive provably correct programs.
AB - An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the given domain rules. To synthesize such programs, induction is necessary. We propose heuristics for generalizing from a sequence of deductive consequences. These are combined with rewrite-based methods of inductive proof to derive provably correct programs.
UR - http://www.scopus.com/inward/record.url?scp=84915977348&partnerID=8YFLogxK
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84915977348
T3 - Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990
SP - 234
EP - 239
BT - Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990
PB - AAAI press
T2 - 8th National Conference on Artificial Intelligence, AAAI 1990
Y2 - 29 July 1990 through 3 August 1990
ER -