Implementing first-order rewriting with constructor systems

DOI10.1016/0304-3975(88)90109-0zbMath0659.68048MaRDI QIDQ1112601

S. H. Smith

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2027.42/27107

zbMATH Keywords

canonical systems; functional programming; term rewriting systems; constructor

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q65: Abstract data types; algebraic specification

03B40: Combinatory logic and lambda calculus

Uses Software

• Miranda