2002 ACM SIGPLANWorkshop on Rule-Based ProgrammingWorkshop ProgramSatellite event of PLI'02 Saturday, October 5, 2002Pittsburgh, USA http://www.program-transformation.org/Transform/WorkshopOnRuleBasedProgramming |
Time | Title | Authors |
---|---|---|
12:30 | lunch | |
15:30 | Tea break | |
17:00 | An Asynchronous Rule-Based Approach for Business Process Automation Using Obligations | Alan Abrahams, David Eyers and Jean Bacon (University of Cambridge) |
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) |
15:00 | Pattern-matching and Rewriting Rules for Group Indexed Data-Structure | Jean-Louis Giavitto and Olivier Michel (Universited Evry) |
16:00 | A Rule-Based Language for Programming Software Updates | Martin Erwig and Deling Ren (Oregon State University) |
11:00 | Towards Generic Refactoring | Ralf Laemmel (CWI &Vrije Universiteit) |
10:30 | Design Patterns for Functional Strategic Programming | Ralf Laemmel (Vrije Universiteit) and Joost Visser (CWI) |
16:30 | Some Prolog Macros for Rule-Based Programming: Why? How? | Tim Menzies (University of West Virgina) and Lindsay Mason (University of British Columbia) |
14:00 | BURG, IBURG, WBURG, GBURG: So Many Trees to Rewrite, So Little Time (Invited Talk) | Todd Proebsting (Microsoft Research) |