Change search
ReferencesLink to record
Permanent link

Direct link
The semantic layers of Timber
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Oregon Health & Science University.
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)
Abstract [en]

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
URN: urn:nbn:se:ltu:diva-31141DOI: 10.1007/b94290Local ID: 537af8c0-d192-11db-a0b9-000ea68e967bISBN: 3-540-20536-5OAI: diva2:1004371
Asian Symposium on Programming Languages and Systems : 27/11/2003 - 29/11/2003
Validerad; 2003; 20070227 (ysko)Available from: 2016-09-30 Created: 2016-09-30Bibliographically approved

Open Access in DiVA

fulltext(241 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 241 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Nordlander, Johan
By organisation
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

ReferencesLink to record
Permanent link

Direct link