Matija Pretnar: Prestrezniki algebrajskih učinkov

Opomba: Tudi tokrat bo pri nas gostoval seminar za diskretno matematiko, zato začnemo že ob 10h.

Povztek: Predstavil bom algebrajski pristop k prestreznikom izjem: izjeme predstavimo z algebrajsko teorijo, prestreznike pa z induciranimi homomorfizmi iz prostega modela. Čar vsega skupaj je v enostavni posplošitvi na druge učinke, npr. pomnilnik ali nedeterminizem, s katero lahko zajamemo mnogo poprej nepovezanih konceptov, npr. varno pisanje po pomnilniku ali preusmerjanje vhodno/izhodnih tokov.

(Seminar bo tudi generalka za predavanje, ki ga bom imel naslednji teden na konferenci ESOP 2009 v Yorku.)

Vabljeni!