Publications 1998

International Conferences

1. T. Jensen. Inference of polymorphic and conditional strictness properties. In Proc. of 25th ACM Symposium on Principles of Programming Languages, Pages 209-221, 1998. ps
2. T. Jensen, D. Le Métayer, T. Thorn. Security and Dynamic Class Loading in Java: A Formalisation. In Proceedings of the 1998 IEEE International Conference on Computer Languages, Pages 4-15, May 1998. ps

Research Reports

1. T. Jensen, D. Le Métayer, T. Thorn. Verification of control flow based security policies. Research Report IRISA, No 1210, 1998. ps

Thesis

1. J. Mallet. Compilation d'un langage spécialisé pour machine massivement parallèle. PhD Thesis Université de Rennes I, Ifsic, Irisa, 1998. ps
2. V.-A. Nicolas. Preuves de propriétés de classes de programmes par dérivation systématique de jeux de test. PhD Thesis Université de Rennes I, Ifsic, Irisa, December 1998. ps