Size-Change Termination on Non-Wellfounded Data Types

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

James Emil Avery - Foredragsholder

23 sep. 2005

Begivenhed (Konference)

TitelFirst DIKU-IST Joint Workshop on Foundations of Software (DIKU-IST I)
Dato23/09/200523/09/2005
EmneUdvidelse af size-change terminering til et programmeringssprog med ikke-velfunderede datatyper.
ByKøbenhavn
LandDanmark

ID: 1245517