{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:57:49Z","timestamp":1725890269206},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851097"},{"type":"electronic","value":"9783540851103"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85110-3_25","type":"book-chapter","created":{"date-parts":[[2008,7,26]],"date-time":"2008-07-26T06:00:32Z","timestamp":1217052032000},"page":"296-299","source":"Crossref","is-referenced-by-count":0,"title":["Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server"],"prefix":"10.1007","author":[{"given":"J. Santiago","family":"Jorge","sequence":"first","affiliation":[]},{"given":"Victor M.","family":"Gulias","sequence":"additional","affiliation":[]},{"given":"Laura M.","family":"Castro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"The Risks Digest, http:\/\/catless.ncl.ac.uk\/Risks","key":"25_CR1"},{"key":"25_CR2","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice Hall, Englewood Cliffs (1991)"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1017\/S0956796805005502","volume":"15","author":"V.M. Gul\u00edas","year":"2005","unstructured":"Gul\u00edas, V.M., Barreiro, M., Freire, J.L.: VODKA: Developing a video-on-demand server using distributed functional programming. Journal of Functional Programming\u00a015, 403\u2013430 (2005)","journal-title":"Journal of Functional Programming"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P. Hudak","year":"1989","unstructured":"Hudak, P.: Conception, evolution, and application of functional programming languages. ACM Computing Surveys\u00a021, 359\u2013411 (1989)","journal-title":"ACM Computing Surveys"},{"unstructured":"Jorge, J.S.: Estudio de la verificaci\u00f3n de propiedades de programas funcionales: de las pruebas manuales al uso de asistentes de pruebas. PhD thesis, University of A Corun\u0308a, Spain (2004)","key":"25_CR5"},{"doi-asserted-by":"crossref","unstructured":"Jorge, J.S., Gul\u00edas, V.M., Freire, J.L.: Certifying properties of an efficient functional program for computing Gr\u00f6bner bases. Journal of Symbolic Computation (2008)","key":"25_CR6","DOI":"10.1016\/j.jsc.2007.07.016"},{"key":"25_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development, Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Casteran, P.: Interactive Theorem Proving and Program Development, Coq\u2019Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/274930.274933","volume":"33","author":"P. Wadler","year":"1998","unstructured":"Wadler, P.: Functional programming: An angry half dozen. ACM Sigplan Notices\u00a033, 25\u201330 (1998)","journal-title":"ACM Sigplan Notices"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85110-3_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:47Z","timestamp":1619522087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85110-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851097","9783540851103"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85110-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}