{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:32:12Z","timestamp":1725489132054},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540040293"},{"type":"electronic","value":"9783540357674"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-35767-x_24","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:19:15Z","timestamp":1187234355000},"page":"366-382","source":"Crossref","is-referenced-by-count":1,"title":["A Language for Role Specifications"],"prefix":"10.1007","author":[{"given":"Viktor","family":"Kuncak","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Lam","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Michael Benedikt, Thomas Reps, and Mooly Sagiv. A decidable logic for linked data structures. In Proc. 8th European Symposium on Programming, 1999.","DOI":"10.1007\/3-540-49099-X_2"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In Proc. 13th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, 1998.","DOI":"10.1145\/286936.286947"},{"key":"24_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-45337-7_8","volume-title":"Proc. 15th European Conference on Object-Oriented Programming","author":"S. Drossopoulou","year":"2001","unstructured":"S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. Fickle: Dynamic object re-classification. In Proc. 15th European Conference on Object-Oriented Programming, LNCS 2072, pages 130\u2013149. Springer, 2001."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Pascal Fradet and Daniel Le Metayer. Shape types. In Proc. 24th ACM POPL, 1997.","DOI":"10.1145\/263699.263706"},{"key":"24_CR5","unstructured":"James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Sun Microsystems, Inc., 2001."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Samuel Z. Guyer and Calvin Lin. An annotation language for optimizing software libraries. In Second Conference on Domain Specific Languages, 1999.","DOI":"10.1145\/331960.331970"},{"key":"24_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"David Harel, Dexter Kozen, and Jerzy Tiuryn. Dynamic Logic. The MIT Press, Cambridge, Mass., 2000."},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau. Abstract description of pointer data structures: An approach for improving the analysis and optimization of imperative programs. ACM Letters on Programming Languages and Systems, 1(3), September 1993.","DOI":"10.1145\/151640.151644"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau. A language for conveying the aliasing properties of dynamic, pointer-based data structures. In Proc. 8th International Parallel Processing Symposium, Cancun, Mexico, April 26\u201329 1994.","DOI":"10.1109\/IPPS.1994.288299"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Pierre Jouvelot and David K. Gifford. Algebraic reconstruction of types and effects. In Proc. 18th ACM POPL, 1991.","DOI":"10.1145\/99583.99623"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi. Quasi-linear types. In Proc. 26th ACM POPL, 1999.","DOI":"10.1145\/292540.292546"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Anders M\u00f8ller and Michael I. Schwartzbach. The Pointer Assertion Logic Engine. In Proc. ACM PLDI, 2001.","DOI":"10.1145\/378795.378851"},{"key":"24_CR13","unstructured":"Trygve Reenskaug. Working With Objects. Prentice Hall, 1996."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Radu Rugina and Martin Rinard. Design-driven compilation. In Proc. 10th International Conference on Compiler Construction, 2001.","DOI":"10.1007\/3-540-45306-7_11"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. In Proc. 23rd ACM POPL, 1996.","DOI":"10.1145\/237721.237725"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"F. Smith, D. Walker, and G. Morrisett. Alias types. In Proc. 9th European Symposium on Programming, Berlin, Germany, March 2000.","DOI":"10.1007\/3-540-46425-5_24"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Robert E. Strom and Shaula Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, January 1986.","DOI":"10.1109\/TSE.1986.6312929"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-35767-X_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:07:13Z","timestamp":1556755633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-35767-X_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540040293","9783540357674"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-35767-x_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}