{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:42:54Z","timestamp":1725500574750},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775652"},{"type":"electronic","value":"9783540775669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77566-9_17","type":"book-chapter","created":{"date-parts":[[2008,1,5]],"date-time":"2008-01-05T06:18:43Z","timestamp":1199513923000},"page":"198-210","source":"Crossref","is-referenced-by-count":0,"title":["A Useful Bounded Resource Functional Language"],"prefix":"10.1007","author":[{"given":"Michael J.","family":"Burrell","sequence":"first","affiliation":[]},{"given":"James H.","family":"Andrews","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Daley","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: The SLAM project: debugging software via static analysis. In: 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1\u20133 (2002)","DOI":"10.1145\/503272.503274"},{"key":"17_CR2","volume-title":"Theory of computation","author":"W.S. Brainerd","year":"1974","unstructured":"Brainerd, W.S., Landweber, L.H.: Theory of computation. Wiley, New York (1974)"},{"key":"17_CR3","unstructured":"Cockett, R.: Charitable thoughts. Lecture notes, University of Calgary (1996)"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0304-3975(91)90039-5","volume":"83","author":"L. Colson","year":"1991","unstructured":"Colson, L.: About primitive recursive algorithms. Theoretical Computer Science\u00a083(1), 57\u201369 (1991)","journal-title":"Theoretical Computer Science"},{"key":"17_CR5","unstructured":"Dhurjati, D., Das, M., Yang, Y.: Path-sensitive dataflow analysis with iterative refinement. Technical Report MSR-TR-2005-108, Microsoft Corporation (2005)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Ermedahl, A., Stappert, F., Engblom, J.: Clustered calculation of worst-case execution times. In: Proceedings of the 2003 International conference on Compilers, architecture, and synthesis for embedded systems, San Jose, California, USA, pp. 51\u201362 (2003)","DOI":"10.1145\/951710.951720"},{"key":"17_CR7","unstructured":"Fukushima, T., Tuckey, C.: Charity User Manual. University of Calgary (January 1996)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Gustafsson, J., Ermedahl, A., Lisper, B.: Towards a flow analysis for embedded system c programs. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 287\u2013300 (2005)","DOI":"10.1109\/WORDS.2005.53"},{"key":"17_CR9","unstructured":"Hagino, T.: A Categorical Programming Language. PhD thesis, University of Edinburgh (1987)"},{"key":"17_CR10","unstructured":"Steven Li, Y.-T., Malik, S., Wolfe, A.: Efficient microarchitecture modeling and path analysis for real-time software. In: 16th IEEE Real-Time Systems Symposium, p. 298 (1995)"},{"key":"17_CR11","unstructured":"MathWorld. Arrow notation (1999), \n \n http:\/\/mathworld.wolfram.com\/ArrowNotation.html"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M.M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes, J. (ed.) Functional Programming Languages and Computer Architecture. LNCS, vol.\u00a0523, pp. 124\u2013144. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2008: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77566-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:44:50Z","timestamp":1619520290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77566-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540775652","9783540775669"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77566-9_17","relation":{},"subject":[]}}