a fun language for serious programming

Publications and Technical Reports

Some Nit team members has been working for more than 15 years on object-oriented languages and comlpilation techniques. This page gathers works related to Nit (and previously to PRM, the ancestor of Nit).

General Subject

Jean Privat. « De l'expressivité à l'efficacité, une approche modulaire des langages à objets. Le langage PRM et le compilateur prmc ». LIRMM, Université Montpellier II, 2006.

Language Modeling and Specification

Inheritance

Roland Ducournau & Jean Privat. « Metamodeling Semantics of Multiple Inheritance ». Elsevier, 2010. To be published. [doi]

Roland Ducournau & Michel Habib & Marianne Huchard & Marie-Laure Mugnier & Amedeo Napoli.. « Le point sur l'héritage multiple ». Lavoisier, 1995.

Roland Ducournau & Michel Habib & Marianne Huchard & and Marie-Laure Mugnier. « Proposal for a monotonic multiple inheritance linearization ». In Proceedings of the 9th annual conference on Object-oriented programming systems and applications (OOPSLA'94), Volume 29(10) de SIGPLAN Notices, pp. 164—175. ACM, 1994. [doi]

Covariance

Roland Ducournau. « Real World as an argument for covariant specialization in programming and modeling ». In Advances in Object-Oriented Information Systems (OOIS'02), Volume 2426 de LNCS, pp. 3—12. Springer-Verlag, 2002.

Class Refinement

Jean Privat & Roland Ducournau. « Raffinement de classes dans les langages à objets statiquement typés ». In Langages et Modèles à Objets (LMO'05), Volume 11(1-2) de L'objet, pp. 17—32. Hermes, 2005. [doi]

Nullable static type

Jean-Sébastien Gélinas & Jean Privat & Etienne Gagnon. « Prévention du déréférencement de références nulles dans un langage à objets ». In Langages et Modèles à Objets (LMO'09), Volume L-3 de RNTI, pp. 5—16. Cépaduès, 2009.

Compilation and Implementation Techniques

Efficient compilation

Roland Ducournau & Floréal Morandat & Jean Privat. « Empirical Assessment of Object-Oriented Implementations with Multiple Inheritance and Static Typing ». In Proceedings of the 24th annual conference on Object-oriented programming systems and applications (OOPSLA'09), Volume 44(10) de SIGPLAN Notices, pp. 41—60. ACM, 2009. [doi]

Floréal Morandat & Roland Ducournau & Jean Privat. « Évaluation de l'efficacité des implémentations de l'héritage multiple en typage statique ». In Langages et Modèles à Objets (LMO'09), Volume L-3 de RNTI, pp. 17—32. Cépaduès, 2009.

Coloring

Jean Privat & Floréal Morandat. « Coloring for Shared Object-Oriented Libraries ». In ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'08), pp. 8. 2008.

Roland Ducournau. « La coloration pour l'implémentation des langages à objets à typage statique ». In Langages et Modèles à Objets (LMO'02), Volume 8 de L'Objet, pp. 79—98. Hermès, 2002.

Separate Compilation

Jean Privat & Floréal Morandat & Roland Ducournau. « Efficient Separate Compilation of Object-Oriented Languages ». In ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'06), pp. 6. 2006.

Jean Privat & Roland Ducournau. « Link-time static analysis for efficient separate compilation of object-oriented languages ». In Workshop on Program Analysis for Software Tools and Engineering (PASTE'05), Volume 31(1) de SIGSOFT Softw. Eng. Notes, pp. 20—27. ACM, 2006. [doi]

Jean Privat & Roland Ducournau. « Intégration d'optimisations globales en compilation séparée des langages à objets ». In Langages et Modèles à Objets (LMO'04), Volume 10(2-3) de L'objet, pp. 61—74. Hermes, 2004. [doi]

Jean Privat. « Analyse de types et graph d'appels en compilation séparée ». LIRMM, Université Montpellier II, Supervisor: Roland Ducournau. 2002.

Garbage Collector

Nicolas Desnos. « Étude d'un GC pour la technique de coloration bi-directionnelle ». LIRMM, Université Montpellier II, Supervisor: Roland Ducournau & Jean Privat. 2004.