![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
David Naumann (Stevens Institute of Technology)
Wednesday 13 July 2022, 15:00-15:45
Verified Software Toolchains: Towards algebraic foundations for alignment
- đ¤ Speaker: David Naumann (Stevens Institute of Technology)
- đ Date & Time: Wednesday 13 July 2022, 15:00 - 15:45
- đ Venue: Seminar Room 2, Newton Institute
Abstract
Compositional reasoning about relational properties of programs is achieved by aligning intermediate points in pairs of program executions, in order to establish relations at those points. Notions of alignment have appeared in many guises, often tied to syntactic alignment of program points. A precise account of alignment is needed to define alignment completeness, which in turn is needed because the standard logical notion of completeness sheds little light on relational program logics. In this talk I will review recent work using Kleene algebra with tests (KAT) to explicate and generalize reasoning about alignment.
Series This talk is part of the Isaac Newton Institute Seminar Series series.
Included in Lists
- All CMS events
- bld31
- dh539
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 2, Newton Institute
Note: Ex-directory lists are not shown.