POPL 2017
Sun 15 - Sat 21 January 2017
Thu 19 Jan 2017 16:55 - 17:20 at Auditorium - Logic and Programming Chair(s): Nada Amin

We present the semantics of an imperative programming language called LOIS (Looping Over Infinite Sets), which allows iterating through certain infinite sets, in finite time. Our semantics intuitively correspond to execution of infinitely many threads in parallel. This allows to merge the power of abstract mathematical constructions into imperative programming. Infinite sets are internally represented using first order formulas over some underlying logical structure, and SMT solvers are employed to evaluate programs.

Thu 19 Jan

POPL-2017-papers
16:30 - 17:20: POPL - Logic and Programming at Auditorium
Chair(s): Nada AminEPFL
POPL-2017-papers16:30 - 16:55
Talk
Kausik SubramanianUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Aditya AkellaUniversity of Wisconsin-Madison
POPL-2017-papers16:55 - 17:20
Talk