{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:00:01Z","timestamp":1725534001242},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027369"},{"type":"electronic","value":"9783642027376"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02737-6_12","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T08:40:30Z","timestamp":1246351230000},"page":"156-169","source":"Crossref","is-referenced-by-count":0,"title":["Traces of Control-Flow Graphs"],"prefix":"10.1007","author":[{"given":"Simone","family":"Campanoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Crespi Reghizzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Compilers: principles, techniques, and tools","year":"2007","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D. (eds.): Compilers: principles, techniques, and tools, 2nd edn. Pearson\/Addison Wesley, Boston (2007)","edition":"2"},{"key":"12_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811432","volume-title":"Modern compiler implementation in Java","author":"A.W. Appel","year":"2002","unstructured":"Appel, A.W., Palsberg, J.: Modern compiler implementation in Java, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/0304-3975(95)00104-2","volume":"155","author":"J. Berstel","year":"1996","unstructured":"Berstel, J., Pin, J.-E.: Local languages and the Berry-Sethi algorithm. Theor. Comput. Sci.\u00a0155(2), 439\u2013446 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR4","series-title":"The Book of Traces","first-page":"131","volume-title":"Counting techniques for inclusion, equivalence and membership problems","author":"A. Bertoni","year":"1995","unstructured":"Bertoni, A., Goldwurm, M., Mauri, G., Sabadini, N.: Counting techniques for inclusion, equivalence and membership problems. In: Diekert, V., Rozenberg, G. (eds.) Counting techniques for inclusion, equivalence and membership problems. The Book of Traces, ch.\u00a05, pp. 131\u2013163. World Scientific, Singapore (1995)"},{"key":"12_CR5","unstructured":"Breveglieri, L., Crespi Reghizzi, S., Savelli, A.: Efficient word recognition of certain locally defined trace languages. In: 5th Int. Conf. on Words (WORDS 2005), Montreal, Canada (2005)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Diekert, V., M\u00e9tivier, Y.: Partial commutation and traces. In: Rozenberg, G., Salomaa, A. (eds.) Handbook on Formal Languages, vol.\u00a0III (1997)","DOI":"10.1007\/978-3-642-59126-6_8"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst.\u00a09(3), 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-58201-0_63","volume-title":"Automata, Languages, and Programming","author":"N. Klarlund","year":"1994","unstructured":"Klarlund, N., Mukund, M., Sohoni, M.: Determinizing asynchronous automata. In: Shamir, E., Abiteboul, S. (eds.) ICALP 1994. LNCS, vol.\u00a0820, pp. 130\u2013141. Springer, Heidelberg (1994)"},{"key":"12_CR9","volume-title":"Advanced compiler design and implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced compiler design and implementation. Morgan Kaufmann Publishers Inc., San Francisco (1997)"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1145\/256167.256217","volume":"19","author":"K. Pingali","year":"1997","unstructured":"Pingali, K., Bilardi, G.: Optimal control dependence computation and the Roman chariots problem. ACM Transactions on Programming Languages and Systems\u00a019(3), 462\u2013491 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02737-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T20:06:05Z","timestamp":1552075565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02737-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027369","9783642027376"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02737-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}