{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T05:51:04Z","timestamp":1774677064181,"version":"3.50.1"},"reference-count":38,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.129.11","type":"journal-article","created":{"date-parts":[[2013,9,8]],"date-time":"2013-09-08T05:10:39Z","timestamp":1378617039000},"page":"161-185","source":"Crossref","is-referenced-by-count":16,"title":["Modular Construction of Shape-Numeric Analyzers"],"prefix":"10.4204","volume":"129","author":[{"given":"Bor-Yuh Evan","family":"Chang","sequence":"first","affiliation":[{"name":"University of Colorado Boulder"}]},{"given":"Xavier","family":"Rival","sequence":"additional","affiliation":[{"name":"INRIA, ENS, and CNRS"}]}],"member":"2720","published-online":{"date-parts":[[2013,9,19]]},"reference":[{"key":"ball:pldi:01","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/378795.378846","article-title":"Automatic Predicate Abstraction of C Programs","volume-title":"PLDI'01","author":"Ball","year":"2001"},{"key":"berdine:cav:07","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-73368-3_22","article-title":"Shape Analysis for Composite Data Structures","volume-title":"CAV'07","author":"Berdine","year":"2007"},{"key":"astree:pldi:03","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/781131.781153","article-title":"A static analyzer for large safety-critical software","volume-title":"PLDI'03","author":"Blanchet","year":"2003"},{"issue":"4","key":"b:jfp:92","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1017\/S0956796800000496","article-title":"Abstract Interpretation by Dynamic Partitioning","volume":"2","author":"Bourdoncle","year":"1992","journal-title":"Journal of Functional Programming"},{"key":"bec:phd:2008","volume-title":"End-User Program Analysis","author":"Chang","year":"2008"},{"key":"bec:vmcai:05","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-30579-8_11","article-title":"Abstract Interpretation with Alien Expressions and Heap Structures","volume-title":"VMCAI'05","author":"Chang","year":"2005"},{"key":"xisa:popl:08","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/1328438.1328469","article-title":"Relational inductive shape analysis","volume-title":"POPL'08","author":"Chang","year":"2008"},{"key":"xisa:sas:07","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-540-74061-2_24","article-title":"Shape Analysis with Structural Invariant Checkers","volume-title":"SAS'07","author":"Chang","year":"2007"},{"key":"chase:pldi:90","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/93542.93585","article-title":"Analysis of Pointers and Structures","volume-title":"PLDI'90","author":"Chase","year":"1990"},{"key":"cc:popl:77","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","article-title":"Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints","volume-title":"POPL'77","author":"Cousot","year":"1977"},{"key":"cc:popl:79","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","article-title":"Systematic Design of Program Analysis Frameworks","volume-title":"POPL'79","author":"Cousot","year":"1979"},{"key":"ch:popl:78","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/512760.512770","article-title":"Automatic discovery of linear restraints among variables of a program","volume-title":"POPL'78","author":"Cousot","year":"1978"},{"key":"dillig:popl:11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/1926385.1926407","article-title":"Precise reasoning for programs using containers","volume-title":"POPL'11","author":"Dillig","year":"2011"},{"key":"dino:tacas:06","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11691372_19","article-title":"A Local Shape Analysis Based on Separation Logic","volume-title":"TACAS'06","author":"Distefano","year":"2006"},{"key":"gopan:popl:05","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/1040305.1040333","article-title":"A framework for numeric analysis of array operations","volume-title":"POPL'05","author":"Gopan","year":"2005"},{"key":"gulwani:popl:08","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/1328438.1328468","article-title":"Lifting abstract interpreters to quantified logical domains","volume-title":"POPL'08","author":"Gulwani","year":"2008"},{"key":"peron:pldi:08","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/1375581.1375623","article-title":"Discovering properties about arrays in simple programs","volume-title":"PLDI'08","author":"Halbwachs","year":"2008"},{"key":"henzinger:popl:02","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/503272.503279","article-title":"Lazy abstraction","volume-title":"POPL'02","author":"Henzinger","year":"2002"},{"issue":"6","key":"hor:iter:87","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/BF00282621","article-title":"An Efficient General Iterative Algorithm for Dataflow Analysis","volume":"24","author":"Horwitz","year":"1987","journal-title":"Acta Informatica"},{"key":"apron:cav:09","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/978-3-642-02658-4_52","article-title":"Apron: A Library of Numerical Abstract Domains for Static Analysis","volume-title":"CAV'09","author":"Jeannet","year":"2009"},{"key":"jones+1981:flow-analysis","first-page":"102","article-title":"Flow Analysis and Optimization of LISP-like Structures","volume-title":"Program Flow Analysis: Theory and Applications","author":"Jones","year":"1981"},{"key":"xisa:esop:10","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-642-11957-6_21","article-title":"Separating Shape Graphs","volume-title":"ESOP'10","author":"Laviron","year":"2010"},{"key":"magill:sas:07","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-74061-2_26","article-title":"Arithmetic Strengthening for Shape Analysis","volume-title":"SAS'07","author":"Magill","year":"2007"},{"key":"magill:popl:10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1706299.1706326","article-title":"Automatic numeric abstractions for heap-manipulating programs","volume-title":"POPL'10","author":"Magill","year":"2010"},{"key":"bill:sas:10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-15769-1_6","article-title":"Statically Inferring Complex Heap, Array, and Numeric Invariants","volume-title":"SAS'10","author":"McCloskey","year":"2010"},{"issue":"1","key":"mrr:tosem:05","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","article-title":"Parameterized object sensitivity for points-to analysis for Java","volume":"14","author":"Milanova","year":"2005","journal-title":"TOSEM"},{"issue":"1","key":"am:hosc:06","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","article-title":"The octagon abstract domain","volume":"19","author":"Min\u00e9","year":"2006","journal-title":"HOSC"},{"key":"r:lics:02","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/LICS.2002.1029817","article-title":"Separation Logic: A Logic for Shared Mutable Data Structures","volume-title":"LICS'02","author":"Reynolds","year":"2002"},{"key":"xisa:popl:11","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/1926385.1926406","article-title":"Calling context abstraction with shapes","volume-title":"POPL'11","author":"Rival","year":"2011"},{"issue":"5","key":"rm:toplas:07","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1275497.1275501","article-title":"The trace partitioning abstract domain","volume":"29","author":"Rival","year":"2007","journal-title":"ACM TOPLAS"},{"issue":"3","key":"tvla:toplas:02","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","article-title":"Parametric shape analysis via 3-valued logic","volume":"24","author":"Sagiv","year":"2002","journal-title":"ACM TOPLAS"},{"issue":"1","key":"sagiv:toplas:98","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","article-title":"Solving Shape-Analysis Problems in Languages with Destructive Updating","volume":"20","author":"Sagiv","year":"1998","journal-title":"ACM TOPLAS"},{"key":"ds:den:86","volume-title":"Denotational semantics: a methodology for language development","author":"Schmidt","year":"1986"},{"key":"ds:den:09","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2009.07.082","article-title":"Abstract Interpretation From a Denotational-semantics Perspective","volume":"249","author":"Schmidt","year":"2009","journal-title":"ENTCS"},{"key":"sp:81","first-page":"189","article-title":"Two approaches to interprocedural data flow analysis","volume-title":"Program Flow Analysis: Theory and Applications","author":"Sharir","year":"1981"},{"key":"sr:aplas:12","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-35182-2_10","article-title":"Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks","volume-title":"APLAS'12","author":"Sotin","year":"2012"},{"key":"tcr:vmcai:13","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-35873-9_23","article-title":"Reduced Product Combination of Abstract Domains for Shapes","volume-title":"VMCAI'13","author":"Toubhans","year":"2013"},{"key":"venet:sas:96","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/3-540-61739-6_53","article-title":"Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.","volume-title":"SAS'96","author":"Venet","year":"1996"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,9,22]],"date-time":"2013-09-22T21:40:29Z","timestamp":1379886029000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1309.5138v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,19]]},"references-count":38,"URL":"https:\/\/doi.org\/10.4204\/eptcs.129.11","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,19]]}}}