{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:44Z","timestamp":1750307924094,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244285","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"1307-1314","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards resource-certified software"],"prefix":"10.1145","author":[{"given":"Armelle","family":"Bonenfant","sequence":"first","affiliation":[{"name":"University of St Andrews, St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zezhi","family":"Chen","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Riccarton, Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Hammond","sequence":"additional","affiliation":[{"name":"University of St Andrews, St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Riccarton, Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Wallace","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Riccarton, Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iain","family":"Wallace","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Riccarton, Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646005.673740"},{"key":"e_1_3_2_1_2_1","volume-title":"Erlang","author":"Armstrong J.","year":"1993","unstructured":"J. Armstrong , S. Virding , and M. Williams . Concurrent Prog . in Erlang . Prentice-Hall , 1993 . J. Armstrong, S. Virding, and M. Williams. Concurrent Prog. in Erlang. Prentice-Hall, 1993."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. ESOP'04 --- European Symposium on Programming","author":"Aspinall D.","year":"2004","unstructured":"D. Aspinall , L. Beringer , M. Hofmann , H.-W. Loidl , and A. Momigliano . A Resource-aware Program Logic for Grail . In Proc. ESOP'04 --- European Symposium on Programming , 2004 . D. Aspinall, L. Beringer, M. Hofmann, H.-W. Loidl, and A. Momigliano. A Resource-aware Program Logic for Grail. In Proc. ESOP'04 --- European Symposium on Programming, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_3_2_1_5_1","volume-title":"STOP Summer School on Constructive Algorithmics","author":"Bird R.","year":"1989","unstructured":"R. Bird . Constructive Functional Programming . In STOP Summer School on Constructive Algorithmics , Abeland , 1989 . R. Bird. Constructive Functional Programming. In STOP Summer School on Constructive Algorithmics, Abeland, 1989."},{"key":"e_1_3_2_1_7_1","volume-title":"A Tutorial on Lava: a Hardware Desc. and Verification System","author":"Claessen K.","year":"2000","unstructured":"K. Claessen and M. Sheeran . A Tutorial on Lava: a Hardware Desc. and Verification System . Aug. 2000 . K. Claessen and M. Sheeran. A Tutorial on Lava: a Hardware Desc. and Verification System. Aug. 2000."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/34.1000236"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2003.1195991"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703893"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00010-6"},{"key":"e_1_3_2_1_12_1","unstructured":"R. Fisher. CAVIAR: Context Aware Vision using Image-based Active Recognition http:\/\/homepages.inf.ed.ac.uk\/rbf\/caviar\/ 2005.  R. Fisher. CAVIAR: Context Aware Vision using Image-based Active Recognition http:\/\/homepages.inf.ed.ac.uk\/rbf\/caviar\/ 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954189"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. Implementation of Functional Langs. (IFL '02)","author":"Hammond K.","year":"2003","unstructured":"K. Hammond and G. Michaelson . Predictable Space Behaviour in FSM-Hume . In Proc. Implementation of Functional Langs. (IFL '02) , Madrid, Spain , Springer-Verlag LNCS 2670, 2003 . K. Hammond and G. Michaelson. Predictable Space Behaviour in FSM-Hume. In Proc. Implementation of Functional Langs. (IFL '02), Madrid, Spain, Springer-Verlag LNCS 2670, 2003."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. EuroPar 2002","author":"Hawkins J.","year":"2002","unstructured":"J. Hawkins and A. Abdallah . Behavioural Synthesis of a Parallel Hardware JPEG Decoder from a Functitonal Specification . In Proc. EuroPar 2002 , Aug. 2002 . J. Hawkins and A. Abdallah. Behavioural Synthesis of a Parallel Hardware JPEG Decoder from a Functitonal Specification. In Proc. EuroPar 2002, Aug. 2002."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/763845.763847"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604148"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317785"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.240882"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/857172.857237"},{"key":"e_1_3_2_1_22_1","volume-title":"Linearly Bounded Heap Space Analysis","author":"Jost S.","year":"2006","unstructured":"S. Jost . Linearly Bounded Heap Space Analysis , Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen, Germany (in preparation). PhD thesis, 2006 . S. Jost. Linearly Bounded Heap Space Analysis, Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen, Germany (in preparation). PhD thesis, 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647171.716098"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40018-9_18"},{"key":"e_1_3_2_1_25_1","unstructured":"J. Nordlander M. Carlsson and M. Jones. Programming with Time-Constrained Reactions (unpublished report). http:\/\/www.cse.ogi.edu\/pacsoft\/projects\/Timber\/publications.htm. 2006.  J. Nordlander M. Carlsson and M. Jones. Programming with Time-Constrained Reactions (unpublished report). http:\/\/www.cse.ogi.edu\/pacsoft\/projects\/Timber\/publications.htm. 2006."},{"key":"e_1_3_2_1_26_1","volume-title":"Concurrency and Computation: Practice & Experience.","author":"Nystr\u00f6m J.","year":"2006","unstructured":"J. Nystr\u00f6m , P. Trinder , and D. King . High-level distribution for the rapid production of robust telecoms software: comparing c++ and erlang . Concurrency and Computation: Practice & Experience. , 18, December 2006 . J. Nystr\u00f6m, P. Trinder, and D. King. High-level distribution for the rapid production of robust telecoms software: comparing c++ and erlang. Concurrency and Computation: Practice & Experience., 18, December 2006."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. Implementation of Functional Langs. (IFL '02)","author":"Reb\u00f3n Portillo A.","year":"2003","unstructured":"A. Reb\u00f3n Portillo , K. Hammond , H.-W. Loidl , and P. Vasconcelos . A Sized Time System for a Parallel Functional Language (Revised) . In Proc. Implementation of Functional Langs. (IFL '02) , Madrid, Spain , Springer-Verlag LNCS 2670, 2003 . A. Reb\u00f3n Portillo, K. Hammond, H.-W. Loidl, and P. Vasconcelos. A Sized Time System for a Parallel Functional Language (Revised). In Proc. Implementation of Functional Langs. (IFL '02), Madrid, Spain, Springer-Verlag LNCS 2670, 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_29_1","volume-title":"Elementary Strong Functional Programming. In Proc. 1995 Symp. on Functl. Prog. Langs. in Education --- FPLE '95, LNCS. Springer-Verlag","author":"Turner D.","year":"1995","unstructured":"D. Turner . Elementary Strong Functional Programming. In Proc. 1995 Symp. on Functl. Prog. Langs. in Education --- FPLE '95, LNCS. Springer-Verlag , Dec. 1995 . D. Turner. Elementary Strong Functional Programming. In Proc. 1995 Symp. on Functl. Prog. Langs. in Education --- FPLE '95, LNCS. Springer-Verlag, Dec. 1995."},{"issue":"7","key":"e_1_3_2_1_30_1","first-page":"751","article-title":"Total Functional Programming","volume":"10","author":"Turner D.","year":"2004","unstructured":"D. Turner . Total Functional Programming . Journal of Universal Computing , 10 ( 7 ): 751 -- 768 , 2004 . D. Turner. Total Functional Programming. Journal of Universal Computing, 10(7):751--768, 2004.","journal-title":"Journal of Universal Computing"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27861-0_6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250105"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507654"}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244285","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:43Z","timestamp":1750258303000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244285"}},"subtitle":["a formal cost model for time and its application to an image-processing example"],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":32,"alternative-id":["10.1145\/1244002.1244285","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244285","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}