Size-Change Termination and Bound Analysis

Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

James Emil Avery - Foredragsholder

20 okt. 2005

Begivenhed (Konference)

TitelThe 17th Nordic Workshop on Programming Theory (NWPT'05)
Dato20/10/200520/10/2005
EmnePræsentation af en programanalyse som kombinerer SCT og abstrakt fortolkning over konvekse hylstre.
ByKøbenhavn
LandDanmark

ID: 1245473