{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:53:42Z","timestamp":1730213622271,"version":"3.28.0"},"reference-count":97,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4,12]]},"DOI":"10.1109\/dcps.2016.7588296","type":"proceedings-article","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T20:39:47Z","timestamp":1476736787000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Real-time capabilities in functional languages"],"prefix":"10.1109","author":[{"given":"Jeffrey C","family":"Murphy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bhargav","family":"Shivkumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukasz","family":"Ziarek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1183088.1183093"},{"key":"ref38","article-title":"Is it time for real-time functional programming","volume":"4","author":"hammond","year":"2003","journal-title":"Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming TFP 2003"},{"journal-title":"Erlang programming language official website","year":"0","key":"ref33"},{"journal-title":"Mlkit documentation","year":"0","author":"elsman","key":"ref32"},{"journal-title":"A concurrency system for idris and erlang","year":"2015","author":"elliott","key":"ref31"},{"article-title":"Porting immix to haskell as a gsoc project","year":"2010","author":"silva","key":"ref30"},{"key":"ref37","first-page":"122","author":"hammond","year":"0","journal-title":"Implementation of Functional Languages 12th Int'l Workshop IFL 2000 Aachen"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512547"},{"journal-title":"FRP in racket programming language","year":"0","key":"ref35"},{"journal-title":"Garbage collection in erlang","year":"0","key":"ref34"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/512429.512433"},{"journal-title":"Curry programming language official website","year":"0","key":"ref27"},{"journal-title":"Implementing the immix garbage collection algorithm on ghc","year":"2010","author":"silva","key":"ref29"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-9011-0"},{"year":"0","key":"ref22"},{"journal-title":"Expert F# 4 0 Apress","year":"2015","author":"cisternino","key":"ref21"},{"year":"0","key":"ref24"},{"year":"0","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1706356.1706370"},{"key":"ref25","first-page":"55","author":"conchon","year":"2007","journal-title":"Lightweight integration of the ergo theorem prover inside a proof assistant In Proceedings of the Second Workshop on Automated Formal Methods AFM ‘07"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620420"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2003690.2003692"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1375634.1375637"},{"journal-title":"Macros in racket","year":"0","key":"ref58"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365463"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/286860.286873"},{"key":"ref55","first-page":"1","article-title":"Adding real-time capabilities to a sml compiler","author":"li","year":"2015","journal-title":"DPRTCPS The First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems DPRTCPS ‘15"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535841"},{"journal-title":"Kics 2 A curry compiler with haskell target","year":"0","key":"ref53"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-011-9127-8"},{"journal-title":"The hume report version 1 1","year":"0","author":"hammond","key":"ref40"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289967"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.09.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1375657.1375659"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450092"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604155"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289963"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780744"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/130854.130862"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.845"},{"journal-title":"Atom A synchronous hard real-time edsl for ghc","year":"0","author":"hawkins","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"journal-title":"Dance A declarative language for the control of humanoid robots Technical Report YALEU\/DCS\/RR-1253 Yale University","year":"2003","author":"huang","key":"ref47"},{"key":"ref42","article-title":"A concurrent implementation of curry in java","author":"hanus","year":"1997","journal-title":"Proc ILPS'97 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.01.002"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2001.922817"},{"journal-title":"Scala rx frp implementation in scala","year":"0","author":"haoyi","key":"ref43"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/1296907.1296927"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_26"},{"journal-title":"Undergraduate honours project Provably safe real-time programming","year":"2004","author":"penner","key":"ref71"},{"key":"ref70","first-page":"387","article-title":"Region-based memory management for real-time Java","author":"parain","year":"2001","journal-title":"Proceedings of the Fourth Int'l Symposium on Object-Oriented Real-Time Distributed Computing ISORC ‘01"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.40"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755922"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/1254766.1254784"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375587"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806615"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620421"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1993478.1993482"},{"journal-title":"Miranda official website","year":"0","key":"ref62"},{"key":"ref61","first-page":"217","author":"mcdermid","year":"1996","journal-title":"Computing tomorrow chapter Engineering Safety-critical Systems"},{"journal-title":"MLton","year":"0","key":"ref63"},{"year":"2016","author":"murphy","key":"ref64"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155111"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1292520.1292525"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/227986.228000"},{"journal-title":"An overview of the scala programming language Technical report","year":"2004","author":"odersky","key":"ref68"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1324969.1324974"},{"journal-title":"oSCJ Computer science department annual report Purdue University","year":"2010","key":"ref69"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9024-3"},{"journal-title":"An implementation of charity","year":"2003","author":"zeng","key":"ref95"},{"journal-title":"Yale haskell group","year":"0","key":"ref94"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44854-3_14"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507654"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001560"},{"journal-title":"Basic ideas behind uniqueness typing","year":"0","key":"ref90"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.51"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993572"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_21"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375586"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620427"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.31"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/2.846318"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"journal-title":"Real-Time Java Programming With Java RTS Prentice Hall PTR","year":"2009","author":"bruno","key":"ref16"},{"journal-title":"Places in racket programming language","year":"0","key":"ref82"},{"key":"ref17","first-page":"72","author":"butterfield","year":"0","journal-title":"Implementation of Functional Languages 13th Int'l Workshop IFL 2001 Stockholm"},{"journal-title":"Futures in racket programming language","year":"0","key":"ref81"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2043910.2043915"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/2822304.2822313"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378823"},{"key":"ref83","article-title":"Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems","author":"salagnac","year":"2006","journal-title":"Workshop on Implementation Compilation Optimization of Object-Oriented Languages Programs and Systems in association with the 20th ACM ECOOP Conf"},{"journal-title":"Racket programming language","year":"0","key":"ref80"},{"journal-title":"Programming with regions in the MLKit (revised for version 4 3 0) Technical report IT University of Copenhagen","year":"2006","author":"tofte","key":"ref89"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/1288940.1288954"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796814000161"},{"journal-title":"Timber A gentle introduction","year":"0","key":"ref88"}],"event":{"name":"2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)","start":{"date-parts":[[2016,4,12]]},"location":"Vienna, Austria","end":{"date-parts":[[2016,4,12]]}},"container-title":["2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7587771\/7588293\/07588296.pdf?arnumber=7588296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T19:58:09Z","timestamp":1478289489000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7588296\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,12]]},"references-count":97,"URL":"https:\/\/doi.org\/10.1109\/dcps.2016.7588296","relation":{},"subject":[],"published":{"date-parts":[[2016,4,12]]}}}