{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:57Z","timestamp":1725487077583},"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_1","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:56:07Z","timestamp":1184586967000},"page":"1-16","source":"Crossref","is-referenced-by-count":6,"title":["Predictable Space Behaviour in FSM-Hume"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Hammond","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt and E.-R. Olderog, Verification of Sequential and Concurrent Programs, 2nd Edition, Springer Verlag, 1997.","DOI":"10.1007\/978-1-4757-2714-2"},{"key":"1_CR2","unstructured":"J. Armstrong, S.R. Virding, and M.C. Williams, Concurrent Programming in Erlang, Prentice-Hall, 1993."},{"key":"1_CR3","volume-title":"Compiling Lazy Functional Languages, Part II","author":"L. Augustsson","year":"1987","unstructured":"L. Augustsson, Compiling Lazy Functional Languages, Part II, PhD Thesis, Dept. of Computer Science, Chalmers University of Technology, G\u00f6teborg, Sweden, 1987."},{"key":"1_CR4","unstructured":"M. Barabanov, A Linux-based Real-Time Operating System, M.S. Thesis, Dept. of Comp. Sci., New Mexico Institute of Mining and Technology, June 97."},{"key":"1_CR5","unstructured":"A. Burns and A. Wellings, Real-Time Systems and Programming Languages (Third Edition), Addison Wesley Longman, 2001, Chapter 17, pp. 653\u2013684."},{"key":"1_CR6","unstructured":"R. Burstall, \u201cInductively Defined Functions in Functional Programming Languages\u201d, Dept. of Comp. Sci., Univ. of Edinburgh, ECS-LFCS-87-25, April, 1987."},{"key":"1_CR7","series-title":"Memoranda Informatica","volume-title":"A Case Study in Functional Real-Time Programming","author":"D.H. Fijma","year":"1991","unstructured":"D.H. Fijma and R.T. Udink, \u201cA Case Study in Functional Real-Time Programming\u201d, Dept. of Computer Science, Univ. of Twente, The Netherlands, Memoranda Informatica 91-62, 1991."},{"key":"1_CR8","unstructured":"K. Hammond and G.J. Michaelson \u201cAn Abstract Machine Implementation for Embedded Systems Applications in Hume\u201d, http:\/\/www.hume-lang.org\/papers\/HAM.ps , January 2003."},{"key":"1_CR9","unstructured":"K. Hammond and G.J. Michaelson \u201cThe Mine Drainage Control System in Hume\u201d, http:\/\/www.hume-lang.org\/examples\/pump , January 2003."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"R.J.M. Hughes, L. Pareto, and A. Sabry. \u201cProving the Correctness of Reactive Systems Using Sized Types\u201d, Proc. POPL\u201996 \u2014 ACM Symp. on Principles of Programming Languages, St. Petersburg Beach, FL, Jan. 1996.","DOI":"10.1145\/237721.240882"},{"key":"1_CR11","unstructured":"R.J.M. Hughes and L. Pareto, \u201cRecursion and Dynamic Data Structures in Bounded Space: Towards Embedded ML Programming\u2019, Proc. 1999 ACM Intl. Conf. on Functional Programming (ICFP \u201d99), Paris, France, pp. 70\u201381, 1999."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"J. McDermid, \u201cEngineering Safety-Critical Systems\u201d, I. Wand and R. Milner(eds), Computing Tomorrow: Future Research Directions in Computer Science, Cambridge University Press, 1996, pp. 217\u2013245.","DOI":"10.1017\/CBO9780511605611.013"},{"key":"1_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/b71652","volume-title":"First International Workshop. on Practical Aspects of Declarative Languages (PADL\u2019 99), San Antonio, Texas","author":"J.C. Peterson","year":"1999","unstructured":"J.C. Peterson, P. Hudak and C. Elliot, \u201cLambda in Motion: Controlling Robots with Haskell\u201d, First International Workshop. on Practical Aspects of Declarative Languages (PADL\u2019 99), San Antonio, Texas, January 1999, Springer-Verlag LNCS No. 1551, pp. 91\u2013105."},{"key":"1_CR14","unstructured":"S.L. Peyton Jones (ed.), L. Augustsson, B. Boutel, F.W. Burton, J.H. Fasel, A.D. Gordon, K. Hammond, R.J.M. Hughes, P. Hudak, T. Johnsson, M.P. Jones, J.C. Peterson, A. Reid, and P.L. Wadler, Report on the Non-Strict Functional Language, Haskell (Haskell98) Yale University, 1999."},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S. L. P. Jones","year":"1992","unstructured":"S. L. Peyton Jones, \u201cImplementing Lazy Functional Languages on Stock Hardware: the Spineless Tagless G-Machine\u201d, J. Funct. Prog., 2(2): 127\u2013202, 1992.","journal-title":"J. Funct. Prog."},{"key":"1_CR16","unstructured":"A.J. Reb\u00f3n Portillo, Kevin Hammond, H.-W. Loidl and P. Vasconcelos, \u201cA Sized Time System for a Parallel Functional Language\u201d, Proc. Intl. Workshop on Implementation of Functional Languages (IFL 2002), Madrid, Spain, Sept. 2002."},{"issue":"2","key":"1_CR17","first-page":"109","volume":"132","author":"M. Tofte","year":"1997","unstructured":"M. Tofte and J.-P. Talpin, \u201cRegion-based Memory Management\u201d, Information and Control, 132(2), 1997, pp. 109\u2013176.","journal-title":"Information and Control"},{"key":"1_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Symp. on Funct. Prog. Langs. in Education \u2014 FPLE\u2019 95","author":"D.A. Turner","year":"1995","unstructured":"D.A. Turner, \u201cElementary Strong Functional Programming\u201d, Proc. Symp. on Funct. Prog. Langs. in Education \u2014 FPLE\u2019 95, Springer-Verlag LNCS No. 1022, Dec. 1995."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"M. Wallace and C. Runciman, \u201cExtending a Functional Programming System for Embedded Applications\u201d, Software: Practice & Experience, 25(1), January 1995.","DOI":"10.1002\/spe.4380250105"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:15:43Z","timestamp":1556666143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}