Synthesis of Programs in Computational Logic
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
Synthesis of Programs in Computational Logic
LOPSTR, 2004.

PDCL 2004
Full names Links ISxN
	author        = "David A. Basin and Yves Deville and Pierre Flener and Andreas Hamfelt and Jørgen Fischer Nilsson",
	booktitle     = "{Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development}",
	doi           = "10.1007/978-3-540-25951-0_2",
	isbn          = "3-540-22152-2",
	pages         = "30--65",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Synthesis of Programs in Computational Logic}",
	volume        = 3049,
	year          = 2004,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.