Inférer et compiler la terminaison des programmes logiques avec contraintes.

Sébastien Hoarau Frédéric Mesnard

Published in: JFPLC (1998)

Keyphrases

programming language
general purpose
technology enhanced
higher education
corporate training
distributed memory machines
m learning
lifelong learning
high level
parallel execution
highly optimized
mobile phone