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 |
BibTeX Record:
@InProceedings{j-afips-86,
author = "K. P. Jantke",
title = "An Algebraic Framework for Inductive Program Synthesis",
booktitle = "Proc. Int. Spring School on Mathematical Methods of Specification and Synthesis of Software Systems '85",
series = "Lecture Notes in Computer Science",
volume = "215",
year = "1986",
pages = "101--122",
}
Hide BibTeX Record
@InProceedings{j-afips-86,
author = "K. P. Jantke",
title = "An Algebraic Framework for Inductive Program Synthesis",
booktitle = "Proc. Int. Spring School on Mathematical Methods of Specification and Synthesis of Software Systems '85",
series = "Lecture Notes in Computer Science",
volume = "215",
year = "1986",
pages = "101--122",
}