Rules are used in many areas of computer science, from theory to
practical implementations. In programming languages, term rewriting is
used in semantics as well as in implementations that use bottom-up
rewriting for code generation. Rule-based programming provides a common
framework for viewing computation as a sequence of transformations on
some shared structure such as a term, graph, proof, or constraint store.
Rules are used to perform computations in various systems, but their use
is not limited to programming: rules are used to describe
logical inference in theorem provers, to specify and implement
constraint-based algorithms and applications, to specify security
protocols and access control policies, to describe and implement program
transformations. Rule selection and application is typically governed by
a rich set of sophisticated mechanisms for recognizing and manipulating
structures.
Current Workshop
Steering Committee