Rule Program
Program-Transformation.Org: The Program Transformation Wiki
Program of the 2002 ACM SIGPLAN Workshop on Rule Based Programming (RULE'02)
October 5, 2002, Pittsburgh, Pensylvania, USA.
| Time | Title | Authors |
|---|---|---|
| 10:30 | Design Patterns for Functional Strategic Programming | Ralf Laemmel (Vrije Universiteit) and Joost Visser (CWI) |
| 11:00 | Towards Generic Refactoring | Ralf Laemmel (CWI &Vrije Universiteit) |
| 11:30 | Simple Termination of Context-Sensitive Rewriting | Bernhard Gramlich (Technische Universitaet Wien) and Salvador Lucas (Universidad Politecnica de Valencia) |
| 12:00 | On Implementing Behavioral Rewriting | Grigore Rosu (University of Illinois at Urbana-Champaign) |
| 12:30 | lunch | |
| 14:00 | BURG, IBURG, WBURG, GBURG: So Many Trees to Rewrite, So Little Time (Invited Talk) | Todd Proebsting (Microsoft Research) |
| 15:00 | Pattern-matching and Rewriting Rules for Group Indexed Data-Structure | Jean-Louis Giavitto and Olivier Michel (Universited Evry) |
| 15:30 | Tea break | |
| 16:00 | A Rule-Based Language for Programming Software Updates | Martin Erwig and Deling Ren (Oregon State University) |
| 16:30 | Some Prolog Macros for Rule-Based Programming: Why? How? | Tim Menzies (University of West Virgina) and Lindsay Mason (University of British Columbia) |
| 17:00 | An Asynchronous Rule-Based Approach for Business Process Automation Using Obligations | Alan Abrahams, David Eyers and Jean Bacon (University of Cambridge) |