{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:20:19Z","timestamp":1761895219498},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201021"},{"type":"electronic","value":"9783540398158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39815-8_3","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T14:49:51Z","timestamp":1294411791000},"page":"37-56","source":"Crossref","is-referenced-by-count":42,"title":["Hume: A Domain-Specific Language for Real-Time Embedded Systems"],"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","reference":[{"key":"3_CR1","unstructured":"Amey, P.: Correctness by Construction: Better can also be Cheaper. CrossTalk: the Journal of Defense Software Engineering, 24\u201328 (March 2002)"},{"key":"3_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2714-2","volume-title":"Verification of Sequential and Concurrent Programs","author":"K.R. Apt","year":"1997","unstructured":"Apt, K.R., Olderog, E.-R.: Verification of Sequential and Concurrent Programs, 2nd edn. Springer, Heidelberg (1997)","edition":"2"},{"key":"3_CR3","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1993","unstructured":"Armstrong, J., Virding, S.R., Williams, M.C.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"3_CR4","unstructured":"Barabanov, M.: A Linux-based Real-Time Operating System, M.S. Thesis, Dept. of Comp. Sci., New Mexico Institute of Mining and Technology (June 1997)"},{"key":"3_CR5","volume-title":"High Integrity Ada: the Spark Approach","author":"J. Barnes","year":"1997","unstructured":"Barnes, J.: High Integrity Ada: the Spark Approach. Addison-Wesley, Reading (1997)"},{"key":"3_CR6","volume-title":"The Real-Time Specification for Java","author":"G. Bollela","year":"2000","unstructured":"Bollela, G., et al.: The Real-Time Specification for Java. Addison-Wesley, Reading (2000)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Brosgol, B., Dobbing, B.: Real-Time Convergence of Ada and Java. In: Proc. ACM SIGAda Annual Intl. Conf., Bloomington MN, September-October 2001, pp. 11\u201326 (2001)","DOI":"10.1145\/507574.507579"},{"key":"3_CR8","first-page":"653","volume-title":"Real-Time Systems and Programming Languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn., vol.\u00a0Ch. 17, pp. 653\u2013684. Addison Wesley Longman, Amsterdam (2001)","edition":"3"},{"key":"3_CR9","unstructured":"Claessen, K., Sheeran, M.: A Tutorial on Lava: a Hardware Description and Verification System., Tech. Rept., Chalmers Univ. of Tech., Sweden (August 2000)"},{"key":"3_CR10","unstructured":"Burstall, R.: Inductively Defined Functions in Functional Programming Languages, Dept. of Comp. Sci., Univ. of Edinburgh, ECS-LFCS-87-25 (April 1987)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Hammond, K.: Hume: a Bounded Time Concurrent Language. In: Proc. IEEE Conf. on Electronics and Control Systems (ICECS \u20192K), Kaslik, Lebanon, December 2000, pp. 407\u2013411 (2000)","DOI":"10.1109\/ICECS.2000.911567"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-45361-X_8","volume-title":"Proc. Impl. of Funct. Langs. (IFL 2000)","author":"K. Hammond","year":"2001","unstructured":"Hammond, K.: The Dynamic Properties of Hume: a Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 122\u2013139. Springer, Heidelberg (2001)"},{"key":"3_CR13","unstructured":"Hammond, K., Michaelson, G.J.: The Mine Drainage Control System in Hume (January 2003), http:\/\/www.hume-lang.org\/examples\/pump"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44854-3_1","volume-title":"Implementation of Functional Languages","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Michaelson, G.J.: Predictable Space Behaviour in FSM-Hume. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670. Springer, Heidelberg (2003)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/3-540-45706-2_85","volume-title":"Euro-Par 2002. Parallel Processing","author":"J. Hawkins","year":"2002","unstructured":"Hawkins, J., Abdallah, A.: An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware. In: Monien, B., Feldmann, R.L. (eds.) Euro-Par 2002. LNCS, vol.\u00a02400, pp. 615\u2013619. Springer, Heidelberg (2002)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-46425-5_11","volume-title":"Programming Languages and Systems","author":"M. Hofmann","year":"2000","unstructured":"Hofmann, M.: A Type System for Bounded Space and Functional In-Place Update. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, p. 165. Springer, Heidelberg (2000)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M., Pareto, L., Sabry, A.: Proving the Correctness of Reactive Systems Using Sized Types. In: Proc. POPL 1996 \u2014 ACM Symp. on Principles of Programming Languages, St. Petersburg Beach, FL (January 1996)","DOI":"10.1145\/237721.240882"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M., Pareto, L.: Recursion and Dynamic Data Structures in Bounded Space: Towards Embedded ML Programming. In: Proc. 1999 ACM Intl. Conf. on Functional Programming (ICFP 1999), Paris, France, pp. 70\u201381 (1999)","DOI":"10.1145\/317636.317785"},{"key":"3_CR19","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Addison-Wesley, Reading (April 1999)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/CBO9780511605611.013","volume-title":"Computing Tomorrow: Future Research Directions in Computer Science","author":"J. McDermid","year":"1996","unstructured":"McDermid, J.: Engineering Safety-Critical Systems. In: Wand, I., Milner, R. (eds.) Computing Tomorrow: Future Research Directions in Computer Science, pp. 217\u2013245. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Matthews, J.L., Launchbury, J., Cook, B.: Microprocessor Specification in Hawk. In: Proc. Intl. Conf. on Computer Science, Chicago (1998)","DOI":"10.1109\/ICCL.1998.674160"},{"key":"3_CR22","unstructured":"Peyton Jones, S.L. (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)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44854-3_15","volume-title":"Implementation of Functional Languages","author":"A.J. Reb\u00f3n Portillo","year":"2003","unstructured":"Reb\u00f3n Portillo, A.J., Hammond, K., Loidl, H.-W., Vasconcelos, P.: Automatic Size and Time Inference. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, Springer, Heidelberg (2003) (to appear)"},{"key":"3_CR24","unstructured":"Sayeed, T., Shaylor, N., Taivalsaari, A.: Connected, Limited Device Configuration (CLDC) for the J2ME Platform and the K Virtual Machine (KVM). In: Proc. JavaOne \u2013 Sun\u2019s Worldwide 2000 Java Developers Conf., San Francisco (June 2000)"},{"key":"3_CR25","unstructured":"Shaylor, N.: A Just-In-Time Compiler for Memory Constrained Low-Power Devices. In: Proc. 2nd Usenix Symposium on Java Virtual Machine Research and Technlog (JVM 2002), San Francisco (August 2002)"},{"issue":"2","key":"3_CR26","first-page":"109","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.-P.: Region-based Memory Management. Information and Control\u00a0132(2), 109\u2013176 (1997)","journal-title":"Information and Control"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Functional Programming Languages in Education","author":"D.A. Turner","year":"1995","unstructured":"Turner, D.A.: Elementary Strong Functional Programming. In: Hartel, P.H., Plasmeijer, R. (eds.) FPLE 1995. LNCS, vol.\u00a01022. Springer, Heidelberg (1995)"},{"key":"3_CR28","unstructured":"Unnikrishnan, L., Stoller, S.D., Liu, Y.A.: Automatic Accurate Stack Sapce and Heap-Space Analysis for High-Level Languages., Technical Report TR-538, Dept. of Comp. Sci., Indiana University (2000)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Wallace, M., Runciman, C.: Extending a Functional Programming System for Embedded Applications. Software: Practice & Experience\u00a025(1) (January 1995)","DOI":"10.1002\/spe.4380250105"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Wan, Z., Taha, W., Hudak, P.: Real-Time FRP. In: Proc. Intl Conf. on Funct. Prog. \u2014 ICFP 2001, Firenze, Italy (2001)","DOI":"10.1145\/507635.507654"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39815-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:40:20Z","timestamp":1559929220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39815-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201021","9783540398158"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39815-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}