{"title":"A case study on partial evaluation in embedded software design","authors":"Michael Jung, R. Laue, S. Huss","doi":"10.1109/SEUS.2005.1","DOIUrl":null,"url":null,"abstract":"Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. However, designing generators adds additional complexity to the software development process. Partial evaluation promises to provide some means of automation in generator development. This paper reports on our experiences with the implementation of a generator for an embedded operating system, utilizing the partial evaluator C-Mix/II.","PeriodicalId":384535,"journal":{"name":"Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEUS.2005.1","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. However, designing generators adds additional complexity to the software development process. Partial evaluation promises to provide some means of automation in generator development. This paper reports on our experiences with the implementation of a generator for an embedded operating system, utilizing the partial evaluator C-Mix/II.