Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Mon 21 Oct 2019 16:30 - 17:00 at Room 3A - Databases & Semantics

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.

This program is tentative and subject to change.

Mon 21 Oct

ic-2019-papers
16:00 - 17:30: IC 2019 - Databases & Semantics at Room 3A
ic-2019-papers16:00 - 16:30
Talk
Jeffrey EymerSUNY Binghamton, Philip DexterSUNY Binghamton, Yu David Liu
ic-2019-papers16:30 - 17:00
Talk
Roly PereraThe Alan Turing Institute
Pre-print