{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:13:41Z","timestamp":1725891221504},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314995"},{"type":"electronic","value":"9783642315008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31500-8_10","type":"book-chapter","created":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T15:09:08Z","timestamp":1341328148000},"page":"91-100","source":"Crossref","is-referenced-by-count":0,"title":["Verification of a Heat Diffusion Simulation Written with Orl\u00e9ans Skeleton Library"],"prefix":"10.1007","author":[{"given":"Noman","family":"Javed","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Loulergue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3-4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.cl.2006.07.004","volume":"33","author":"M. Aldinucci","year":"2007","unstructured":"Aldinucci, M., Danelutto, M.: Skeleton-based parallel programming: Functional and parallel semantics in a single shot. Computer Languages, Systems and Structures\u00a033(3-4), 179\u2013192 (2007)","journal-title":"Computer Languages, Systems and Structures"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-03275-2_8","volume-title":"Parallel Computing Technologies","author":"J. Berthold","year":"2009","unstructured":"Berthold, J., Dieterle, M., Lobachev, O., Loogen, R.: Parallel FFT with Eden Skeletons. In: Malyshkin, V. (ed.) PaCT 2009. LNCS, vol.\u00a05698, pp. 73\u201383. Springer, Heidelberg (2009)"},{"key":"10_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development. Springer, Heidelberg (2004)"},{"key":"10_CR4","series-title":"NATO ASI","volume-title":"Constructive Methods in Computing Science","author":"R.S. Bird","year":"1989","unstructured":"Bird, R.S.: Lectures on constructive functional programming. In: Broy, M. (ed.) Constructive Methods in Computing Science. NATO ASI, vol.\u00a055. Springer, Marktoberdorf (1989)"},{"doi-asserted-by":"crossref","unstructured":"Bird, R., de Moor, O.: Algebras of Programming. Prentice Hall (1996)","key":"10_CR5","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-02930-1_8","volume-title":"Automata, Languages and Programming","author":"S. Boldo","year":"2009","unstructured":"Boldo, S.: Floats and Ropes: A Case Study for Formal Numerical Program Verification. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S.E., Thomas, W. (eds.) ICALP 2009. LNCS, vol.\u00a05556, pp. 91\u2013102. Springer, Heidelberg (2009)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-642-14052-5_12","volume-title":"Interactive Theorem Proving","author":"S. Boldo","year":"2010","unstructured":"Boldo, S., Cl\u00e9ment, F., Filli\u00e2tre, J.C., Mayero, M., Melquiond, G., Weis, P.: Formal Proof of a Wave Equation Resolution Scheme: The Method Error. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol.\u00a06172, pp. 147\u2013162. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Caromel, D., Henrio, L., Leyton, M.: Type safe algorithmic skeletons. In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), pp. 45\u201353. IEEE Computer Society (2008)","key":"10_CR8","DOI":"10.1109\/PDP.2008.29"},{"unstructured":"Ciechanowicz, P., Poldner, M., Kuchen, H.: The M\u00fcnster Skeleton Library Muesli \u2013 A Comprenhensive Overview. Tech. Rep. Working Paper No. 7, European Research Center for Information Systems, University of M\u00fcnster, Germany (2009)","key":"10_CR9"},{"unstructured":"Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press (1989)","key":"10_CR10"},{"issue":"3-4","key":"10_CR11","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.cl.2006.07.005","volume":"33","author":"R. Cosmo Di","year":"2007","unstructured":"Di Cosmo, R., Pelagatti, S., Li, Z.: A calculus for parallel computations over multidimensional dense arrays. Computer Language Structures and Systems\u00a033(3-4), 82\u2013110 (2007)","journal-title":"Computer Language Structures and Systems"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Letters to the editor: goto statement considered harmful. Comm. of the ACM\u00a011(3), 147\u2013148 (1968)","journal-title":"Comm. of the ACM"},{"unstructured":"Falcou, J., S\u00e9rot, J.: Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library. In: Bischof, C.H., B\u00fccker, H.M., Gibbon, P., Joubert, G.R., Lippert, T., Mohr, B., Peters, F.J. (eds.) Parallel Computing: Architectures, Algorithms and Applications, ParCo 2007. Advances in Parallel Computing, vol.\u00a015, pp. 243\u2013252. IOS Press (2007)","key":"10_CR13"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1016\/j.parco.2006.06.001","volume":"32","author":"J. Falcou","year":"2006","unstructured":"Falcou, J., S\u00e9rot, J., Chateau, T., Laprest\u00e9, J.T.: Quaff: Efficient C++ Design for Parallel Skeletons. Parallel Computing\u00a032, 604\u2013615 (2006)","journal-title":"Parallel Computing"},{"doi-asserted-by":"crossref","unstructured":"Gesbert, L., Hu, Z., Loulergue, F., Matsuzaki, K., Tesson, J.: Systematic Development of Correct Bulk Synchronous Parallel Programs. In: The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pp. 334\u2013340. IEEE Computer Society (2010)","key":"10_CR15","DOI":"10.1109\/PDCAT.2010.86"},{"issue":"12","key":"10_CR16","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1002\/spe.1026","volume":"40","author":"H. Gonz\u00e1lez-V\u00e9lez","year":"2010","unstructured":"Gonz\u00e1lez-V\u00e9lez, H., Leyton, M.: A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers. Software, Practrice & Experience\u00a040(12), 1135\u20131160 (2010)","journal-title":"Software, Practrice & Experience"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/963778.963780","volume":"26","author":"S. Gorlatch","year":"2004","unstructured":"Gorlatch, S.: Send-receive considered harmful: Myths and realities of message passing. ACM TOPLAS\u00a026(1), 47\u201356 (2004)","journal-title":"ACM TOPLAS"},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1142\/S0129626402000938","volume":"12","author":"M. Hidalgo-Herrero","year":"2002","unstructured":"Hidalgo-Herrero, M., Ortega-Mall\u00e9n, Y.: An Operational Semantics for the Parallel Language Eden. Parallel Processing Letters\u00a012(2), 211\u2013228 (2002)","journal-title":"Parallel Processing Letters"},{"doi-asserted-by":"crossref","unstructured":"Hu, Z., Takeichi, M., Chin, W.N.: Parallelization in calculational forms. In: POPL 1998: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 316\u2013328. ACM Press (1998)","key":"10_CR19","DOI":"10.1145\/268946.268972"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-642-03644-6_34","volume-title":"Advanced Parallel Processing Technologies","author":"N. Javed","year":"2009","unstructured":"Javed, N., Loulergue, F.: OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays. In: Dou, Y., Gruber, R., Joller, J.M. (eds.) APPT 2009. LNCS, vol.\u00a05737, pp. 436\u2013451. Springer, Heidelberg (2009)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-23178-0_4","volume-title":"Parallel Computing Technologies","author":"N. Javed","year":"2011","unstructured":"Javed, N., Loulergue, F.: A Formal Programming Model of Orl\u00e9ans Skeleton Library. In: Malyshkin, V. (ed.) PaCT 2011. LNCS, vol.\u00a06873, pp. 40\u201352. Springer, Heidelberg (2011)"},{"issue":"4","key":"10_CR22","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-009-9155-4","volume":"43","author":"X. Leroy","year":"2009","unstructured":"Leroy, X.: A formally verified compiler back-end. Journal of Automated Reasoning\u00a043(4), 363\u2013446 (2009)","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-642-15291-7_3","volume-title":"Euro-Par 2010 - Parallel Processing","author":"M. Leyton","year":"2010","unstructured":"Leyton, M., Henrio, L., Piquer, J.M.: Exceptions for Algorithmic Skeletons. In: D\u2019Ambra, P., Guarracino, M., Talia, D. (eds.) Euro-Par 2010. LNCS, vol.\u00a06272, pp. 14\u201325. Springer, Heidelberg (2010)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1007\/11428848_132","volume-title":"Computational Science \u2013 ICCS 2005","author":"F. Loulergue","year":"2005","unstructured":"Loulergue, F., Gava, F., Billiet, D.: Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005, Part II. LNCS, vol.\u00a03515, pp. 1046\u20131054. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Matsuzaki, K., Iwasaki, H., Emoto, K., Hu, Z.: A Library of Constructive Skeletons for Sequential Style of Parallel Programming. In: InfoScale 2006: Proceedings of the 1st International Conference on Scalable Information Systems. ACM Press (2006)","key":"10_CR25","DOI":"10.1145\/1146847.1146860"},{"doi-asserted-by":"crossref","unstructured":"Tesson, J., Loulergue, F.: A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation. In: 11th International Conference on Computational Science (ICCS 2011), pp. 36\u201345. Procedia Computer Science, Elsevier (2011)","key":"10_CR26","DOI":"10.1016\/j.procs.2011.04.005"},{"issue":"8","key":"10_CR27","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"L.G. Valiant","year":"1990","unstructured":"Valiant, L.G.: A bridging model for parallel computation. Comm. of the ACM\u00a033(8), 103 (1990)","journal-title":"Comm. of the ACM"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31500-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:04:14Z","timestamp":1620129854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31500-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314995","9783642315008"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31500-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}