SDA SE Wiki
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
User Tools
Sidebar
RULE 2008 Program
Complete proceedings (single PDF file with foreword, table of contents, global page numbering, ...).
| Starting Time | Talk | |
|---|---|---|
| 9:00 | Welcome, mutual introduction | |
| 9:15 | Invited talk: Rule based programming in Java. Pierre-Etienne Moreau | Abstract |
| 10:15 | Coffee Break | |
| 10:40 | New Undecidability Results for Properties of Term Rewrite Systems. Rakesh Verma | |
| 11:20 | Order-sorted Unification Revisited. Joe Hendrix and Jose Meseguer | |
| 12:00 | Lunch | |
| 13:30 | Constraint-aware Schema Transformations. Tiago Alves, Paulo F. Silva and Joost Visser | |
| 14:10 | A Rewriting-Based Model Checker for the Temporal Logic of Rewriting. Kyungmin Bae and Jose Meseguer | |
| 14:50 | Coffee Break | |
| 15:20 | Neural Networks in Maude. Gustavo Santos, Miguel Palomino and Alberto Verdejo | |
| 16:00 | A Rewriting Logic Approach to Static Checking of Units of Measurement in C. Mark Hills, Feng Chen and Grigore Rosu | |
| 16:40 | Farewell Coffee Break | |
In order to take advantage of the workshop nature of the meeting, participants are asked to read most of the papers in advance and prepare questions or suggestions that they want to discuss with the authors.
rule08/program.txt · Last modified: 2018/05/09 01:59 (external edit)
Page Tools
