{"title":"函数式语言中的实时功能","authors":"Jeffrey C. Murphy, B. Shivkumar, Lukasz Ziarek","doi":"10.1109/DCPS.2016.7588296","DOIUrl":null,"url":null,"abstract":"Functional programming languages play an important role in the development of provably correct software systems. As embedded devices become pervasive and perform critical tasks in our lives, their reliability becomes paramount. This presents a natural opportunity to explore the application of functional programming languages to systems that demand highly predictable behavior. In this paper we explore existing functional programming language compilers and their applicability to realtime, embedded systems.","PeriodicalId":187873,"journal":{"name":"2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Real-time capabilities in functional languages\",\"authors\":\"Jeffrey C. Murphy, B. Shivkumar, Lukasz Ziarek\",\"doi\":\"10.1109/DCPS.2016.7588296\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Functional programming languages play an important role in the development of provably correct software systems. As embedded devices become pervasive and perform critical tasks in our lives, their reliability becomes paramount. This presents a natural opportunity to explore the application of functional programming languages to systems that demand highly predictable behavior. In this paper we explore existing functional programming language compilers and their applicability to realtime, embedded systems.\",\"PeriodicalId\":187873,\"journal\":{\"name\":\"2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)\",\"volume\":\"57 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-04-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DCPS.2016.7588296\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DCPS.2016.7588296","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Functional programming languages play an important role in the development of provably correct software systems. As embedded devices become pervasive and perform critical tasks in our lives, their reliability becomes paramount. This presents a natural opportunity to explore the application of functional programming languages to systems that demand highly predictable behavior. In this paper we explore existing functional programming language compilers and their applicability to realtime, embedded systems.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
