Representing proof transformations for program optimization (Q5210798): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2075909731
@@ Property / OpenAlex ID: W2075909731 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing proof transformations for program optimization
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+The promotion and accumulation strategies in transformational programming
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q3789101
@@ Property / cites work: Q3789101 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing tactics and tacticals in a higher-order logic programming language
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+Finite Differencing of Computable Expressions
@@ Property / cites work: Finite Differencing of Computable Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3034803
@@ Property / cites work: Q3034803 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264727
@@ Property / cites work: Q4264727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322097
@@ Property / cites work: Q3322097 / rank @@
+Normal rank