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