{"title":"走向递归框图","authors":"P Caspi","doi":"10.1016/0066-4138(94)90015-9","DOIUrl":null,"url":null,"abstract":"<div><p>Block diagrams have been recently successfully applied in programming safety critical control systems. This presentation investigates the interest of using recursion within this framework. First it identifies the necessary concepts for using recursion while remaining within the domain of real-time bounded memory, bounded response time systems and then it presents examples, which hopefully illustrate the interest of the approach.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 81-85"},"PeriodicalIF":0.0000,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90015-9","citationCount":"0","resultStr":"{\"title\":\"Towards recursive block diagrams\",\"authors\":\"P Caspi\",\"doi\":\"10.1016/0066-4138(94)90015-9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Block diagrams have been recently successfully applied in programming safety critical control systems. This presentation investigates the interest of using recursion within this framework. First it identifies the necessary concepts for using recursion while remaining within the domain of real-time bounded memory, bounded response time systems and then it presents examples, which hopefully illustrate the interest of the approach.</p></div>\",\"PeriodicalId\":100097,\"journal\":{\"name\":\"Annual Review in Automatic Programming\",\"volume\":\"18 \",\"pages\":\"Pages 81-85\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/0066-4138(94)90015-9\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annual Review in Automatic Programming\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/0066413894900159\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Review in Automatic Programming","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0066413894900159","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Block diagrams have been recently successfully applied in programming safety critical control systems. This presentation investigates the interest of using recursion within this framework. First it identifies the necessary concepts for using recursion while remaining within the domain of real-time bounded memory, bounded response time systems and then it presents examples, which hopefully illustrate the interest of the approach.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
