Author:
Ayrault Philippe,Benayoun Vincent,Dubois Catherine,Pessaux François
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: Appel, A.W., Aiken, A. (eds.) POPL, pp. 147–160. ACM (1999)
2. Abadi, M., Lampson, B.W., Lévy, J.-J.: Analysis and caching of dependencies. In: Harper, R., Wexelblat, R.L. (eds.) ICFP, pp. 83–91. ACM (1996)
3. Ayrault, P.: Développement de logiciel critique en Focalize. Méthodologie et outils pour l’évaluation de conformité. PhD thesis, Université Pierre et Marie Curie - LIP6 (2011)
4. Consel, C.: Binding time analysis for high order untyped functional languages. In: LISP and Functional Programming, pp. 264–272. ACM (1990)
5. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Aho, A.V., Zilles, S.N., Rosen, B.K. (eds.) POPL, pp. 269–282. ACM Press (1979)