Dokumentenserver der Freien Universität Berlin

Objekt-Metadaten

List objects and recursive algorithms in elementary topoi
Maurer, Christian E. G. ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

HaupttitelList objects and recursive algorithms in elementary topoi
AutorMaurer, Christian E. G.
Institution/KörperschaftUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
Seitenzahl15 S.
Schriftenreihe Freie Universität Berlin, Fachbereich Mathematik [und Informatik] : Ser. B, Informatik ; 96,05
DDC004 Datenverarbeitung; Informatik
ZusammenfassungThe paper generalizes results of [B] by formulating their background in categories with a sufficiently rich internal logic, e. g. elementary topoi, using the well known initial algebra approach. Thus the right setting for program transformations in the sense of [B] is given by embedding them into the generalisation of primitive recursion over the naturals in the sense of [F] to lists.
Particularly there is a simple concept of tail recursion, hence an outline on a systematic transformation of naive recursive programs into tail recursive i. e. more efficient iterative forms.
Dokumente
pdf-Datei
Falls Ihr Browser eine Datei nicht öffnen kann, die Datei zuerst herunterladen und dann öffnen.
 
Fachbereich/EinrichtungFB Mathematik und Informatik
Arbeitsbereich/InstitutInstitut für Informatik
Erscheinungsjahr1996
Dokumententyp/-SammlungenKarten
SpracheEnglisch
Rechte Nutzungsbedingungen
Erstellt am19.03.2009 - 14:22:47
Letzte Änderung23.01.2014 - 16:21:18
 
Statische URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001313
Zugriffsstatistik
 

LOADING...