- FRI Piškot: Alex Simpson - Fixed points in computer science
Napovedi
O fiksnih točkah v računalništvu bo na naslednjem predavanju Piškot govoril Alex Simpson s Fakultete za matematiko in fiziko Univerze v Ljubljani. Se vidimo v četrtek, 9. junija, ob 11.15 v predavalnici P22!
Fixed points in computer science
Abstract:
Fixed points have many manifestations in computer science. In programming, recursion is a mechanism of definition by fixed point. In specification, fixed points can be used to define important behavioural properties. Much of the problem of verification can be subsumed under the task of proving that programs defined via recursion enjoy properties defined as fixed points. In this talk I will present a high level overview of this view of fixed points as a pervasive and unifying mechanism in computer science.
Predavanje bo v angleščini.