Author of the publication

Automatic Construction of Prolog Primitives for Type Checking Analysis.

, and . JTASPEFT/WSA, volume 74 of Series Bigre, page 165-172. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments., and . LOPSTR, page 229-245. Springer, (1993)Automatic Construction of Prolog Primitives for Type Checking Analysis., and . JTASPEFT/WSA, volume 74 of Series Bigre, page 165-172. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)Static Type Analysis of Prolog Procedures for Ensuring Correctness., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 222-237. Springer, (1990)