M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke, A core calculus of dependency, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, pp.147-160, 1999.
DOI : 10.1145/292540.292555

M. Abadi, B. W. Lampson, and J. Lévy, Analysis and caching of dependencies, Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP'96), pp.83-91, 1996.

P. Ayrault, Développement de logiciel critique en Focalize Méthodologie et outils pour l'´ evaluation de conformité, 2011.

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778

A. Fehnker, R. Huuck, P. Jayet, M. Lussenburg, and F. Rauch, Goanna???A Static Model Checker, Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology, FMICS'06/PDMC'06, pp.297-300, 2007.
DOI : 10.1007/978-3-540-70952-7_20

N. Heintze and J. G. Riecke, The SLam calculus, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.365-377, 1998.
DOI : 10.1145/268946.268976

Y. Minsky and S. Weeks, Caml trading – experiences with functional programming on wall street, J. Funct. Program, vol.18, issue.4, pp.553-564, 2008.

F. Nielson and R. H. Nielson, Automatic binding time analysis for a typed ?calculus, Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages, POPL '88, pp.98-106, 1988.

B. Pagano, O. Andrieu, B. Canou, E. Chailloux, J. Colaço et al., Certified Development Tools Implementation in Objective Caml, Proceedings of the 10th international conference on Practical aspects of declarative languages, PADL'08, pp.2-17, 2008.
DOI : 10.1007/978-3-540-77442-6_2
URL : https://hal.archives-ouvertes.fr/hal-00319700

S. , P. Jones, J. Eber, and J. Seward, Composing contracts: an adventure in financial engineering (functional pearl), Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, ICFP '00, pp.280-292, 2000.

F. Pottier and S. Conchon, Information flow inference for free, Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), pp.46-57, 2000.

F. Pottier and V. Simonet, Information flow inference for ML, Proceedings of the 29th ACM Symposium on Principles of Programming Languages (POPL'02), pp.319-330, 2002.

I. Standard, International Electrotechnical Commission. Functional safety of electrical/electronic/programmable electronic safety-related systems, 1998.

Y. M. Tang and P. Jouvelot, Effect systems with subtyping, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '95, pp.45-53, 1995.
DOI : 10.1145/215465.215552

F. Tip, A survey of program slicing techniques, 1994.