Rule-based synthesis using ADTs and term rewriting.

Harald-Reto Fonio Adam Pawlak

Published in: Microprocess. Microprogramming (1992)

Keyphrases

term rewriting
data model
operational semantics
theorem proving
abstract data types
theorem prover
knuth bendix
rewrite systems
expert systems
behavioral models
data types
relational model
databases
object oriented
metamodel
xml data
data management
query language
database systems
artificial intelligence