Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Khaled Bsaïes
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties
ICLP, 1993.

ILPS 1993
DBLP
Scholar
Full names Links ISxN
@inproceedings{ILPS-1993-Bsaies,
	author        = "Khaled Bsaïes",
	booktitle     = "{Proceedings of the International Symposium on Logic Programming}",
	isbn          = "0-262-63152-0",
	pages         = "633",
	publisher     = "{MIT Press}",
	title         = "{Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties}",
	year          = 1993,
}

Tags:



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.