Logo des Repositoriums
 

Deriving a strongly normalizing STG machine

dc.contributor.authorKleeblatt, Dirk
dc.contributor.editorFischer, Stefan
dc.contributor.editorMaehle, Erik
dc.contributor.editorReischuk, Rüdiger
dc.date.accessioned2020-01-28T13:26:30Z
dc.date.available2020-01-28T13:26:30Z
dc.date.issued2009
dc.identifier.isbn978-3-88579-248-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/31289
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofInformatik 2009 – Im Focus das Leben
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-154
dc.titleDeriving a strongly normalizing STG machineen
dc.typeText/Conference Paper
gi.citation.endPage363
gi.citation.publisherPlaceBonn
gi.citation.startPage363
gi.conference.date28.9.-2.10.2009
gi.conference.locationLübeck
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 2 von 2
Lade...
Vorschaubild
Name:
363.pdf
Größe:
183.56 KB
Format:
Adobe Portable Document Format
Lade...
Vorschaubild
Name:
cd-2845.pdf
Größe:
183.01 KB
Format:
Adobe Portable Document Format