scientific article
From MaRDI portal
Publication:3992669
zbMath0828.68033MaRDI QIDQ3992669
Peter G. Harrison, A. J. Field
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items (12)
Rule-based induction ⋮ Higher-order narrowing with convergent systems ⋮ Translation Correctness for First-Order Object-Oriented Pattern Matching ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ Conversion to tail recursion in term rewriting ⋮ Third-order matching in the polymorphic lambda calculus ⋮ Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools ⋮ Relating the implementation techniques of functional and functional logic languages ⋮ Computational interpretations of linear logic ⋮ Algebraic optimization of object-oriented query languages ⋮ More efficient left-to-right matching for overlapping pattern ⋮ Context-sensitive rewriting strategies
This page was built for publication:
