‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Wed 3 Apr 2019 12:30 - 14:30 at Second floor hall - Poster Session

In this poster, we present the programming style for dis- tributed applications using ScalaLoci1 [16]: The language allows a distributed program to be developed as a single code base generating the code specific to each component of the distributed system ś including communication code ś automatically during compilation (multitier approach). As a result, developers do not need to handle details like data conversion and network communication and can focus on the actual application logic. In ScalaLoci, data flow between the components of the distributed system is specified ex- plicitly (reactive approach). Events, e.g., network messages or user input, transfer data among hosts and trigger state changes or new events.

Wed 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:30 - 14:30
Poster SessionPosters at Second floor hall
12:30
2h
Poster
Distributed Software on Mobile Robot
Posters
12:30
2h
Talk
Developing Distributed Systems with ScalaLoci
Posters
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
12:30
2h
Poster
Proving Inequational Propositions about Haskell Programs in Coq
Posters
Jan Christiansen Flensburg University of Applied Sciences, Germany, Sandra Dylus University of Kiel, Germany
12:30
2h
Poster
IDVE: an Integrated Development and Verification Environment for JavaScript
Posters
Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz