{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:10:11Z","timestamp":1737288611671,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428626"},{"type":"electronic","value":"9783540455745"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45574-4_15","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:48:41Z","timestamp":1184600921000},"page":"227-243","source":"Crossref","is-referenced-by-count":10,"title":["Optimizing the Use of High Performance Software Libraries"],"prefix":"10.1007","author":[{"given":"Samuel Z.","family":"Guyer","sequence":"first","affiliation":[]},{"given":"Calvin","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,4]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"P.V. Artigas, M. G upta, S.P. Midkiff, and J.E. Moreira. High performance numerical computing in Java: language and compiler issues. In Workshop on Languages and Compilers for Parallel Computing, 1999.","DOI":"10.1007\/3-540-44905-1_1"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"G. Baker, J. Gunnels, G. Morrow, B. Riviere, and R. van de Geijn. PLAPACK: high performance through high level abstractions. In Proceedings of the International Conference on Parallel Processing, 1998.","DOI":"10.1109\/ICPP.1998.708513"},{"issue":"12","key":"15_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/2.62091","volume":"23","author":"A. Berlin","year":"1990","unstructured":"A. Berlin and D. Weise. Compiling scientific programs using partial evaluation. IEEE Computer, 23(12):23\u201337, December 1990.","journal-title":"IEEE Computer"},{"issue":"6","key":"15_CR4","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/93548.93585","volume":"25","author":"David R. Chase","year":"1990","unstructured":"David R. Chase, MarkWegman, and F. Kenneth Zadeck. Analysis of pointers and structures. ACM SIGPLAN Notices, 25(6):296\u2013310, June 1990.","journal-title":"ACM SIGPLAN Notices"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"S. C hiba. A metaobject protocol for C++. In Proceedings of the Conference on Object Oriented Programming Systems, Languages and Applications, pages 285\u2013299, October 1995.","DOI":"10.1145\/217838.217868"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Michael Burke, and Paul Carini. Efficient flow-sensitive inter-procedural computation of pointer-induced aliases and side effects. In ACM Symposium on Principles of Programming Languages, pages 232\u2013245, 1993.","DOI":"10.1145\/158511.158639"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In ACM Symposium on Principles of Programming Languages, pages 493\u2013501, 1993.","DOI":"10.1145\/158511.158707"},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, August 1992.","journal-title":"Journal of Logic and Computation"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In ACMConference on Programming Language Design and Implementation, pages 242\u2013256, June 20-24, 1994.","DOI":"10.1145\/178243.178264"},{"key":"15_CR10","unstructured":"Dawson R. Engler. Incorporating application semantics and control into compilation. In Proceedings of the Conference on Domain-Specific Languages (DSL-97), pages 103\u2013118, Berkeley, October15-17 1997. USENIX Association."},{"key":"15_CR11","unstructured":"Message Passing Interface Forum. MPI: A message passing interface standard. International Journal of Supercomputing Applications, 8(3\/4), 1994."},{"issue":"6","key":"15_CR12","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1007\/BF03356759","volume":"24","author":"R. Ghiya","year":"1996","unstructured":"Rakesh Ghiya and Laurie J. Hendren. Connection analysis: A practical interprocedural heap analysis for C. International Journal of Parallel Programming, 24(6):547\u2013578, December 1996.","journal-title":"International Journal of Parallel Programming"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Samuel Z. Guyer and Calvin Lin. An annotation language for optimizing software libraries. In Second Conference on Domain Specific Languages, pages 39\u201352, October 1999.","DOI":"10.1145\/331960.331970"},{"key":"15_CR14","unstructured":"Samuel Z. Guyer and Calvin Lin. Broadway: A software architecture for scientific computing. In IFIPS Working Group 2.5: Software Architectures for Scientific Computing Applications, (to appear) October 2000."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Neil D. Jones and Flemming Nielson. Abstract interpretation: a semantics-based tool for program analysis. In Handbook of Logic in Computer Science. Oxford University Press, 1994. 527\u2013629.","DOI":"10.1093\/oso\/9780198537809.003.0005"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/s100090050017","volume":"2","author":"F. Martin","year":"1998","unstructured":"Florian Martin. PAG-an efficient program analyzer generator. International Journal on Software Tools for Technology Transfer, 2(1):46\u201367, 1998.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"15_CR17","volume-title":"Advanced Compiler Design and Implementation","author":"S. S. Muchnick","year":"1997","unstructured":"Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kauffman, San Francico, CA, 1997."},{"key":"15_CR18","series-title":"Lect Notes Comput Sci","volume-title":"4th International Static Analysis Symposium","author":"M. Shapiro","year":"1997","unstructured":"M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In 4th International Static Analysis Symposium, Lecture Notes in Computer Science, Vol. 1302, 1997."},{"key":"15_CR19","unstructured":"Robert van de Geijn. Using PLAPACK-Parallel Linear Algebra Package. The MIT Press, 1997."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Daniel Weise and Roger Crew. Programmable syntax macros. In Proceedings of the Conference on Programming Language Design and Implementation, pages 156\u2013165, June 1993.","DOI":"10.1145\/155090.155105"},{"issue":"6","key":"15_CR21","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/113446.113456","volume":"26","author":"D. Whitfield","year":"1991","unstructured":"Deborah Whitfield and Mary Lou Soffa. Automatic generation of global optimizers. ACM SIGPLAN Notices, 26(6):120\u2013129, June 1991.","journal-title":"ACM SIGPLAN Notices"},{"key":"15_CR22","unstructured":"Robert P. Wilson. Efficient, Context-sensitive Pointer Analysis for C Programs. PhD thesis, Stanford University, Department of Electrical Engineering, 1997."}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45574-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:38:30Z","timestamp":1737286710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45574-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428626","9783540455745"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45574-4_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}