Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Front Cover
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

Interaction Systems
1
Strong Normalization of Typeable Rewrite Systems
20
A Transformation System Combining Partial Evaluation with Term Rewriting
40
Prototyping Relational Specifications Using HigherOrder Objects
56
Origin Tracking for HigherOrder Term Rewriting Systems
76
Theory Interpretation in Simple Type Theory
96
The Semantics of SPECTRUM
124
A TYPED LANGUAGE FOR ALGEBRAIC SPECIFICATION
146
Compilation of Combinatory Reduction Systems
169
A CASE STUDY OF CONVOLUTION
189
Ordered and Continuous Models of HigherOrder Specifications
223
Rewriting Properties of Combinators for Rudimentary Linear Logic
256
Comparing Combinatory Reduction Systems and Higherorder Rewrite Systems
276
Termination Proofs for Higherorder Rewrite Systems
305
Extensions of Initial Models and their SecondOrder Proof Systems
326
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information