Rule Workshop

International Workshop on Rule-Based Specification and Programming
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

r12 - 29 Oct 2009 - 00:51:11 - JorgeSousaPinto
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM