{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:24:45Z","timestamp":1725560685187},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221197"},{"type":"electronic","value":"9783540259350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25935-0_8","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T19:46:50Z","timestamp":1279828010000},"page":"127-142","source":"Crossref","is-referenced-by-count":4,"title":["The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain"],"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":"8_CR1","unstructured":"Amey, P.: Correctness by Construction: Better can also be Cheaper. CrossTalk: the Journal of Defense Software Engineering, 24\u201328 (March 2002)"},{"key":"8_CR2","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":"8_CR3","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":"8_CR4","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":"8_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Guernic, P.L.: Synchronous Programming with Events and Relations: the Signal Language and its Semantics. Science of Computer Programming\u00a016, 103\u2013149 (1991)","journal-title":"Science of Computer Programming"},{"key":"8_CR6","series-title":"Proof, Language, and Interaction","volume-title":"The Foundations of Esterel","author":"G. Berry","year":"2000","unstructured":"Berry, G.: The Foundations of Esterel. Proof, Language, and Interaction. MIT Press, Cambridge (2000)"},{"key":"8_CR7","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)"},{"issue":"6","key":"8_CR8","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/232629.232651","volume":"31","author":"P. Caspi","year":"1996","unstructured":"Caspi, P., Pouzet, M.: Synchronous Kahn Networks. SIGPLAN Notices\u00a031(6), 226\u2013238 (1996)","journal-title":"SIGPLAN Notices"},{"key":"8_CR9","unstructured":"Chakravarty, M. (ed.), Finne, S.O., Henderson, F., Kowalczyk, M., Leijen, D., Marlow, S., Meijer, E., Panne, S., Peyton Jones, S.L., Reid, A., Wallace, M., Weber, M.: The Haskell 98 Foreign Function Interface 1.0 (December 2003), \n                    \n                      http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi"},{"key":"8_CR10","volume-title":"Linux Device Drivers","author":"J. Corbet","year":"2001","unstructured":"Corbet, J., Rubini, A.: Linux Device Drivers, 2nd edn. O\u2019Reilly, Sebastopol (2001)","edition":"2"},{"key":"8_CR11","unstructured":"The Ganssle Group. Perfecting the Art of Building Embedded Systems (May 2003), \n                    \n                      http:\/\/www.ganssle.com"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-52148-8_18","volume-title":"Automatic Verification Methods for Finite State Systems","author":"N. Halbwachs","year":"1990","unstructured":"Halbwachs, N., Pilaud, D., Ouabdesselam, F.: Specificying, Programming and Verifying Real-Time Systems using a Synchronous Declarative Language. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 213\u2013231. Springer, Heidelberg (1990)"},{"key":"8_CR13","unstructured":"Hammond, K.: An Abstract Machine Implementation for Embedded Systems Applications in Hume. Submitted to 2003 Workshop on Implementations of Functional Languages (IFL 2003), Edinburgh (2003)"},{"key":"8_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":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-39815-8_3","volume-title":"Generative Programming and Component Engineering","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Michaelson, G.J.: Hume: A Domain-Specific Language for Real-Time Embedded Systems. In: Pfenning, F., Smaragdakis, Y. (eds.) GPCE 2003. LNCS, vol.\u00a02830, pp. 37\u201356. Springer, Heidelberg (2003)"},{"key":"8_CR16","unstructured":"Hammond, K., Loidl, H.-W., Reb\u00f3n Portillo, A.J., Vasconcelos, P.: A Type-and- Effect System for Determining Time and Space Bounds of Recursive Functional Programs (2003) (in Preparation)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"8_CR18","first-page":"258","volume":"7","author":"M. Hofmann","year":"2000","unstructured":"Hofmann, M.: A Type System for Bounded Space and Functional In-place Update. Nordic Journal of Computing\u00a07(4), 258\u2013289 (2000)","journal-title":"Nordic Journal of Computing"},{"key":"8_CR19","volume-title":"Proc. POPL 2003 \u2014 Symposium on Principles of Programming Languages","author":"M. Hofmann","year":"2003","unstructured":"Hofmann, M., Jost, S.: Static Prediction of Heap Space Usage for First-Order Functional Programs. In: Proc. POPL 2003 \u2014 Symposium on Principles of Programming Languages, New Orleans, LA, USA, January 2003. ACM Press, New York (2003)"},{"key":"8_CR20","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":"8_CR21","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":"8_CR22","volume-title":"Synthesis of Digital Designs from Recursive Equations","author":"S.D. Johnson","year":"1984","unstructured":"Johnson, S.D.: Synthesis of Digital Designs from Recursive Equations. MIT Press, Cambridge (1984); ISBN 0-262-10029-0"},{"key":"8_CR23","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":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-25935-0_9","volume-title":"Domain-Specific Program Generation","author":"J.T. O\u2019Donnell","year":"2004","unstructured":"O\u2019Donnell, J.T.: The Hydra Hardware Description Language. In: Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 143\u2013164. Springer, Heidelberg (2004)"},{"key":"8_CR25","unstructured":"Peyton Jones, S.L. (ed.), Augustsson, L., Boutel, B., Burton, F.W., Fasel, J.H., Gordon, A.D., Hammond, K., Hughes, R.J.M., Hudak, P., Johnsson, T., Jones, M.P., Peterson, J.C., Reid, A., Wadler, P.L.: Report on the Non-Strict Functional Language, Haskell (Haskell 1998). Yale University (1999)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Gordon, A.D., Finne, S.O.: Concurrent Haskell. In: Proc. ACM Symp. on Princ. of Prog. Langs., St Petersburg Beach, Fl, January 1996, pp. 295\u2013308 (1996)","DOI":"10.1145\/237721.237794"},{"key":"8_CR27","unstructured":"Pointon, R.: A Rate Analysis for Hume. Heriot-Watt University (2004) (in preparation)"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Implementation of Functional Languages","author":"A.J.R. Portillo","year":"2003","unstructured":"Portillo, A.J.R., 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)"},{"key":"8_CR29","unstructured":"Sakkinen, M.: The Darker Side of C++ Revisited, Technical Report 1993-I-13 (1993), \n                    \n                      http:\/\/www.kcl.ac.uk\/kis\/support\/cit\/\/fortran\/cpp\/dark-cpl.ps"},{"key":"8_CR30","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 World wide 2000 Java Developers Conf., San Francisco (June 2000)"},{"key":"8_CR31","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)"},{"key":"8_CR32","first-page":"10","volume":"52","author":"E. Schoitsch","year":"2003","unstructured":"Schoitsch, E.: Embedded Systems \u2013 Introduction. ERCIM News\u00a052, 10\u201311 (2003)","journal-title":"ERCIM News"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-45587-6_11","volume-title":"Practical Aspects of Declarative Languages","author":"Z. Wan","year":"2002","unstructured":"Wan, Z., Taha, W., Hudak, P.: Event-driven FRP. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol.\u00a02257, p. 155. Springer, Heidelberg (2002)"},{"issue":"2","key":"8_CR34","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":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-27861-0_6","volume-title":"Implementation of Functional Languages","author":"P.B. Vasconcelos","year":"2004","unstructured":"Vasconcelos, P.B., Hammond, K.: Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol.\u00a03145, pp. 86\u2013101. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Domain-Specific Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25935-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:47Z","timestamp":1605761927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25935-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221197","9783540259350"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25935-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}