{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T09:22:11Z","timestamp":1774516931580,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,11]],"date-time":"2014-01-11T00:00:00Z","timestamp":1389398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,1,11]]},"DOI":"10.1145\/2541568.2541574","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T13:40:06Z","timestamp":1389706806000},"page":"15-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Substructural typestates"],"prefix":"10.1145","author":[{"given":"Filipe","family":"Milit\u00e3o","sequence":"first","affiliation":[{"name":"Universidade Nova de Lisboa, Lisbon, Portugal"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]},{"given":"Lu\u00eds","family":"Caires","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2014,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Prototype. https:\/\/code.google.com\/p\/dead-parrot\/.  Prototype. https:\/\/code.google.com\/p\/dead-parrot\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1365997.1366003"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449783"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562154.1562156"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032501"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760273"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040329"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429103"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.30"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411235"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292564"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351259"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429104"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754809.1754827"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706335"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319848"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884002"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364536"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708027"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1924520.1924527"},{"key":"e_1_3_2_1_28_1","volume-title":"Substructural typestates (technical appendix)","author":"Milit\u00e3o F.","year":"2013","unstructured":"F. Milit\u00e3o , J. Aldrich , and L. Caires . Substructural typestates (technical appendix) , 2013 . http:\/\/www.cs.cmu.edu\/ foliveir\/papers\/plpv14-appendix.pdf F. Milit\u00e3o, J. Aldrich, and L. Caires. Substructural typestates (technical appendix), 2013. http:\/\/www.cs.cmu.edu\/ foliveir\/papers\/plpv14-appendix.pdf"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103722"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159812"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762194"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040326"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480890"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"J.\n      Reynolds\n    .\n  Syntactic control of interference part 2\n  . In G. Ausiello M. Dezani-Ciancaglini and S. Rocca editors Automata Languages\n   and Programming volume \n  372\n   of \n  phLecture Notes in Computer Science pages \n  704\n  --\n  722\n  . \n  Springer Berlin Heidelberg 1989\n  .   J. Reynolds. Syntactic control of interference part 2. In G. Ausiello M. Dezani-Ciancaglini and S. Rocca editors Automata Languages and Programming volume 372 of phLecture Notes in Computer Science pages 704--722. Springer Berlin Heidelberg 1989.","DOI":"10.1007\/BFb0035793"},{"key":"e_1_3_2_1_36_1","first-page":"55","volume-title":"Proc. Logic in Computer Science","author":"Reynolds J. C.","year":"2002","unstructured":"J. C. Reynolds . Separation logic : A logic for shared mutable data structures . In Proc. Logic in Computer Science , pages 55 -- 74 , 2002 . J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proc. Logic in Computer Science, pages 55--74, 2002."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706316"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141563"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651903"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567093"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048122"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/646423.691947"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926436"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74888"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869501"},{"key":"e_1_3_2_1_47_1","volume-title":"North","author":"Wadler P.","year":"1990","unstructured":"P. Wadler . Linear types can change the world! In Programming Concepts and Methods . North , 1990 . P. Wadler. Linear types can change the world! In Programming Concepts and Methods. North, 1990."},{"key":"e_1_3_2_1_48_1","first-page":"177","volume-title":"TIC '00","author":"Walker D.","year":"2001","unstructured":"D. Walker and J. G. Morrisett . Alias types for recursive data structures. In Selected papers from the Third International Workshop on Types in Compilation , TIC '00 , pages 177 -- 206 . Springer-Verlag , 2001 . D. Walker and J. G. Morrisett. Alias types for recursive data structures. In Selected papers from the Third International Workshop on Types in Compilation, TIC '00, pages 177--206. Springer-Verlag, 2001."}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Diego California USA","acronym":"POPL '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541568.2541574","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2541568.2541574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:02Z","timestamp":1750232102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541568.2541574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,11]]},"references-count":48,"alternative-id":["10.1145\/2541568.2541574","10.1145\/2541568"],"URL":"https:\/\/doi.org\/10.1145\/2541568.2541574","relation":{},"subject":[],"published":{"date-parts":[[2014,1,11]]},"assertion":[{"value":"2014-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}