Tue 27 Oct 2015 11:37 - 12:00 at Haselton 1 - Session 2

This paper introduces a novel programming model for safe and incremental construction of live applications. We capture a verified style of agile development that spans over the whole development life cycle, from specification and prototyping to maintenance and evolution. This approach proposes a step forward with relation to the traditional code-compile-deploy cycle, allowing for both code and data updates to be safely applied during execution. We pro- pose a language-based development and runtime system to evolve data-centric applications. Our approach is presented as a core typed imperative calculus with a reactive semantics. The associated type discipline ensures a correct interleaving of interaction and construction of systems. The soundness of our calculus is supported by standard progress, type preservation and convergence results.

Tue 27 Oct

10:30 - 12:00: REBLS - Session 2 at Haselton 1
rebls201510:30 - 10:52
Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Lode Hoste, Wolfgang De MeuterVrije Universiteit Brussel
rebls201510:52 - 11:15
Eric Fritz, Tian ZhaoUniversity of Wisconsin-Milwaukee
rebls201511:15 - 11:37
Alan JeffreyAlcatel-Lucent Bell Labs, Tom Van CutsemAlcatel-Lucent Bell Labs
rebls201511:37 - 12:00
Miguel DominguesNOVA-LINCS - Universidade Nova de Lisboa, João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa