hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Directions in Functional Programming for Real(-Time) Applications
Department of Computer Science, Yale University, New Haven, CT, USA.
Department of Computer Science, Yale University, New Haven, CT, USA.
Department of Computer Science, Yale University, New Haven, CT, USA.
2001 (English)In: Embedded software: First international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / [ed] Thomas A Henzinger, Christoph M Kirsch, Berlin: Springer Berlin/Heidelberg, 2001, p. 185-203Conference paper, Published paper (Refereed)
Abstract [en]

We review the basics of functional programming, and give a brief introduction to emerging techniques and approaches relevant to building real-time software. In doingso we attempt to explain the relevance of functional programming concepts to the real-time applications domain. In particular, we address the use of types to classify properties of real-time computations.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2001. p. 185-203
Series
Lecture notes in computer science, ISSN 1611-3349 ; 2211
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:hh:diva-14398DOI: 10.1007/3-540-45449-7ISBN: 3540426736 ISBN: 9783540426738 OAI: oai:DiVA.org:hh-14398DiVA, id: diva2:396131
Conference
First international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001
Note

Funded by DARPA F33615-99-C-3013 and NSF CCR-9900957.

Available from: 2011-02-08 Created: 2011-02-08 Last updated: 2018-03-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Taha, Walid

Search in DiVA

By author/editor
Taha, Walid
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 86 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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