Automated Termination Analysis of Programs using Term Rewriting

Schneider-Kamp, P. (Foredragsholder)

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Periode20. aug. 2009
Sted for afholdelseDanish Static Analysis Symposium (DANSAS '09)
BegivenhedstypeKonference
Konferencenummer1
PlaceringOdense, Danmark