Schema recognition for program transformations

Authors:
John S. Givler;Richard B. Kieburtz
Affiliations:
-;-
Venue:
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Year:
1984

Citing 10
Cited 3

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems

Journal of the ACM (JACM)
A Unification Algorithm for Associative-Commutative Functions

Journal of the ACM (JACM)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
A Discipline of Programming

A Discipline of Programming
The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions

Proceedings of the International Colloquium on Formalization of Programming Concepts
Universal Unification

Proceedings of the 7th International Conference on Automated Deduction
Associative-Commutative Unification

Proceedings of the 7th International Conference on Automated Deduction
Transformations of FP program schemes

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Equations and rewrite rules: a survey

Equations and rewrite rules: a survey
Topics in automated theorem proving and program generation

Topics in automated theorem proving and program generation

Efficient compilation of linear recursive functions into object level loops

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Rule-based transformation of relational queries into iterative programs

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
On the translation of relational queries into iterative programs

ACM Transactions on Database Systems (TODS)

Quantified Score

Hi-index	0.00

Visualization

Abstract