Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation

Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

12 Citations (Scopus)

Original language	English
Title of host publication	PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming
Publisher	Association for Computing Machinery (ACM)
Pages	259-270
Number of pages	12
DOIs	https://doi.org/10.1145/2643135.2643145
Publication status	Published - 2014

Access to Document

Schrijvers, T., Wu, N., Desouter, B., & Demoen, B. (2014). Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. In PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming (pp. 259-270). Association for Computing Machinery (ACM). https://doi.org/10.1145/2643135.2643145

@inproceedings{016eb2b2ce45485bb1d094a05288e99f,

title = "Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation",

author = "Tom Schrijvers and Nicolas Wu and Benoit Desouter and Bart Demoen",

year = "2014",

doi = "10.1145/2643135.2643145",

language = "English",

pages = "259--270",

booktitle = "PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

}

Schrijvers, T, Wu, N, Desouter, B & Demoen, B 2014, Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. in PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming. Association for Computing Machinery (ACM), pp. 259-270. https://doi.org/10.1145/2643135.2643145

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. / Schrijvers, Tom; Wu, Nicolas; Desouter, Benoit et al.
PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming. Association for Computing Machinery (ACM), 2014. p. 259-270.

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

TY - GEN

T1 - Heuristics Entwined with Handlers Combined

T2 - From Functional Specification to Logic Programming Implementation

AU - Schrijvers, Tom

AU - Wu, Nicolas

AU - Desouter, Benoit

AU - Demoen, Bart

PY - 2014

Y1 - 2014

U2 - 10.1145/2643135.2643145

DO - 10.1145/2643135.2643145

M3 - Conference Contribution (Conference Proceeding)

SP - 259

EP - 270

BT - PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming

PB - Association for Computing Machinery (ACM)

ER -