{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:35Z","timestamp":1725550655469},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_15","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T10:04:06Z","timestamp":1129802646000},"page":"227-241","source":"Crossref","is-referenced-by-count":3,"title":["Finding Resource Bounds in the Presence of Explicit Deallocation"],"prefix":"10.1007","author":[{"given":"Hoang","family":"Truong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Bezem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Handbook of Logic in Computer Science","author":"H. Barendregt","year":"1992","unstructured":"Barendregt, H.: Lambda Calculi with Types. In: Abramsky, Gabbay, Maibaum (eds.) Handbook of Logic in Computer Science, vol.\u00a0II. Oxford University Press, Oxford (1992)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bezem, M., Truong, H.: A Type System for the Safe Instantiation of Components. Electronic Notes in Theoretical Computer Science\u00a097 (July 2004)","DOI":"10.1016\/j.entcs.2004.04.037"},{"key":"15_CR3","unstructured":"Bezem, M., Truong, H.: Counting Instances of Software Components. In: Proceedings of LRPP 2004 (July 2004)"},{"key":"15_CR4","first-page":"2208","volume-title":"The Computer Science and Engineering Handbook, ch.\u00a0103","author":"L. Cardelli","year":"1997","unstructured":"Cardelli, L.: Type systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, ch.\u00a0103, pp. 2208\u20132236. CRC Press, Boca Raton (1997)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Crary, K., Walker, D., Morrisett, G.: Typed Memory Management in a Calculus of Capabilities. In: Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999, pp. 262\u2013275 (1999)","DOI":"10.1145\/292540.292564"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Crary, K., Weirich, S.: Resource Bound Certification. In: The Twenty-Seventh ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, MA, USA, January 2000, pp. 184\u2013198 (2000)","DOI":"10.1145\/325694.325716"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Dushnik, B., Miller, E.W.: Partially Ordered Sets. American Journal of Mathematics\u00a063 (1941)","DOI":"10.2307\/2371374"},{"key":"15_CR8","unstructured":"Englander, R.: Developing Java Beans, 1st edn. (June 1997) ISBN 1-56592-289-1"},{"key":"15_CR9","volume-title":"Design Patterns - Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994) ISBN 0201633612"},{"issue":"10","key":"15_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/570907.570929","volume":"45","author":"E. Meijer","year":"2002","unstructured":"Meijer, E., Szyperski, C.: Overcoming Independent Extensibility Challenges. Communications of the ACM\u00a045(10), 41\u201344 (2002)","journal-title":"Communications of the ACM"},{"key":"15_CR11","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002) ISBN 0-262-16209-1"},{"key":"15_CR12","volume-title":"Advanced Topics in Types and Programming Languages","author":"B. Pierce","year":"2005","unstructured":"Pierce, B.: Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005) ISBN 0-262-16228-8"},{"key":"15_CR13","unstructured":"Seco, J.C.: Adding Type Safety to Component Programming. In: Proc. of the PhD Student\u2019s Workshop in FMOODS 2002, University of Twente, the Netherlands (March 2002)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Smith, F., Walker, D., Morrisett, G.: Alias Types. In: European Symposium on Programming, Berlin, Germany (March 2000)","DOI":"10.1007\/3-540-46425-5_24"},{"key":"15_CR15","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002) ISBN 0201745720","edition":"2"},{"key":"15_CR16","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Term Rewriting Systems","author":"Terese","year":"2003","unstructured":"Terese: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science, vol.\u00a055. Cambridge University Press, Cambridge (2003)"},{"key":"15_CR17","unstructured":"Thai, T., Lam, H.: .NET Framework Essentials, 3rd edn. (August 2003) ISBN 0-596-00302-1"},{"key":"15_CR18","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":"15_CR19","volume-title":"Programming Concepts and Methods","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Linear types can change the world! In: Broy, M., Jones, C. (eds.) Programming Concepts and Methods, Sea of Galilee, Israel, April 1990. North Holland, Amsterdam (1990) IFIP TC 2 Working Conference"},{"issue":"1","key":"15_CR20","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"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-47993-7_20","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"M. Zenger","year":"2002","unstructured":"Zenger, M.: Type-Safe Prototype-Based Component Evolution. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 470. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T22:52:33Z","timestamp":1552431153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11560647_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}