Size-Change Termination and Bound Analysis
Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
James Emil Avery - Foredragsholder
20 okt. 2005
Begivenhed (Konference)
Titel | The 17th Nordic Workshop on Programming Theory (NWPT'05) |
---|---|
Dato | 20/10/2005 → 20/10/2005 |
Emne | Præsentation af en programanalyse som kombinerer SCT og abstrakt fortolkning over konvekse hylstre. |
By | København |
Land/Område | Danmark |
ID: 1245473