{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T22:18:35Z","timestamp":1778537915796,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642338250","type":"print"},{"value":"9783642338267","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_19","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:46:25Z","timestamp":1348613185000},"page":"278-292","source":"Crossref","is-referenced-by-count":1,"title":["ML Dependency Analysis for Assessors"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Ayrault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Benayoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Pessaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: Appel, A.W., Aiken, A. (eds.) POPL, pp. 147\u2013160. ACM (1999)","DOI":"10.1145\/292540.292555"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lampson, B.W., L\u00e9vy, J.-J.: Analysis and caching of dependencies. In: Harper, R., Wexelblat, R.L. (eds.) ICFP, pp. 83\u201391. ACM (1996)","DOI":"10.1145\/232629.232638"},{"key":"19_CR3","unstructured":"Ayrault, P.: D\u00e9veloppement de logiciel critique en Focalize. M\u00e9thodologie et outils pour l\u2019\u00e9valuation de conformit\u00e9. PhD thesis, Universit\u00e9 Pierre et Marie Curie - LIP6 (2011)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Consel, C.: Binding time analysis for high order untyped functional languages. In: LISP and Functional Programming, pp. 264\u2013272. ACM (1990)","DOI":"10.1145\/91556.91668"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Aho, A.V., Zilles, S.N., Rosen, B.K. (eds.) POPL, pp. 269\u2013282. ACM Press (1979)","DOI":"10.1145\/567752.567778"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-540-70952-7_20","volume-title":"Formal Methods: Applications and Technology","author":"A. Fehnker","year":"2007","unstructured":"Fehnker, A., Huuck, R., Jayet, P., Lussenburg, M., Rauch, F.: Goanna\u2014A Static Model Checker. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, pp. 297\u2013300. Springer, Heidelberg (2007)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The slam calculus: Programming with secrecy and integrity. In: MacQueen, D.B., Cardelli, L. (eds.) POPL, pp. 365\u2013377. ACM (1998)","DOI":"10.1145\/268946.268976"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Jones, S.L.P., Eber, J.-M., Seward, J.: Composing contracts: an adventure in financial engineering, functional pearl. In: Odersky and Wadler [11], pp. 280\u2013292","DOI":"10.1145\/357766.351267"},{"issue":"4","key":"19_CR9","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1017\/S095679680800676X","volume":"18","author":"Y. Minsky","year":"2008","unstructured":"Minsky, Y., Weeks, S.: Caml trading - experiences with functional programming on wall street. J. Funct. Program.\u00a018(4), 553\u2013564 (2008)","journal-title":"J. Funct. Program."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Nielson, H.R., Nielson, F.: Automatic binding time analysis for a typed lambda-calculus. In: Ferrante, J., Mager, P. (eds.) POPL, pp. 98\u2013106. ACM Press (1988)","DOI":"10.1145\/73560.73569"},{"key":"19_CR11","unstructured":"Odersky, M., Wadler, P. (eds.): Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), Montreal, Canada, September 18-21. ACM (2000)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-77442-6_2","volume-title":"Practical Aspects of Declarative Languages","author":"B. Pagano","year":"2008","unstructured":"Pagano, B., Andrieu, O., Canou, B., Chailloux, E., Cola\u00e7o, J.-L., Moniot, T., Wang, P.: Certified Development Tools Implementation in Objective Caml. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 2\u201317. Springer, Heidelberg (2008)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Pottier, F., Conchon, S.: Information flow inference for free. In: Odersky and Wadler [11], pp. 46\u201357","DOI":"10.1145\/357766.351245"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Pottier, F., Simonet, V.: Information flow inference for ml. In: Launchbury, J., Mitchell, J.C. (eds.) POPL, pp. 319\u2013330. ACM (2002)","DOI":"10.1145\/565816.503302"},{"key":"19_CR15","unstructured":"Standard Cenelec EN 50128. Railway Applications - Communications, Signaling and Processing Systems - Software for Railway Control and Protection Systems (1999)"},{"key":"19_CR16","unstructured":"Standard IEC-61508, International Electrotechnical Commission. Functional safety of electrical\/electronic\/programmable electronic safety-related systems (1998)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Tang, Y.M., Jouvelot, P.: Effect systems with subtyping. In: Jones, N.D. (ed.) PEPM, pp. 45\u201353. ACM Press (1995)","DOI":"10.1145\/215465.215552"},{"key":"19_CR18","unstructured":"Tip, F.: A survey of program slicing techniques. Technical report, Amsterdam, The Netherlands (1994)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:22:12Z","timestamp":1620130932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}