Program Analysis to Support Concurrent Programming in Declarative Language

Romain Demeyer

Program Analysis to Support Concurrent Programming in Declarative Language

Faculty of Computer Science

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Leibniz International Proceedings in Informatics (LIPIcs)
Pages	248-254
Publication status	Published - 2010
Event	26th International Conference on Logic Programming (ICLP 2010) - Edinburgh, United Kingdom Duration: 16 Jul 2010 → 19 Jul 2010

Scientific committee

Scientific committee	26th International Conference on Logic Programming (ICLP 2010)
Country/Territory	United Kingdom
City	Edinburgh
Period	16/07/10 → 19/07/10

Approche déclarative pour la modélisation et l'exécution de processus métiers: les workflow Saturn
Author: Demeyer, R., 2009
Supervisor: Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer science

File

Cite this

@inproceedings{47ed75702afe475b96ff3cf4c1d96924,

title = "Program Analysis to Support Concurrent Programming in Declarative Language",

author = "Romain Demeyer",

year = "2010",

language = "English",

pages = "248--254",

booktitle = "Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Leibniz International Proceedings in Informatics (LIPIcs)",

note = "26th International Conference on Logic Programming (ICLP 2010) ; Conference date: 16-07-2010 Through 19-07-2010",

}

Program Analysis to Support Concurrent Programming in Declarative Language. / Demeyer, Romain.
Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Leibniz International Proceedings in Informatics (LIPIcs) . 2010. p. 248-254.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Program Analysis to Support Concurrent Programming in Declarative Language

AU - Demeyer, Romain

PY - 2010

Y1 - 2010

M3 - Conference contribution

SP - 248

EP - 254

BT - Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Leibniz International Proceedings in Informatics (LIPIcs)

T2 - 26th International Conference on Logic Programming (ICLP 2010)

Y2 - 16 July 2010 through 19 July 2010

ER -

Program Analysis to Support Concurrent Programming in Declarative Language

Scientific committee

Student theses

Approche déclarative pour la modélisation et l'exécution de processus métiers: les workflow Saturn

Cite this