乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:59:47Z","timestamp":1725724787269},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1993,6]]},"DOI":"10.1145\/155090.155095","type":"proceedings-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T16:24:15Z","timestamp":1068827055000},"page":"46-55","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":68,"title":["Abstract debugging of higher-order imperative languages"],"prefix":"10.1145","author":[{"given":"Fran\u00e7ois","family":"Bourdoncle","sequence":"first","affiliation":[]}],"member":"320","published-online":{"date-parts":[[1993,6]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"Ravi Sethi and Jeffrey D. Ullman: \"Compilers m Principles, Techniques and Tools","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi and Jeffrey D. Ullman: \"Compilers m Principles, Techniques and Tools \", Addison-Wesley Publishing Company ( 1986 ) Alfred V. Aho, Ravi Sethi and Jeffrey D. Ullman: \"Compilers m Principles, Techniques and Tools\", Addison-Wesley Publishing Company (1986)"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567756"},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.5555\/646447.692316"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000496"},{"key":"e_1_3_2_1_6_2","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of the International Conf. on Formal Methods in Programming and their Applications","author":"Bourdoncle Franqois","year":"1993","unstructured":"Franqois Bourdoncle : \" Efficient Chaotic Iteration Strategies with Widenings \", Proc. of the International Conf. on Formal Methods in Programming and their Applications , Lecture Notes in Computer Science , Springer-Verlag ( 1993 ) to appear Franqois Bourdoncle: \"Efficient Chaotic Iteration Strategies with Widenings\", Proc. of the International Conf. on Formal Methods in Programming and their Applications, Lecture Notes in Computer Science, Springer-Verlag (1993) to appear"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318658"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_12_2","volume-title":"Formal Description of Programming Concepts","author":"Radhia Cousot Patrick","year":"1978","unstructured":"Patrick and Radhia Cousot : \" Static determination of dynamic properties of recursive procedures \", Formal Description of Programming Concepts , North Holland Publishing Company ( 1978 ) 237-277 Patrick and Radhia Cousot: \"Static determination of dynamic properties of recursive procedures\", Formal Description of Programming Concepts, North Holland Publishing Company (1978) 237-277"},{"key":"e_1_3_2_1_13_2","volume-title":"Program Flow Analysis, Theory and Applications","author":"Cousot Patrick","year":"1981","unstructured":"Patrick Cousot : \" Semantic foundations of program analysis\" in Muchnick and Jones Eds ., Program Flow Analysis, Theory and Applications , Prentice-Hall ( 1981 ) 303-343 Patrick Cousot: \"Semantic foundations of program analysis\" in Muchnick and Jones Eds., Program Flow Analysis, Theory and Applications, Prentice-Hall (1981) 303-343"},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41650"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96725"},{"key":"e_1_3_2_1_16_2","volume-title":"Proc. of the IEEE'92 International Conf. on Computer Languages","author":"Deutsch Alain","year":"1992","unstructured":"Alain Deutsch : \" A Storeless Model of Aliasing and its Abstractions using Finite Representations of Right-Regular Equivalence Relations \", Proc. of the IEEE'92 International Conf. on Computer Languages , IEEE Press ( 1992 ) Alain Deutsch: \"A Storeless Model of Aliasing and its Abstractions using Finite Representations of Right-Regular Equivalence Relations\", Proc. of the IEEE'92 International Conf. on Computer Languages, IEEE Press (1992)"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231133"},{"key":"e_1_3_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93581"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582161"},{"key":"e_1_3_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99599"},{"key":"e_1_3_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/800230.806986"},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90076-R"},{"key":"e_1_3_2_1_23_2","volume-title":"Program Flow Analysis, Theory and Applications","author":"Shark Micha","year":"1981","unstructured":"Micha Shark and Amir Pnueli : \" Two Approaches to Interprocedural Data Flow Analysis\" in Muchnick and Jones Eds ., Program Flow Analysis, Theory and Applications , Prentice- Hall ( 1981 ) 189-233 Micha Shark and Amir Pnueli: \"Two Approaches to Interprocedural Data Flow Analysis\" in Muchnick and Jones Eds., Program Flow Analysis, Theory and Applications, Prentice- Hall (1981) 189-233"},{"key":"e_1_3_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91564"},{"key":"e_1_3_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.129219"}],"event":{"name":"PLDI93: ACM SIGPLAN Conference on Programming Languages Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Albuquerque New Mexico USA","acronym":"PLDI93"},"container-title":["Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/155090.155095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:29:29Z","timestamp":1693862969000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/155090.155095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":22,"alternative-id":["10.1145\/155090.155095","10.1145\/155090"],"URL":"https:\/\/doi.org\/10.1145\/155090.155095","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/173262.155095","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1993,6]]},"assertion":[{"value":"1993-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}