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)