{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:10:29Z","timestamp":1742436629892,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642276934"},{"type":"electronic","value":"9783642276941"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_12","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:40Z","timestamp":1328654320000},"page":"153-167","source":"Crossref","is-referenced-by-count":5,"title":["Palovca: Describing and Executing Graph Algorithms in Haskell"],"prefix":"10.1007","author":[{"given":"Michael","family":"Lesniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Grama, A., Karypis, G., Kumar, V., Gupta, A.: Introduction to Parallel Computing, 2nd edn. Addison Wesley (January 2003)"},{"issue":"8","key":"12_CR2","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. Commun. ACM\u00a033(8), 103\u2013111 (1990)","journal-title":"Commun. ACM"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.jcss.2010.06.012","volume":"77","author":"L.G. Valiant","year":"2008","unstructured":"Valiant, L.G.: A bridging model for multi-core computing. Journal of Computer and System Sciences\u00a077(1), 154\u2013166 (2008)","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR4","first-page":"135","volume-title":"Proceedings of the 2010 International Conference on Management of Data, SIGMOD 2010","author":"G. Malewicz","year":"2010","unstructured":"Malewicz, G., Austern, M.H., Bik, A.J.C., Dehnert, J.C., Horn, I., Leiser, N., Czajkowski, G.: Pregel: a system for large-scale graph processing. In: Proceedings of the 2010 International Conference on Management of Data, SIGMOD 2010, pp. 135\u2013146. ACM, New York (2010)"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2896-5","volume-title":"The Verilog hardware description language","author":"D.E. Thomas","year":"1998","unstructured":"Thomas, D.E., Moorby, P.R.: The Verilog hardware description language, 4th edn. Kluwer Academic Publishers, Norwell (1998)","edition":"4"},{"key":"12_CR6","volume-title":"The relational model for database management: version 2","author":"E.F. Codd","year":"1990","unstructured":"Codd, E.F.: The relational model for database management: version 2. Addison-Wesley Longman Publishing Co., Inc., Boston (1990)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Modular domain specific languages and tools. In: Proceedings of Fifth International Conference on Software Reuse, pp. 134\u2013142. IEEE Computer Society Press (1998)","DOI":"10.1109\/ICSR.1998.685738"},{"issue":"8","key":"12_CR8","first-page":"795","volume":"9","author":"N.M.M. Alves","year":"2003","unstructured":"Alves, N.M.M., de Mello Schneider, S.: Implementation of an embedded hardware description language using haskell. Journal of Universal Computer Science\u00a09(8), 795\u2013812 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Elliott, C.: Programming graphics processors functionally. In: Proceedings of the 2004 Haskell Workshop. ACM Press (2004)","DOI":"10.1145\/1017472.1017482"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Elliott, C.: Tangible functional programming. In: International Conference on Functional Programming (2007)","DOI":"10.1145\/1291151.1291163"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/351240.351267","volume-title":"Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000","author":"S.P. Jones","year":"2000","unstructured":"Jones, S.P., Eber, J.M., Seward, J.: Composing contracts: an adventure in financial engineering (functional pearl). In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000, pp. 280\u2013292. ACM, New York (2000)"},{"key":"12_CR12","unstructured":"GitHub: Repository with source code, http:\/\/github.com\/mlesniak\/palovca"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Brin, S., Page, L.: The anatomy of a large-scale hypertextual web search engine. In: Seventh International World-Wide Web Conference, WWW 1998 (1998)","DOI":"10.1016\/S0169-7552(98)00110-X"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0167-8191(02)00218-1","volume":"29","author":"O. Bonorden","year":"2003","unstructured":"Bonorden, O., Juurlink, B.H., von Otte, I., Rieping, I.: The paderborn university bsp (pub) library. Parallel Computing\u00a029(2), 187\u2013207 (2003)","journal-title":"Parallel Computing"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Goudreau, M.W., Lang, K., Rao, S.B., Suel, T., Tsantilas, T.: Portable and efficient parallel computing using the bsp model. IEEE Trans. Comput. 48 (July 1999)","DOI":"10.1109\/12.780876"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45361-X_4","volume-title":"Implementation of Functional Languages","author":"R.F. Pointon","year":"2001","unstructured":"Pointon, R.F., Trinder, P.W., Loidl, H.-W.: The Design and Implementation of Glasgow Distributed Haskell. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 53\u201370. Springer, Heidelberg (2001)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Brown, N.C.C.: Communicating haskell processes: Composable explicit concurrency using monads. In: Welch, P.H., Stepney, S., Polack, F., Barnes, F.R.M., McEwan, A.A., Stiles, G.S., Broenink, J.F., Sampson, A.T. (eds.) CPA. Concurrent Systems Engineering Series, vol.\u00a066, pp. 67\u201383. IOS Press (2008)","DOI":"10.3233\/978-1-58603-907-3-67"},{"key":"12_CR18","unstructured":"Jones, S.L.P., Leshchinskiy, R., Keller, G., Chakravarty, M.M.T.: Harnessing the multicores: Nested data parallelism in haskell. In: Hariharan, R., Mukund, M., Vinay, V. (eds.) FSTTCS. LIPIcs, vol.\u00a02, pp. 383\u2013414. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2008)"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s00165-004-0028-7","volume":"16","author":"A. Stewart","year":"2004","unstructured":"Stewart, A., Clint, M., Gabarr\u00f3, J.: Barrier synchronisation: Axiomatisation and relaxation. Formal Aspects of Computing\u00a016, 36\u201350 (2004)","journal-title":"Formal Aspects of Computing"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"King, D.J., Launchbury, J.: Lazy depth-first search and linear graph algorithms in haskell. GLA, 145\u2013155 (1994)","DOI":"10.1007\/978-1-4471-3236-3_12"},{"key":"12_CR22","unstructured":"Anand, C.K., Kahl, W.: A domain-specific language for the generation of optimized SIMD-parallel assembly code. SQRL Report\u00a043, Software Quality Research Laboratory, McMaster University (May 2007)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:40:00Z","timestamp":1742434800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}