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
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

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