{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:22Z","timestamp":1725487102363},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401902"},{"type":"electronic","value":"9783540448549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44854-3_15","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:56:07Z","timestamp":1184601367000},"page":"232-247","source":"Crossref","is-referenced-by-count":6,"title":["Cost Analysis Using Automatic Size and Time Inference"],"prefix":"10.1007","author":[{"given":"\u00c1lvaro J.","family":"Reb\u00f3n Portillo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Hammond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Wolfgang","family":"Loidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"15_CR1","unstructured":"Hammond, K., Michaelson, G.: Parallel Functional Programming. Springer (2000)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer (1999)","DOI":"10.1007\/978-3-662-03811-6"},{"key":"15_CR3","unstructured":"Mitchell, J.C.: Subtyping and Related Concepts. In: Foundations for Programming Languages. MIT Press (1996)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Hughes, R., Pareto, L., Sabry, A.: Proving the Correctness of Reactive Systems using Sized Types. In: POPL\u201996, St Petersburg, FL (1996)","DOI":"10.1145\/237721.240882"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Reistad, B., Gifford, D.: Static Dependent Costs for Estimating Execution Time. In: LFP\u201994, Orlando, FL (1994) 65\u201378","DOI":"10.1145\/182409.182439"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37 (1998)","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"15_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz Programming Model. In: Computer Science Today. LNCS 1000. Springer (1995) 324\u2013343"},{"key":"15_CR8","unstructured":"Jones, S.P., Hughes, J., Augustsson, L., Barton, D., Boutel, B., Burton, W., Fasel, J., Hammond, K., Hinze, R., Hudak, P., Johnsson, T., Jones, M., Launchbury, J., Meijer, E., Peterson, J., Reid, A., Runciman, C., Wadler, P.: Haskell 98: A Non-Strict, Purely Functional Language. (1999)"},{"key":"15_CR9","unstructured":"Loidl, H.W., Hammond, K.: A Sized Time System for a Parallel Functional Language. In: Glasgow Workshop on Functional Programming, Ullapool (1996)"},{"key":"15_CR10","unstructured":"Loidl, H.W.: Granularity in Large-Scale Parallel Functional Programming. PhD thesis, Department of Computing Science, University of Glasgow (1998)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/130616.130620","volume":"1","author":"V. Dornic","year":"1992","unstructured":"Dornic, V., Jouvelot, P., Gifford, D.: Polymorphic Time Systems for Estimating Program Complexity. ACM Letters on Prog. Lang. and Systems 1 (1992) 33\u201345","journal-title":"ACM Letters on Prog. Lang. and Systems"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Grobauer, B.: Cost Recurrences for DML Programs. In: ICFP\u201901, Florence, Italy, ACM Press (2001)","DOI":"10.1145\/507635.507666"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Chin, W.N., Khoo, S.C.: Calculating sized types. Higher-Order and Symbolic Computing 14 (2001)","DOI":"10.1023\/A:1012996816178"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: ACE: An Automatic Complexity Evaluator. TOPLAS 10 (1988)","DOI":"10.1145\/42190.42347"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Rosendahl, M.: Automatic Complexity Analysis. In: FPCA\u201989. (1989) 144\u2013156","DOI":"10.1145\/99370.99381"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(91)90145-R","volume":"79","author":"P. Flajolet","year":"1991","unstructured":"Flajolet, P., Salvy, B., Zimmermann, P.: Automatic Average-Case Analysis of Algorithms. Theoretical Computer Science 79 (1991) 37\u2013109","journal-title":"Theoretical Computer Science"},{"key":"15_CR17","unstructured":"Huelsbergen, L., Larus, J., Aiken, A.: Using Run-Time List Sizes to Guide Parallel Thread Creation. In: LFP\u201994, Orlando, FL (1994) 79\u201390"},{"issue":"6","key":"15_CR18","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/93548.93564","volume":"25","author":"S. Debray","year":"1990","unstructured":"Debray, S., Lin, N.W., Hermenegildo, M.: Task Granularity Analysis in Logic Programs. In: PLDI\u201990. SIGPLAN Notices 25(6), ACM Press (1990) 174\u2013188","journal-title":"PLDI\u201990. SIGPLAN Notices"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF03037179","volume":"11","author":"E. Tick","year":"1993","unstructured":"Tick, E., Zhong, X.: A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation. New Generation Computing 11 (1993) 271\u2013295","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44854-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:15:35Z","timestamp":1556680535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}