|AboutConferences Colloquium Workshops Practical||
The Eighth International Workshop on Rule-Based Programming
Part of RDP'07
Rule-based programming provides a framework that facilitates viewing computation as a sequence of changes transforming a complex shared structure such as a term, graph, proof, or constraint store. In rule-based languages, a set of abstractions and primitive operations typically provide sophisticated mechanisms for recognizing and manipulating structures. In a classical setting, a rule-based program consists of a collection of (conditional) rewrite rules together with a partially-explicit specification of how the rule collection should be applied to a given structure.
Due to theoretical and technological advances, rule-based programming techniques are being incorporated into a wide range of research areas including: Generative Programming, Aspect-Oriented Programming, Software Maintenance, Reverse Engineering, Domain Specific Language Development, and Information Assurance (e.g., security, testing, etc.). Oftentimes, the ad hoc incorporation of rule-based techniques into a particular area or problem domain raises general issues that warrant further study. Related to this is a growing need to share foundational infrastructure (e.g., parsers, pretty printers, etc.) between rule-based systems. The goal of this workshop is to foster the exchange of ideas within the rule-based programming community.
TopicsWe solicit original papers on all topics related to rule-based programming including:
ProceedingsAccepted papers will be published in the preliminary proceedings volume, which will be available during the workshop. The final proceedings are expected to be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.
SubmissionsPapers (of at most 15 pages) should be submitted electronically via the web-based submission site. Papers should be formatted in accordance with the ENTCS formatting guidelines. Any problems with the submission procedure should be reported to one of the PC chairs: Joost Visser (firstname.lastname@example.org) or Victor Winter (email@example.com).
A call for papers suitable for distribution can be found here.
Previous RULE Workshops
webmaster at rdp07 dot org