Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
SPLASH 2019 (series) / IC 2019 (series) / IC 2019 /

The meaning of a program change is a change to the program’s meaning

IC 2019
Mon 21 Oct 2019 16:30 - 17:00 at Room 3A - Databases & Semantics Chair(s): Markus Völter

Programming is the activity of modifying a program in order to bring about specific changes in its behaviour. Yet programming language theory almost exclusively focuses on the meaning of programs. We motivate a “change-oriented” viewpoint from which the meaning of a program change is a change to the program’s meaning.

https://arxiv.org/abs/1908.00898

Mon 21 Oct

Displayed time zone: Beirut change

16:00 - 17:30
Databases & SemanticsIC at Room 3A
Chair(s): Markus Völter itemis/independent
16:00
30m
Talk
Toward Lazy Evaluation in a Graph Database
IC
Jeffrey Eymer SUNY Binghamton, Philip Dexter SUNY Binghamton, Yu David Liu
16:30
30m
Talk
The meaning of a program change is a change to the program’s meaning
IC
Roly Perera The Alan Turing Institute
Pre-print
Roly Perera

Roly Perera

The Alan Turing Institute