{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:49:19Z","timestamp":1725533359390},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024436"},{"type":"electronic","value":"9783642024443"}],"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-02444-3_12","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T09:15:35Z","timestamp":1244279735000},"page":"186-202","source":"Crossref","is-referenced-by-count":0,"title":["A Type System for Usage of Software Components"],"prefix":"10.1007","author":[{"given":"Dag","family":"Hovland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"McIlroy, M.D.: Mass produced software components. In: Naur, P., Randell, B. (eds.) Software Engineering: Report of a conference sponsored by the NATO Science Committee, pp. 79\u201387. Scientific Affairs Division, NATO (1968)"},{"key":"12_CR2","unstructured":"Szyperski, C.: Component Software\u2014Beyond Object\u2013Oriented Programming, 2nd edn. Addison\u2013Wesley \/ ACM Press (2002)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.entcs.2004.04.037","volume":"97","author":"M. Bezem","year":"2004","unstructured":"Bezem, M., Truong, H.: A type system for the safe instantiation of components. Electronic Notes in Theoretical Computer Science\u00a097, 197\u2013217 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/11494881_12","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Truong","year":"2005","unstructured":"Truong, H.: Guaranteeing resource bounds for component software. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 179\u2013194. Springer, Heidelberg (2005)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11560647_15","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"H. Truong","year":"2005","unstructured":"Truong, H., Bezem, M.: Finding resource bounds in the presence of explicit deallocation. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 227\u2013241. Springer, Heidelberg (2005)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"12_CR7","unstructured":"Bezem, M., Hovland, D., Truong, H.: A type system for counting instances of software components. Technical Report 363, Department of Informatics, The University of Bergen, P.O. Box 7800, N-5020 Bergen, Norway (2007)"},{"key":"12_CR8","volume-title":"The C++ Programming Language, Third Edition","author":"B. Stroustrup","year":"2000","unstructured":"Stroustrup, B.: The C++ Programming Language, Third Edition. Addison-Wesley, Reading (2000)"},{"key":"12_CR9","unstructured":"IEEE: The open group base specifications issue 6 (2004)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Journal of Logic and Algebraic Programming\u00a060-61, 17\u2013139 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"12_CR11","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"12_CR12","first-page":"184","volume-title":"POPL 2000: Proceedings of the 27th ACM SIGPLAN\u2013SIGACT symposium on Principles of programming languages","author":"K. Crary","year":"2000","unstructured":"Crary, K., Weirich, S.: Resource bound certification. In: POPL 2000: Proceedings of the 27th ACM SIGPLAN\u2013SIGACT symposium on Principles of programming languages, pp. 184\u2013198. ACM Press, New York (2000)"},{"key":"12_CR13","first-page":"185","volume-title":"POPL 2003: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"M. Hofmann","year":"2003","unstructured":"Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. In: POPL 2003: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 185\u2013197. ACM Press, New York (2003)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Suenaga, K., Wischik, L.: Resource usage analysis for the \u03c0-calculus. Logical Methods in Computer Science\u00a02(3) (2006)","DOI":"10.2168\/LMCS-2(3:4)2006"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-36384-X_9","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"L. Unnikrishnan","year":"2002","unstructured":"Unnikrishnan, L., Stoller, S.D., Liu, Y.A.: Optimized live heap bound analysis. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 70\u201385. Springer, Heidelberg (2002)"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/1014007.1014021","volume-title":"PEPM","author":"C. Popeea","year":"2004","unstructured":"Popeea, C., Chin, W.N.: A type system for resource protocol verification and its correctness proof. In: Heintze, N., Sestoft, P. (eds.) PEPM, pp. 135\u2013146. ACM, New York (2004)"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/1057387.1057390","volume":"27","author":"A. Igarashi","year":"2005","unstructured":"Igarashi, A., Kobayashi, N.: Resource usage analysis. ACM Trans. Program. Lang. Syst.\u00a027(2), 264\u2013313 (2005)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"5","key":"12_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.5381\/jot.2006.5.5.a2","volume":"5","author":"V. Braberman","year":"2006","unstructured":"Braberman, V., Garbervetsky, D., Yovine, S.: A static analysis for synthesizing parametric specifications of dynamic memory consumption. Journal of Object Technology\u00a05(5), 31\u201358 (2006)","journal-title":"Journal of Object Technology"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11547662_7","volume-title":"Static Analysis","author":"W.N. Chin","year":"2005","unstructured":"Chin, W.N., Nguyen, H.H., Qin, S., Rinard, M.C.: Memory usage verification for OO programs. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 70\u201386. Springer, Heidelberg (2005)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11693024_3","volume-title":"Programming Languages and Systems","author":"M. Hofmann","year":"2006","unstructured":"Hofmann, M., Jost, S.: Type-based amortised heap-space analysis (for an object-oriented language). In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 22\u201337. Springer, Heidelberg (2006)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.C.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA, pp. 211\u2013230 (2002)","DOI":"10.1145\/582419.582440"},{"issue":"1","key":"12_CR22","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02444-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T15:19:27Z","timestamp":1685027967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02444-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024436","9783642024443"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02444-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}