SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


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
PDF
11:20 Order-sorted Unification Revisited.
Joe Hendrix and Jose Meseguer
PDF
12:00 Lunch
13:30 Constraint-aware Schema Transformations.
Tiago Alves, Paulo F. Silva and Joost Visser
PDF
14:10 A Rewriting-Based Model Checker for the Temporal Logic of Rewriting.
Kyungmin Bae and Jose Meseguer
PDF
14:50 Coffee Break
15:20 Neural Networks in Maude.
Gustavo Santos, Miguel Palomino and Alberto Verdejo
PDF
16:00 A Rewriting Logic Approach to Static Checking of Units of Measurement in C.
Mark Hills, Feng Chen and Grigore Rosu
PDF
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)

SEWiki, © 2019