Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars LFCS seminar: Martin Hofmann: Higher-order Buchi types

LFCS seminar: Martin Hofmann: Higher-order Buchi types

— filed under: ,

  • LFCS Seminar
  • Upcoming events
When Nov 01, 2016
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Add event to calendar vCal

Martin Hofmann, Ludwig-Maximilians-Universität München, Germany

In previous work [HC] we demonstrated how to obtain an abstract lattice in the sense of abstract interpretation from a given Buchi word automaton and hence
via the known connection between abstract interpretation and types a type-and-effect system capable of expressing infinitary trace properties for a first­-order
language with recursive procedures. It has since been an open problem to generalise this type system or similar ones to higher­-order functions without going
via tree properties as is done in higher­-order model checking. Here we report on recent progress on this question (joint work with Jeremy Ledent).

[HC] Martin Hofmann, Wei Chen: Abstract interpretation from Buchi automata. Proc
LICS­-CSL 2014.

Document Actions