{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:35:53Z","timestamp":1761323753656},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,6,1]],"date-time":"2010-06-01T00:00:00Z","timestamp":1275350400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10990-011-9067-y","type":"journal-article","created":{"date-parts":[[2011,6,8]],"date-time":"2011-06-08T12:33:02Z","timestamp":1307536382000},"page":"191-226","source":"Crossref","is-referenced-by-count":7,"title":["Hume box calculus: robust system development through software transformation"],"prefix":"10.1007","volume":"23","author":[{"given":"Gudmund","family":"Grov","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":[[2011,6,9]]},"reference":[{"issue":"2","key":"9067_CR1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253\u2013284 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"9067_CR2","first-page":"131","volume-title":"Tenth Symposium on Trends in Functional Programming","author":"A. Al Zain","year":"2009","unstructured":"Al Zain, A., Michaelson, G., Hammond, K.: Multi-core parallelisation for Hume. In: Horvath, Z., Zsok, V., Achten, P., Koopman, P. (eds.) Tenth Symposium on Trends in Functional Programming, Komarno, Slovakia, 2\u20134 June 2009, pp.\u00a0131\u2013142 (2009)"},{"issue":"2","key":"9067_CR3","first-page":"87","volume":"16","author":"M. Aldinucci","year":"2001","unstructured":"Aldinucci, M., Gorlatch, S., Lengauer, C., Pelagatti, S.: Towards parallel programming by transformation: the FAN skeleton framework. Int. J. Parallel Emerg. Distrib. Syst. 16(2), 87\u2013121 (2001)","journal-title":"Int. J. Parallel Emerg. Distrib. Syst."},{"issue":"2\u20133","key":"9067_CR4","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.tcs.2004.07.036","volume":"335","author":"J.C.M. Baeten","year":"2005","unstructured":"Baeten, J.C.M.: A\u00a0brief history of process algebra. Theor. Comput. Sci. 335(2\u20133), 131\u2013146 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"9067_CR5","volume-title":"Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, New York (1997)"},{"key":"9067_CR6","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1007\/3-540-61626-8_93","volume-title":"EuroPar\u201996\u2014European Conference on Parallel Processing","author":"S. Breitinger","year":"1996","unstructured":"Breitinger, S., Loogen, R., Ortega Mall\u00e9n, Y., Pe\u00f1a Mar\u00ed, R.: Eden\u2014the paradise of functional concurrent programming. In: EuroPar\u201996\u2014European Conference on Parallel Processing, Lyon, France, August. LNCS, vol.\u00a01123, pp.\u00a0710\u2013713. Springer, Berlin (1996)"},{"issue":"1","key":"9067_CR7","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. Burstall","year":"1977","unstructured":"Burstall, R., Darlington, J.: A\u00a0transformation system for developing recursive programs. J. ACM 24(1), 44\u201367 (1977)","journal-title":"J. ACM"},{"issue":"1","key":"9067_CR8","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/s00165-004-0054-5","volume":"17","author":"A. Cook","year":"2005","unstructured":"Cook, A., Ireland, A., Michaelson, G.J., Scaife, N.: Discovering applications of higher order functions through proof planning. J. Form. Asp. Comput. 17(1), 38\u201357 (2005)","journal-title":"J. Form. Asp. Comput."},{"issue":"1\u20133","key":"9067_CR9","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0304-3975(02)00088-9","volume":"300","author":"R. Devillers","year":"2003","unstructured":"Devillers, R., Klaudel, H., Riemann, R.-C.: General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. 300(1\u20133), 259\u2013300 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"9067_CR10","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"9067_CR11","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/1101908.1101995","volume-title":"Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE-05)","author":"G. Grov","year":"2005","unstructured":"Grov, G.: Verifying the correctness of Hume programs\u2014an approach combining algorithmic and deductive reasoning. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE-05), pp.\u00a0444\u2013447. ACM Press, New York (2005)"},{"key":"9067_CR12","unstructured":"Grov, G.: Reasoning About Corectness Properties of a Coordination Language. PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University (2009)"},{"key":"9067_CR13","first-page":"45","volume-title":"2nd International Workshop on Invariant Generation (WING\u201909)","author":"G. Grov","year":"2009","unstructured":"Grov, G., Ireland, A.: Towards automated property discovery within Hume. In: Ireland, A., Kovacs, L. (eds.) 2nd International Workshop on Invariant Generation (WING\u201909), pp.\u00a045\u201359 (2009)"},{"key":"9067_CR14","first-page":"71","volume-title":"Trends in Functional Programming","author":"G. Grov","year":"2008","unstructured":"Grov, G., Michaelson, G.: Towards a box calculus for hierarchical Hume. In: Morazon, M. (ed.) Trends in Functional Programming, vol.\u00a08, pp.\u00a071\u201388 (2008)"},{"key":"9067_CR15","first-page":"126","volume-title":"Coordination Models, Languages and Applications Track of the 23rd Annual ACM Symposium on Applied Computing","author":"G. Grov","year":"2008","unstructured":"Grov, G., Pointon, R., Michaelson, G., Ireland, A.: Preserving coordination properties when transforming concurrent system components. In: Coordination Models, Languages and Applications Track of the 23rd Annual ACM Symposium on Applied Computing, 1515 Broadway, New York, March 2008, vol.\u00a01, pp.\u00a0126\u2013127. The Association for Computing Machinery, Inc., New York (2008)"},{"key":"9067_CR16","volume-title":"Draft Proceedings of 21st International Symposium on Implementation and Application of Functional Languages","author":"G. Grov","year":"2009","unstructured":"Grov, G., Michaelson, G., Al Zain, A.: Multi-core parallelisation of Hume through structured transformation. In: Draft Proceedings of 21st International Symposium on Implementation and Application of Functional Languages, Seton-Hall University, New Jersey, September (2009)"},{"key":"9067_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-540-39815-8_3","volume-title":"Proc. Conf. Generative Programming and Component Engineering (GPCE \u201903)","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Michaelson, G.J.: Hume: a domain-specific language for real-time embedded systems. In: Proc. Conf. Generative Programming and Component Engineering (GPCE \u201903). Lecture Notes in Computer Science, pp.\u00a037\u201356. Springer, Berlin (2003)"},{"key":"9067_CR18","volume-title":"Proc. Workshop on Innovative Techniques for Certification of Embedded Systems","author":"K. Hammond","year":"2006","unstructured":"Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hoffmann, M., Jost, S., Loidl, H.-W., Michaelson, G., Pointon, R., Scaife, N., S\u00e9rot, J., Wallace, A.: Towards formally verifiable resource bounds for real-time embedded systems. In: Proc. Workshop on Innovative Techniques for Certification of Embedded Systems (2006)"},{"key":"9067_CR19","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-540-74130-5_6","volume-title":"International Conference on Implementation and Application of Functional Languages","author":"K. Hammond","year":"2007","unstructured":"Hammond, K., Grov, G., Michaelson, G., Ireland, A.: Low-level programming in Hume: an exploration of the HW-Hume level. In: International Conference on Implementation and Application of Functional Languages, Budapest, Hungary, September 2006. LNCS, vol.\u00a04449, pp.\u00a091\u2013107. Springer, Berlin (2007)"},{"key":"9067_CR20","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"9067_CR21","first-page":"49","volume-title":"Trends in Functional Programming","author":"G. Hutton","year":"2006","unstructured":"Hutton, G., Wright, J.: Calculating an exceptional machine. In: Loidl, H.-W. (ed.) Trends in Functional Programming, vol.\u00a05, pp.\u00a049\u201364 (2006)"},{"key":"9067_CR22","unstructured":"Jost, S.: Formal Hume semantics. EmBounded Project Deliverable (2008). Deliverable D12. Available at http:\/\/www.embounded.org\/"},{"key":"9067_CR23","first-page":"182","volume-title":"HPFC\u201995\u2014Conference on High Performance Functional Computing","author":"M.H.G. Kesseler","year":"1995","unstructured":"Kesseler, M.H.G.: Constructing skeletons in clean: the bare bones. In: HPFC\u201995\u2014Conference on High Performance Functional Computing, Denver, CO, April 10\u201312, pp.\u00a0182\u2013192 (1995)"},{"issue":"3","key":"9067_CR24","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Toplas 16(3), 872\u2013923 (1994)","journal-title":"ACM Toplas"},{"key":"9067_CR25","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/SCAM.2006.8","volume-title":"Proceedings of 6th IEEE Workshop on Source Code Analysis and Manipulation","author":"H. Li","year":"2006","unstructured":"Li, H., Thompson, S.: A\u00a0comparative study of refactoring Haskell and Erlang programs. In: Proceedings of 6th IEEE Workshop on Source Code Analysis and Manipulation, Philadelphia, USA, September, pp.\u00a0197\u2013206 (2006)"},{"key":"9067_CR26","doi-asserted-by":"crossref","unstructured":"Madden, P.: Automated Program Transformation Through Proof Transformation. PhD thesis, University of Edinburgh (1991)","DOI":"10.1007\/3-540-55602-8_183"},{"key":"9067_CR27","volume-title":"Mathematical Theory of Computing","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of Computing. McGraw-Hill, New York (1974)"},{"key":"9067_CR28","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/01495730108935271","volume":"16","author":"G. Michaelson","year":"2001","unstructured":"Michaelson, G., Scaife, N., Bristow, P., King, P.: Nested algorithmic skeletons from higher order functions. Parallel Algorithms Appl. 16, 181\u2013206 (2001). Special Issue on High Level Models and Languages for Parallel Processing","journal-title":"Parallel Algorithms Appl."},{"key":"9067_CR29","first-page":"19","volume-title":"Trends in Functional Programming","author":"G. Michaelson","year":"2004","unstructured":"Michaelson, G., Hammond, K., S\u00e9rot, J.: The finite state-ness of FSM-Hume. In: Trends in Functional Programming, vol.\u00a04, pp.\u00a019\u201328. Intellect, Bristol (2004)"},{"key":"9067_CR30","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1990","unstructured":"Morgan, C.: Programming from Specifications. Prentice-Hall, New York (1990)"},{"key":"9067_CR31","doi-asserted-by":"crossref","unstructured":"Schneider, S., Treharne, H.: CSP theorems for communicating B machines. Form. Asp. Comput. 17(4) (2005)","DOI":"10.1007\/s00165-005-0076-7"},{"issue":"1","key":"9067_CR32","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P.W. Trinder","year":"1998","unstructured":"Trinder, P.W., Hammond, K., Loidl, H.-W., Peyton Jones, S.L.: Algorithm + strategy = parallelism. J. Funct. Program. 8(1), 23\u201360 (1998)","journal-title":"J. Funct. Program."},{"issue":"1","key":"9067_CR33","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1016\/j.jsc.2004.12.011","volume":"40","author":"E. Visser","year":"2005","unstructured":"Visser, E.: A\u00a0survey of strategies in rule-based program transformation systems. J. Symb. Comput. 40(1), 831\u2013873 (2005). Special issue on Reduction Strategies in Rewriting and Programming","journal-title":"J. Symb. Comput."}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-011-9067-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-011-9067-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-011-9067-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T14:20:55Z","timestamp":1560262855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-011-9067-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["9067"],"URL":"https:\/\/doi.org\/10.1007\/s10990-011-9067-y","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6]]}}}