Semantic preserving translations (Q4061931): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax directed translations and the pushdown assembler
+Normal rank
@@ Property / cites work @@
+Properties of syntax directed translations
@@ Property / cites work: Properties of syntax directed translations / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax and semantics: A categorical view
@@ Property / cites work: Syntax and semantics: A categorical view / rank @@
+Normal rank
@@ Property / cites work @@
+Q5618896
@@ Property / cites work: Q5618896 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata in general algebras
@@ Property / cites work: Automata in general algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on derivations in general rewriting systems
+Normal rank
@@ Property / cites work @@
+A syntax directed compiler for ALGOL 60
@@ Property / cites work: A syntax directed compiler for ALGOL 60 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax-Directed Transduction
@@ Property / cites work: Syntax-Directed Transduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612497
@@ Property / cites work: Q5612497 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages in general algebras
@@ Property / cites work: Languages in general algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational classes of grammars
@@ Property / cites work: Transformational classes of grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q5609391
@@ Property / cites work: Q5609391 / rank @@
+Normal rank
@@ Property / cites work @@
+EULER: A generalization of ALGOL and its formal definition: Part 1
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01762181
+Normal rank
@@ Property / OpenAlex ID @@
+W1967353716
@@ Property / OpenAlex ID: W1967353716 / rank @@
+Normal rank