{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T00:31:37Z","timestamp":1699835497757},"reference-count":25,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":10710,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1977,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes a language for studying the behaviour of programs, based upon the data collected while these programs are executed by a computer. Besides being a useful tool in debugging, the language is also valuable in the experimental evaluation of the complexity of algorithms, in studying the interdependence of conditionals in a program and in determining the feasibility of transporting programs from one machine to another. The program one wishes to analyse is written in an Algol 60\u2010like language; when the program is executed it automatically stores, in a data base, the information needed to answer general questions about computational events which occurred during execution. This information consists (basically) of the list of labels passed while the program is being executed, and the current values of the variables. Since the list of labels is describable by regular expressions, these expressions can also be used to identify specific subparts of the list and therefore allow access to the values of the variables. This constitutes the basis for the design of the inquiry language. The user's questions are automatically answered by a processor which inspects the previously generated data base. The paper also presents examples of the use of the language and describes the implementation of its processor.<\/jats:p>","DOI":"10.1002\/spe.4380070403","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T12:37:20Z","timestamp":1163767040000},"page":"445-460","source":"Crossref","is-referenced-by-count":16,"title":["A language for inquiring about the run\u2010time behaviour of programs"],"prefix":"10.1002","volume":"7","author":[{"given":"Jacques","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neal","family":"Carpenter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"The Art of Computer Programming","author":"Knuth D. E.","year":"1968"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380010203"},{"key":"e_1_2_1_4_2","volume-title":"Compiler Optimization, 2nd Courant Computer Science Symp","author":"Ingalls D.","year":"1972"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01951942"},{"key":"e_1_2_1_6_2","volume-title":"Debugging Techniques in Large Systems, 1st Courant Computer Science Symposium","author":"Schwartz J. T.","year":"1971"},{"key":"e_1_2_1_7_2","volume-title":"Automata Studies","author":"Kleene S. C.","year":"1956"},{"key":"e_1_2_1_8_2","volume-title":"The Theory of Parsing, Translation and Compiling","author":"Aho A. V.","year":"1972"},{"key":"e_1_2_1_9_2","volume-title":"Computation: Finite and Infinite Machines","author":"Minsky M.","year":"1967"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/355616.361015"},{"key":"e_1_2_1_11_2","volume-title":"Debugging Techniques in Large Systems, 1st Courant Computer Science Symp","author":"Grishman R.","year":"1971"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/356589.356591"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/321105.321107"},{"key":"e_1_2_1_14_2","volume-title":"FJCC","author":"Beizer B.","year":"1970"},{"key":"e_1_2_1_15_2","unstructured":"C. V.Ramamoorthy \u2018Discrete Markov analysis of computer programs\u2019 ACM 20th National Conf. 1965."},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/356635.356640"},{"key":"e_1_2_1_17_2","first-page":"707","article-title":"Computer science and mathematics","volume":"61","author":"Knuth D. E.","year":"1973","journal-title":"American Scientist"},{"key":"e_1_2_1_18_2","volume-title":"Algol 60 Implementation","author":"Randell B.","year":"1964"},{"key":"e_1_2_1_19_2","volume-title":"A Compiler Generator","author":"Cohen J.","year":"1972"},{"issue":"2","key":"e_1_2_1_19_3","first-page":"169","article-title":"A description of this work appears in Software","volume":"5","year":"1975","journal-title":"Practice and Experience"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/17.1.44"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/363067.363092"},{"key":"e_1_2_1_22_2","volume-title":"The Design and Analysis of Computer Algorithms","author":"Aho A. V.","year":"1974"},{"issue":"6","key":"e_1_2_1_23_2","article-title":"Regular expressions search algorithm","volume":"11","author":"Thomson K.","year":"1968","journal-title":"Comm. ACM"},{"key":"e_1_2_1_24_2","doi-asserted-by":"crossref","unstructured":"R. M.Balzer \u2018Exdams\u2014extendable debugging and monitoring system\u2019 Proc. 1969 Spring Joint Computer Conf. 1969.","DOI":"10.1145\/1476793.1476881"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380020303"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380070403","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380070403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T10:18:17Z","timestamp":1699784297000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380070403"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,7]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1977,7]]}},"alternative-id":["10.1002\/spe.4380070403"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380070403","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,7]]}}}