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
Static Type Checking for the Kompics Component Model: Kola – The Kompics Language
KTH, School of Information and Communication Technology (ICT), Software and Computer systems, SCS.ORCID iD: 0000-0002-1200-0177
KTH, School of Information and Communication Technology (ICT), Software and Computer systems, SCS.ORCID iD: 0000-0002-9484-6714
KTH, School of Information and Communication Technology (ICT), Software and Computer systems, SCS.ORCID iD: 0000-0002-6718-0144
2016 (English)In: First Workshop on Programming Models and Languages for Distributed Computing, ACM Digital Library, 2016, 2-1 p.Conference paper, Published paper (Refereed)
Resource type
Text
Abstract [en]

Distributed systems are becoming an increasingly important part of systems and applications software and it is widely accepted that writing correct distributed systems is challenging. Message-passing concurrency models are the dominant programming paradigm and, even in statically typed languages, programming frameworks typically only have limited type checking support for messages, channels, and ports or mailboxes. In this paper, we present Kola, a language-level implementation of Kompics, a component model with message-passing concurrency. Kola comes with its own compiler and some special language constructs which extend Java's type system as necessary to enforce static type checking on messages, channels, and ports. We show that Kola improves the readability of Kompics code and removes opportunities to introduce bugs, at the cost of little compile time overhead and no runtime overhead.

Place, publisher, year, edition, pages
ACM Digital Library, 2016. 2-1 p.
Series
PMLDC ’16, 1
Keyword [en]
code generation, compile-time checks, compilers, component model, distributed languages, programming language
National Category
Computer Systems
Research subject
Information and Communication Technology
Identifiers
URN: urn:nbn:se:kth:diva-189884DOI: 10.1145/2957319.2957371ISBN: 978-1-4503-4775-4 (print)OAI: oai:DiVA.org:kth-189884DiVA: diva2:949718
Conference
Programming Models and Languages for Distributed Computing
Note

QC 20160722

Available from: 2016-07-22 Created: 2016-07-22 Last updated: 2016-07-22Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://doi.acm.org/10.1145/2957319.2957371

Search in DiVA

By author/editor
Kroll, LarsDowling, JimHaridi, Seif
By organisation
Software and Computer systems, SCS
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 137 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