{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:21:29Z","timestamp":1725891689124},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153303"},{"type":"electronic","value":"9783642153310"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15331-0_3","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T09:11:25Z","timestamp":1283850685000},"page":"34-50","source":"Crossref","is-referenced-by-count":5,"title":["A Space Consumption Analysis by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Montenegro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Pe\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clara","family":"Segura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-540-69166-2_15","volume-title":"Static Analysis","author":"E. Albert","year":"2008","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G.: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol.\u00a05079, pp. 221\u2013237. Springer, Heidelberg (2008)"},{"key":"3_CR2","first-page":"105","volume-title":"Proc. Int. Symp. on Memory Management, ISMM\u201907, Montreal, Canada","author":"E. Albert","year":"2007","unstructured":"Albert, E., Genaim, S., G\u00f3mez-Zamalloa, M.: Heap Space Analysis for Java Bytecode. In: Proc. Int. Symp. on Memory Management, ISMM\u201907, Montreal, Canada, pp. 105\u2013116. ACM, New York (2007)"},{"key":"3_CR3","first-page":"129","volume-title":"Proc. Int. Symp. on Memory Management, ISMM\u201909, Dublin, Ireland","author":"E. Albert","year":"2009","unstructured":"Albert, E., Genaim, S., G\u00f3mez-Zamalloa, M.: Live Heap Space Analysis for Languages with Garbage Collection. In: Proc. Int. Symp. on Memory Management, ISMM\u201909, Dublin, Ireland, pp. 129\u2013138. ACM, New York (2009)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-04570-7_14","volume-title":"Formal Method in Industrial Critical Systems, FMICS\u201909","author":"J. Dios de","year":"2009","unstructured":"de Dios, J., Pe\u00f1a, R.: A Certified Implementation on top of the Java Virtual Machine. In: Alpuente, M. (ed.) FMICS 2009. LNCS, vol.\u00a05825, pp. 181\u2013196. Springer, Heidelberg (2009)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-642-03359-9_15","volume-title":"TPHOLs 2009","author":"J. de Dios","year":"2009","unstructured":"de Dios, J., Pe\u00f1a, R.: Formal Certification of a Resource-Aware Language Implementation. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol.\u00a05674, pp. 196\u2013211. Springer, Heidelberg (2009)"},{"key":"3_CR6","first-page":"185","volume-title":"Proc. 30th ACM Symp. on Principles of Programming Languages, POPL\u201903","author":"M. Hofmann","year":"2003","unstructured":"Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. In: Proc. 30th ACM Symp. on Principles of Programming Languages, POPL\u201903, pp. 185\u2013197. ACM Press, New York (2003)"},{"key":"3_CR7","first-page":"70","volume-title":"Proc. Int. Conf. on Functional Programming, ICFP\u201999, Paris","author":"R.J.M. Hughes","year":"1999","unstructured":"Hughes, R.J.M., Pareto, L.: Recursion and Dynamic Data-Structures in Bounded Space; Towards Embedded ML Programming. In: Proc. Int. Conf. on Functional Programming, ICFP\u201999, Paris, pp. 70\u201381. ACM Press, New York (September 1999)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M., Pareto, L., Sabry, A.: Proving the Correctness of Reactive Systems Using Sized Types. In: Conference Record of POPL \u201996: The 23rd ACM SIGPLAN-SIGACT, pp. 410\u2013423 (1996)","DOI":"10.1145\/237721.240882"},{"key":"3_CR9","series-title":"The Java Series","volume-title":"The Java Virtual Machine Sepecification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Sepecification, 2nd edn. The Java Series. Addison-Wesley, Reading (1999)","edition":"2"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","first-page":"43","volume-title":"Logic-Based Program Synthesis and Transformation","author":"S. Lucas","year":"2009","unstructured":"Lucas, S., Pe\u00f1a, R.: Rewriting Techniques for Analysing Termination and Complexity Bounds of SAFE Programs. In: Hanus, M. (ed.) LOPSTR 2008. LNCS, vol.\u00a05438, pp. 43\u201357. Springer, Heidelberg (2009)"},{"key":"3_CR11","unstructured":"Montenegro, M., Pe\u00f1a, R., Segura, C.: A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. In: Workshop on Functional and (Constraint) Logic Programming, WFLP\u201908, Siena, Italy. ENTCS, pp. 47\u201361 (July 2008)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Montenegro, M., Pe\u00f1a, R., Segura, C.: A Type System for Safe Memory Management and its Proof of Correctness. In: ACM Principles and Practice of Declarative Programming, PPDP\u201908, Valencia, Spain, pp. 152\u2013162 (July 2008)","DOI":"10.1145\/1389449.1389468"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-11999-6_10","volume-title":"Functional and Constraint Logic Programming","author":"M. Montenegro","year":"2010","unstructured":"Montenegro, M., Pe\u00f1a, R., Segura, C.: A simple region inference algorithm for a first-order functional language. In: Escobar, S. (ed.) Functional and Constraint Logic Programming. LNCS, vol.\u00a05979, pp. 145\u2013161. Springer, Heidelberg (2010)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Montenegro, M., Pe\u00f1a, R., Segura, C.: A space consumption analysis by abstract interpretation, extended version (2009), http:\/\/dalila.sip.ucm.es\/safe","DOI":"10.1007\/978-3-642-15331-0_3"},{"key":"3_CR15","unstructured":"Tamalet, A., Shkaravska, O., van Eekelen, M.: Size Analysis of Algebraic Data Types. In: Achten, P., Koopman, P., Moraz\u00e1n, M.T. (eds.) Trends in Functional Programming (TFP\u201908), vol.\u00a09, pp. 33\u201348. Intellect (2009)"},{"key":"3_CR16","unstructured":"van Eekelen, M., Shkaravska, O., van Kesteren, R., Jacobs, B., Poll, E., Smetsers, S.: AHA: Amortized Space Usage Analysis. Selected Papers Trends in Functional Programming, TFP\u201907, New York, pp. 36\u201353. Intellect (2008)"},{"key":"3_CR17","series-title":"ENTCS","volume-title":"Proc. Work. on Functional and (Constraint) Logic Programming, WFLP\u201907","author":"R. Kesteren van","year":"2007","unstructured":"van Kesteren, R., Shkaravska, O., van Eekelen, M.: Inferring static non-monotonically sized types through testing. In: Proc. Work. on Functional and (Constraint) Logic Programming, WFLP\u201907, Paris, France. ENTCS. Elsevier, Amsterdam (2007)"}],"container-title":["Lecture Notes in Computer Science","Foundational and Practical Aspects of Resource Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15331-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T00:41:52Z","timestamp":1559608912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15331-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153303","9783642153310"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15331-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}