SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:kth-218781"
 

Sökning: onr:"swepub:oai:DiVA.org:kth-218781" > Kompics Scala :

Kompics Scala : Narrowing the gap between algorithmic specification and executable code (short paper)

Kroll, Lars, 1989- (författare)
KTH,Programvaruteknik och Datorsystem, SCS
Carbone, Paris (författare)
KTH,Programvaruteknik och Datorsystem, SCS
Haridi, Seif, 1953- (författare)
KTH,Programvaruteknik och Datorsystem, SCS
 (creator_code:org_t)
2017-10-22
2017
Engelska.
Ingår i: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala. - New York, NY, USA : ACM Digital Library. - 9781450355292 ; , s. 73-77
  • Konferensbidrag (refereegranskat)
Abstract Ämnesord
Stäng  
  • Message-based programming frameworks facilitate the development and execution of core distributed computing algorithms today. Their twofold aim is to expose a programming model that minimises logical errors incurred during translation from an algorithmic specification to executable program, and also to provide an efficient runtime for event pattern-matching and scheduling of distributed components. Kompics Scala is a framework that allows for a direct, streamlined translation from a formal algorithm specification to practical code by reducing the cognitive gap between the two representations. Furthermore, its runtime decouples event pattern-matching and component execution logic yielding clean, thoroughly expected behaviours. Our evaluation shows low and constant performance overhead of Kompics Scala compared to similar frameworks that otherwise fail to offer the same level of model clarity.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Information Systems (hsv//eng)

Nyckelord

component model
message-passing
distributed systems architecture
Informations- och kommunikationsteknik
Information and Communication Technology

Publikations- och innehållstyp

ref (ämneskategori)
kon (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy