{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T02:08:16Z","timestamp":1746497296256},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668183"},{"type":"electronic","value":"9783540466970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704054_15","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T01:54:19Z","timestamp":1167357259000},"page":"142-153","source":"Crossref","is-referenced-by-count":60,"title":["Loci: A Deductive Framework for Graph-Based Algorithms"],"prefix":"10.1007","author":[{"given":"Edward A.","family":"Luke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-49372-7_6","volume-title":"Computing in Object-Oriented Parallel Environments","author":"J.G. Siek","year":"1998","unstructured":"Siek, J.G., Lumsdaine, A.: The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra. In: Caromel, D., Oldehoeft, R.R., Tholburn, M. (eds.) ISCOPE 1998. LNCS, vol.\u00a01505, pp. 59\u201370. Springer, Heidelberg (1998)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-49372-7_24","volume-title":"Computing in Object-Oriented Parallel Environments","author":"T.L. Veldhuizen","year":"1998","unstructured":"Veldhuizen, T.L.: Arrays in Blitz++. In: Caromel, D., Oldehoeft, R.R., Tholburn, M. (eds.) ISCOPE 1998. LNCS, vol.\u00a01505, pp. 223\u2013230. Springer, Heidelberg (1998)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-49372-7_25","volume-title":"Computing in Object-Oriented Parallel Environments","author":"S. Karmesin","year":"1998","unstructured":"Karmesin, S., Crotinger, J., Cummings, J., Haney, S., Humphrey, W., Reynders, J., Smith, S., Williams, T.: Array design and expression evaluation in POOMA II. In: Caromel, D., Oldehoeft, R.R., Tholburn, M. (eds.) ISCOPE 1998. LNCS, vol.\u00a01505, pp. 231\u2013238. Springer, Heidelberg (1998)"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-1-4612-1986-6_8","volume-title":"Modern Software Tools in Scientific Computing","author":"S. Balay","year":"1997","unstructured":"Balay, S., Gropp, W.D., McInnes, L.C., Smith, B.F.: Efficient management of parallelism in object-oriented numerical software libraries. In: Arge, E., Bruaset, A.M., Langtangen, H.P. (eds.) Modern Software Tools in Scientific Computing, pp. 163\u2013202. Birkhauser Press, Basel (1997)"},{"key":"15_CR5","unstructured":"Kohn, S.R.: A Parallel Software Infrastructure for Dynamic Block-Irregular Scientific Calculations. PhD thesis, University of California, San Diego (1995)"},{"key":"15_CR6","volume-title":"Strand: New Concepts in Parallel Programming","author":"I. Foster","year":"1990","unstructured":"Foster, I., Taylor, S.: Strand: New Concepts in Parallel Programming. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"15_CR7","first-page":"451","volume-title":"Program Specification and Transformation","author":"R.S. Bird","year":"1987","unstructured":"Bird, R.S., Meertens, L.: Two exercises found in a book on algorithmics. In: Meertens, L.G.L.T. (ed.) Program Specification and Transformation, pp. 451\u2013457. North-Holland, Amsterdam (1987)"},{"key":"15_CR8","unstructured":"Luke, E.A.: A Rule-Based Specification System for Computational Fluid Dynamics. PhD thesis, Mississippi State University (December 1999)"},{"key":"15_CR9","unstructured":"Barszcz, E., Fatoohi, R., Venkatakrishnan, V., Weeratunga, S.: Solution of regular, sparse triangular linear systems on vector and distributed-memory multicomputers. Technical report, NASA Ames Research Center, Report RNR-93-007, NASA Ames Research Center, Moffett Field CA 94035 (April 1993)"},{"key":"15_CR10","unstructured":"Janus, J.M.: Advanced 3-D Algorithm for Turbomachinery. PhD thesis, Mississippi State University (May 1989)"}],"container-title":["Lecture Notes in Computer Science","Computing in Object-Oriented Parallel Environments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704054_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T04:34:26Z","timestamp":1553056466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704054_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668183","9783540466970"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/10704054_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}