Tail recursion transformation for invertible functions (Q6148109): Difference between revisions

@@ Property / cites work @@
+The universal resolving algorithm and its correctness: Inverse computation in a functional language
+Normal rank
@@ Property / cites work @@
+A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
+Normal rank
@@ Property / cites work @@
+From reversible programming languages to reversible metalanguages
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472880
@@ Property / cites work: Q5472880 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathsf{CoreFun}\): a typed functional reversible core language
+Normal rank
@@ Property / cites work @@
+A Grammar-Based Approach to Invertible Programs
@@ Property / cites work: A Grammar-Based Approach to Invertible Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Studies. (AM-34)
@@ Property / cites work: Automata Studies. (AM-34) / rank @@
+Normal rank
@@ Property / cites work @@
+Conversion to tail recursion in term rewriting
@@ Property / cites work: Conversion to tail recursion in term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Program Inversion for Tail Recursive Functions
@@ Property / cites work: Program Inversion for Tail Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Flowchart Languages and the Structured Reversible Program Theorem
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6148109