{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:03:25Z","timestamp":1725606205296},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642231773"},{"type":"electronic","value":"9783642231780"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23178-0_4","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T03:15:58Z","timestamp":1315624558000},"page":"40-52","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Programming Model of 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":"4_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":"4_CR2","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1016\/S0167-739X(02)00172-3","volume":"19","author":"M. Aldinucci","year":"2003","unstructured":"Aldinucci, M., Danelutto, M., Teti, P.: An advanced environment supporting structured parallel programming in Java. Future Generation Computer Systems\u00a019, 611\u2013626 (2003)","journal-title":"Future Generation Computer Systems"},{"key":"4_CR3","doi-asserted-by":"publisher","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":"4_CR4","unstructured":"Bertot, Y.: Coq in a hurry (2006), \n                    \n                      http:\/\/hal.inria.fr\/inria-00001173"},{"key":"4_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198529392.001.0001","volume-title":"Parallel Scientific Computation. A structured approach using BSP and MPI","author":"R. Bisseling","year":"2004","unstructured":"Bisseling, R.: Parallel Scientific Computation. A structured approach using BSP and MPI. Oxford University Press, Oxford (2004)"},{"key":"4_CR6","first-page":"117","volume-title":"Journ\u00e9es Francophones des Langages Applicatifs (JFLA)","author":"W. Bousdira","year":"2011","unstructured":"Bousdira, W., Gesbert, L., Loulergue, F.: Syntaxe et s\u00e9mantique de Revised Bulk Synchronous Parallel ML. In: Conchon, S., Mahboubi, A. (eds.) Journ\u00e9es Francophones des Langages Applicatifs (JFLA), pp. 117\u2013146. Studia Informatica Universalis, Hermann (2011)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/PDP.2008.29","volume-title":"16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008)","author":"D. Caromel","year":"2008","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, Los Alamitos (2008)"},{"key":"4_CR8","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation.","author":"M. Cole","year":"1989","unstructured":"Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, Cambridge (1989), \n                    \n                      http:\/\/homepages.inf.ed.ac.uk\/mic\/Pubs"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"J. Darlington","year":"1993","unstructured":"Darlington, J., Field, A.J., Harrison, P.G., Kelly, P., Sharp, D., Wu, Q., While, R.: Parallel Programming Using Skeleton Functions. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694. Springer, Heidelberg (1993)"},{"issue":"3-4","key":"4_CR10","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"},{"key":"4_CR11","first-page":"243","volume-title":"Advances in Parallel Computing Parallel Computing: Architectures, Algorithms and Applications, ParCo 2007","author":"J. Falcou","year":"2007","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.) Advances in Parallel Computing Parallel Computing: Architectures, Algorithms and Applications, ParCo 2007, vol.\u00a015, pp. 243\u2013252. IOS Press, Amsterdam (2007)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-45145-7_19","volume-title":"Parallel Computing Technologies","author":"F. Gava","year":"2003","unstructured":"Gava, F., Loulergue, F.: A Polymorphic Type System for Bulk Synchronous Parallel ML. In: Malyshkin, V. (ed.) PaCT 2003. LNCS, vol.\u00a02763, pp. 215\u2013229. Springer, Heidelberg (2003)"},{"key":"4_CR13","first-page":"334","volume-title":"The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)","author":"L. Gesbert","year":"2010","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, Los Alamitos (2010)"},{"issue":"12","key":"4_CR14","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":"2","key":"4_CR15","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"},{"key":"4_CR16","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)"},{"issue":"7","key":"4_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1538788.1538814","volume":"52","author":"X. Leroy","year":"2009","unstructured":"Leroy, X.: Formal verification of a realistic compiler. CACM\u00a052(7), 107\u2013115 (2009)","journal-title":"CACM"},{"issue":"4","key":"4_CR18","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":"4_CR19","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)"},{"issue":"15","key":"4_CR20","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"3","author":"R. Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mallen, Y., Pena-Mari, R.: Parallel functional programming in eden. Journal of Functional Programming\u00a03(15), 431\u2013475 (2005)","journal-title":"Journal of Functional Programming"},{"key":"4_CR21","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. LNCS, vol.\u00a03515, pp. 1046\u20131054. Springer, Heidelberg (2005)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0167-739X(96)00030-1","volume":"12","author":"W.F. McColl","year":"1996","unstructured":"McColl, W.F.: Scalability, portability and predictability: The BSP approach to parallel programming. Future Generation Computer Systems\u00a012, 265\u2013272 (1996)","journal-title":"Future Generation Computer Systems"},{"key":"4_CR23","volume-title":"Structured Development of Parallel Programs","author":"S. Pelagatti","year":"1998","unstructured":"Pelagatti, S.: Structured Development of Parallel Programs. Taylor & Francis, Abington (1998)"},{"volume-title":"Patterns and Skeletons for Parallel and Distributed Computing","year":"2003","key":"4_CR24","unstructured":"Rabhi, F.A., Gorlatch, S. (eds.): Patterns and Skeletons for Parallel and Distributed Computing. Springer, Heidelberg (2003)"},{"issue":"3","key":"4_CR25","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1155\/1997\/532130","volume":"6","author":"D.B. Skillicorn","year":"1997","unstructured":"Skillicorn, D.B., Hill, J.M.D., McColl, W.F.: Questions and Answers about BSP. Scientific Programming\u00a06(3), 249\u2013274 (1997)","journal-title":"Scientific Programming"},{"key":"4_CR26","unstructured":"The Coq Development Team: The Coq Proof Assistant, \n                    \n                      http:\/\/coq.inria.fr"},{"issue":"8","key":"4_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"},{"key":"4_CR28","unstructured":"Veldhuizen, T.: Techniques for Scientific C++. Computer science technical report 542, Indiana University (2000)"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume-title":"Advanced Functional Programming","author":"P. Wadler","year":"1995","unstructured":"Wadler, P.: Monads for Functional Programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol.\u00a0925, pp. 24\u201352. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23178-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T01:44:02Z","timestamp":1554255842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23178-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642231773","9783642231780"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23178-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}