{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:10:55Z","timestamp":1759032655744},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613176"},{"type":"electronic","value":"9783540684572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0013504","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:54:12Z","timestamp":1132736052000},"page":"385-395","source":"Crossref","is-referenced-by-count":4,"title":["Where does GOTO Go to?"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Gellerich","sequence":"first","affiliation":[]},{"given":"Markus","family":"Kosiol","sequence":"additional","affiliation":[]},{"given":"Erhard","family":"Ploedereder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"30_CR1","unstructured":"Ada 95 Reference Manual Intermetrics, Inc., 1995, ANSI\/ISO\/IEC-8652:1995."},{"key":"30_CR2","unstructured":"M. M. Brandis. Building an Optimizing Compiler for Oberon: Implications on Programming Language Design. In P. Schulthess, editor, Advances in Modular Languages, pages 123\u2013135. Universitaetsverlag Ulm GmbH (address: Postfach 4204; D-89032 Ulm; Germany), 1994. (Proceedings of the Joint Modular Languages Conference 1994)."},{"key":"30_CR3","unstructured":"M.M. Brandis. Optimizing Compilers for Structured Programming Languages. PhD thesis, ETH Zuerich, 1995. ftp.inf.ethz.ch:\/doc\/diss\/th11024.ps.gz."},{"key":"30_CR4","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 16nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 25\u201335. ACM, 1989.","DOI":"10.1145\/75277.75280"},{"issue":"3","key":"30_CR5","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"E.W. Dijkstra. Goto Statement Considered Harmful. Communications of the ACM, 11(3):147\u2013148, March 1968.","journal-title":"Communications of the ACM"},{"key":"30_CR6","unstructured":"A.M. Erosa and L.J. Hendren. Taming control flow: A structured approach to eliminating goto statements. In Proceedings of IEEE 1994 International Conference on Computer Languages, May 1994. ftpwally.cs.mcgill.ca\/pub\/doc\/memos\/memo76.ps.gz."},{"issue":"4","key":"30_CR7","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron et al., Efficiently Computing Single Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, 13(4):451\u2013490, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"30_CR8","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 Dependence Graph and its Use in Optimization. ACM Transactions on Programming Languages and Systems, 9(3):319\u2013349, July 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"30_CR9","unstructured":"A.E. Fischer and F.S. Grodzinsky. The Anatomy of Programming Languages. Prentice-Hall, 1993."},{"key":"30_CR10","unstructured":"Free Software Foundation, 59 Temple Place \u2014 Suite 330, Boston, MA 02111-1307 USA. Using and Porting GNU CC, 1995. (for GCC Version 2.7.2)."},{"key":"30_CR11","unstructured":"Gnu ada translator (gnat) documentation, 1995. (ftpcs.nyu.edu:\/pub\/gnat)."},{"key":"30_CR12","unstructured":"G. Goos and J. Hartmanis (eds). The Programming Language Ada Reference Manual. Springer, 1983."},{"key":"30_CR13","unstructured":"R. Griesemer. A Programming Language for Vector Computers. PhD thesis, ETH Zuerich, 1993. ftp.inf.ethz.ch: \/doc\/diss\/th10277.ps.gz."},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"P. Havlak. Construction of Thinned Gated Single-Assignment Form. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing, pages 478\u2013499, 1993.","DOI":"10.1007\/3-540-57659-2_28"},{"key":"30_CR15","unstructured":"B.W. Kernighan and D.M. Ritchie. The C programming language. Prentice Hall, 2. edition, 1988."},{"key":"30_CR16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/spe.4380010203","volume":"1","author":"D.E. Knuth","year":"1971","unstructured":"D.E. Knuth. An Empirical Study of Fortran Programs. Software \u2014 Practice and Experience, 1:105\u2013133, 1971.","journal-title":"Software \u2014 Practice and Experience"},{"key":"30_CR17","unstructured":"K.C. Louden. Programming Languages. PWS-KENT Publishing Company, 1993."},{"key":"30_CR18","unstructured":"Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, California 95051-0951. Rational Apex Programmer's Reference Manual, December 1993. Revision 2.0 (software release 1.2)."},{"key":"30_CR19","unstructured":"R.W. Sebesta. Concepts of Programming Languages. The Benjamin-Cummings Publishing Company, 2. edition, 1993."},{"key":"30_CR20","series-title":"Technical Report","volume-title":"Aflex \u2014 An Ada Lexical Analyzer Generator","author":"J. Self","year":"1990","unstructured":"J. Self. Aflex \u2014 An Ada Lexical Analyzer Generator. Technical Report UCI-90-18, University of California, Irvine, May 1990."},{"key":"30_CR21","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, 2. edition, 1993."},{"key":"30_CR22","series-title":"Technical Report","volume-title":"Ayacc User's Manual","author":"D. Taback","year":"1994","unstructured":"D. Taback and D. Tolani. Ayacc User's Manual. Technical Report UCI-94-01, University of California, Irvine, March 1994."},{"key":"30_CR23","unstructured":"M.J. Wolfe. High-Performance Compilers for Parallel Computing. Addison-Wesley, 1995."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:45:52Z","timestamp":1586580352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613176","9783540684572"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0013504","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}