Equivalence algorithmique par transformations de programmes logiques avec contraintes

Gonzague Yernaux

Student thesis: Master types › Master in Computer science

Date of Award	23 Jun 2017
Original language	French
Awarding Institution	University of Namur
Supervisor	Anthony Cleve (President), Wim Vanhoof (Supervisor) & PIERRE-YVES SCHOBBENS (Jury)

Cite this

Documents

GONZAGUE_YERNAUX_Memoire
File: application/pdf, 1.31 MB
Type: Thesis

Related content

Activities
On Detecting Semantic Clones in Constraint Logic Programs
Activity: Talk or presentation types › Oral presentation

Research output
On Detecting Semantic Clones in Constraint Logic Programs
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Prizes
Jean Fichefet Price 2017
Prize: Prize (including medals and awards)

'