Title: Informatique théorique & méthode de compilation et de construction de programmes
Subjects: Congresses, Logic programming, Compiling (Electronic computers), Computer programming