- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Techn. Univ., Diss., 2004
- Classification
-
Informatik
- Keyword
-
Transduktor
Baumautomat
Funktionale Programmiersprache
Deforestation
Formale Semantik
Kategorientheorie
Deforestation ; Formale Semantik ; Funktionale Programmiersprache ; Kategorientheorie ; Monade ; Programmtransformation ; Transduktor
- Creator
- URN
-
urn:nbn:de:swb:14-1107164334013-70165
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Categorical semantics and composition of tree transducers
Syntax directed semantics : formal models based on tree transducers
Syntactic composition of top down tree transducers is short cut fusion
Graded Hoare Logic and its Categorical Semantics
Linear Tree Transducers : From Equivalence to Balancedness
An Note on a Categorical Semantics for ER-Models
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
On Normalization and Type Checking for Tree Transducers
Models of sharing graphs : a categorical semantics of let and letrec
Synthesis of transducers from relations on finite words and trees
The translation power of top-down tree-to-graph transducers
Categorical semantics and composition of tree transducers
Syntax directed semantics : formal models based on tree transducers
Syntactic composition of top down tree transducers is short cut fusion
Graded Hoare Logic and its Categorical Semantics
Linear Tree Transducers : From Equivalence to Balancedness
An Note on a Categorical Semantics for ER-Models
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
On Normalization and Type Checking for Tree Transducers
Models of sharing graphs : a categorical semantics of let and letrec
Synthesis of transducers from relations on finite words and trees
The translation power of top-down tree-to-graph transducers
Categorical semantics and composition of tree transducers
Syntax directed semantics : formal models based on tree transducers
Syntactic composition of top down tree transducers is short cut fusion
Graded Hoare Logic and its Categorical Semantics
Linear Tree Transducers : From Equivalence to Balancedness
An Note on a Categorical Semantics for ER-Models
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
On Normalization and Type Checking for Tree Transducers
Models of sharing graphs : a categorical semantics of let and letrec
Synthesis of transducers from relations on finite words and trees