[{"doi":"10.1145/1017753.1017774","publisher":"Association for Computing Machinery","month":"09","day":"27","fulldoi":"https://doi.org/10.1145/1017753.1017774","article_processing_charge":"No","conference":{"name":"EMSOFT: Embedded Software ","start_date":"2004-09-27","end_date":"2004-09-29","location":"Pisa, Italy"},"date_published":"2004-09-27T00:00:00Z","publication_status":"published","year":"2004","quality_controlled":"1","publist_id":"285","language":[{"iso":"eng"}],"OA_type":"closed access","publication_identifier":{"isbn":["9781581138603"]},"acknowledgement":"This research was supported in part by the AFOSR MURI grant F49620-00-1-0327 and by the NSF grants CCR- 0208875 and CCR-0225610.","scopus_import":"1","publication":"Proceedings of the 4th ACM international conference on Embedded software","date_updated":"2026-05-29T09:45:12Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","page":"104 - 113","citation":{"mla":"Henzinger, Thomas A., and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs.” <i>Proceedings of the 4th ACM International Conference on Embedded Software</i>, Association for Computing Machinery, 2004, pp. 104–13, doi:<a href=\"https://doi.org/10.1145/1017753.1017774\">10.1145/1017753.1017774</a>.","ama":"Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: <i>Proceedings of the 4th ACM International Conference on Embedded Software</i>. Association for Computing Machinery; 2004:104-113. doi:<a href=\"https://doi.org/10.1145/1017753.1017774\">10.1145/1017753.1017774</a>","ista":"Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs. Proceedings of the 4th ACM international conference on Embedded software. EMSOFT: Embedded Software , 104–113.","ieee":"T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” in <i>Proceedings of the 4th ACM international conference on Embedded software</i>, Pisa, Italy, 2004, pp. 104–113.","short":"T.A. Henzinger, C. Kirsch, in:, Proceedings of the 4th ACM International Conference on Embedded Software, Association for Computing Machinery, 2004, pp. 104–113.","chicago":"Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs.” In <i>Proceedings of the 4th ACM International Conference on Embedded Software</i>, 104–13. Association for Computing Machinery, 2004. <a href=\"https://doi.org/10.1145/1017753.1017774\">https://doi.org/10.1145/1017753.1017774</a>.","apa":"Henzinger, T. A., &#38; Kirsch, C. (2004). A typed assembly language for real-time programs. In <i>Proceedings of the 4th ACM international conference on Embedded software</i> (pp. 104–113). Pisa, Italy: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/1017753.1017774\">https://doi.org/10.1145/1017753.1017774</a>"},"extern":"1","abstract":[{"text":"We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each task, and the type system ensures that the deadlines are path-insensitive. We show that typed E programs allow, for given worst-case execution times of tasks, a simple schedulability analysis. Moreover, the real-time programming language Giotto can be compiled into typed E~code. This shows that typed E~code identifies an easily schedulable yet expressive class of real-time programs. We have extended the Giotto compiler to generate typed E code, and enabled the run-time system for E code to perform a type and schedulability check before executing the code.","lang":"eng"}],"oa_version":"None","type":"conference","status":"public","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"full_name":"Kirsch, Christoph","last_name":"Kirsch","first_name":"Christoph"}],"date_created":"2018-12-11T12:08:53Z","title":"A typed assembly language for real-time programs","_id":"4445"}]