The semantic layers of Timber
2003 (English)In: Programming languages and systems: first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings / [ed] Atsushi Ohori, Encyclopedia of Global Archaeology/Springer Verlag, 2003, 339-356 p.Conference paper (Refereed)
We present a three-layered semantics of Timber, a language designed for programming real-time systems in a reactive, object-oriented style. The innermost layer amounts to a traditional deterministic, pure, functional language, around which we formulate a middle layer of concurrent objects, in terms of a monadic transition semantics. The outermost layer, where the language is married to deadline-driven scheduling theory, is where we define message ordering and CPU allocation to actions. Our main contributions are a formalized notion of a time-constrained reaction, and a demonstration of how scheduling theory, process calculii, and the lambda calculus can be jointly applied to obtain a direct and succinct semantics of a complex, real-world programming language with well-defined real-time behavior.
Place, publisher, year, edition, pages
Encyclopedia of Global Archaeology/Springer Verlag, 2003. 339-356 p.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 2895
Research subject Dependable Communication and Computation Systems
IdentifiersURN: urn:nbn:se:ltu:diva-31141DOI: 10.1007/b94290Local ID: 537af8c0-d192-11db-a0b9-000ea68e967bISBN: 3-540-20536-5OAI: oai:DiVA.org:ltu-31141DiVA: diva2:1004371
Asian Symposium on Programming Languages and Systems : 27/11/2003 - 29/11/2003
Validerad; 2003; 20070227 (ysko)2016-09-302016-09-30Bibliographically approved