An Algebraic Framework for Inductive Program Synthesis
| Authored By: | K. P. Jantke |
| Paper Title: | An Algebraic Framework for Inductive Program Synthesis |
| Book/Journal Title: | Proc. Int. Spring School on Mathematical Methods of Specification and Synthesis of Software Systems '85 |
| Vol. 215 | |
| Publication Date: | 1986 |
| Pages: | 101-122 |