{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:31:06Z","timestamp":1736314266493,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055422X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0038661","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:11:55Z","timestamp":1138198315000},"page":"122-136","source":"Crossref","is-referenced-by-count":0,"title":["An executable representation of distance and direction"],"prefix":"10.1007","author":[{"given":"R.","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Pingali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A. V. Aho","year":"1986","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986."},{"key":"8_CR2","volume-title":"Technical Report 114a","author":"Arvind","year":"1978","unstructured":"Arvind, K. P. Gostelow, and W. Plouffe. An asynchronous programming language and computing machine. Technical Report 114a, Univ. of Calif., Irvine, Dec. 1978."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"R. A. Ballance, A. B. Maccabe, and K. J. Ottenstein. The Program Dependence Web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages. In Proc. of the 1990 SIGPLAN Conference on Programming Language Design and Implementation, pages 257\u2013271, June 1990.","DOI":"10.1145\/93548.93578"},{"key":"8_CR4","volume-title":"Recursive Programming Techniques","author":"W. H. Burge","year":"1975","unstructured":"W. H. Burge. Recursive Programming Techniques. Addison-Wesley, Reading, MA, 1975."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"R. Cartwright and M. Felleisen. The semantics of program dependence. In Proc. of the 1989 SIGPLAN Conference on Programming Language Design and Implementation, pages 13\u201327, June 1989.","DOI":"10.1145\/73141.74820"},{"key":"8_CR6","unstructured":"J.-D. Choi. personal communication, 1991."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousout and R. Cousout. Abstract Interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixpoints. Proc. of the 4th ACM Symposium on Principles of Programming Languages, pages 238\u2013252, Jan. 1977.","DOI":"10.1145\/512950.512973"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. An efficient method of computing static single assignment form. In Proc. of the 16th ACM Symposium on Principles of Programming Languages, pages 25\u201335, Jan. 1989.","DOI":"10.1145\/75277.75280"},{"key":"8_CR9","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ, 1976."},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependency graph and its uses in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319\u2013349, June 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"S. Horwitz. Identifying the semantic and textual differences between two versions of a program. In Proc. of the 1990 SIGPLAN Conference on Programming Language Design and Implementation, pages 234\u2013245, 1990.","DOI":"10.1145\/93542.93574"},{"key":"8_CR12","unstructured":"G. L. S. Jr. and G. J. Sussman. Scheme: An interpreter for extended lambda calculus. Technical Report Memo 349, M.I.T. Artificial Intellegence Laboratory, 1975."},{"key":"8_CR13","volume-title":"The Structure of Computers and Computations, volume 1","author":"D. J. Kuck","year":"1978","unstructured":"D. J. Kuck. The Structure of Computers and Computations, volume 1. John Wiley and Sons, New York, 1978."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"K. Pingali, M. Beck, R. Johnson, M. Moudgill, and P. Stodghill. Dependence Flow Graphs: An algebraic approach to program dependencies. In Proc. of the 18th ACM Symposium on Principles of Programming Languages, pages 67\u201378, Jan. 1991.","DOI":"10.1145\/99583.99595"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"B. Rosen. Linear time is sometimes quadratic. In Proc. of the 8th ACM Symposium on Principles of Programming Languages, Jan. 1981.","DOI":"10.1145\/567532.567545"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"R. P. Selke. A rewriting semantics for program dependence graphs. In Proc. of the 16th ACM Symposium on Principles of Programming Languages, pages 12\u201324, 1989.","DOI":"10.1145\/75277.75279"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"M. N. Wegman and F. K. Zadeck. Constant propagation with conditional branches. In Proc. of the 11th ACM Symposium on Principles of Programming Languages, pages 291\u2013299, 1984.","DOI":"10.1145\/318593.318659"},{"key":"8_CR18","volume-title":"Optimizing Supercompilers for Supercomputers","author":"M. Wolfe","year":"1989","unstructured":"M. Wolfe. Optimizing Supercompilers for Supercomputers. Pitman Publishing, London, 1989."}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0038661.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T11:19:38Z","timestamp":1736248778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0038661"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055422X"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0038661","relation":{},"subject":[]}}