Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 2895
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-31141DOI: 10.1007/b94290Local ID: 537af8c0-d192-11db-a0b9-000ea68e967bISBN: 3-540-20536-5 (print)OAI: oai:DiVA.org:ltu-31141DiVA: diva2:1004371
Conference
Asian Symposium on Programming Languages and Systems : 27/11/2003 - 29/11/2003
Note
Validerad; 2003; 20070227 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-10-19Bibliographically approved

Open Access in DiVA

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

Other links

Publisher's full text

Search in DiVA

By author/editor
Nordlander, Johan
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
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

Total: 25 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf