WRLA2006

6th International Workshop on Rewriting Logic and its Applications

Vienna, Austria, April 1-2, 2006

Home page: http://www-formal.stanford.edu/clt/WRLA06/
Contact e-mail: wrla06@csl.sri.com

• Making Partial Order Reduction Tools Language-Independent
  Azadeh and Meseguer

• Maude MSOS Tool
  Chalub and Braga

• Distributive Rho-Calculus
  Cirstea, Houtmann and Wack

• Implementation of Mobile Maude
  Duran, Verdejo and Riesco

• A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
  Hills, Serbanuta and Rosu

• A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
  Katelman and Meseguer

• Abstraction and Model Checking of Core Erlan Programs in Maude
  Neuhaeusser and Noll

• Abstraction and Completeness for Real-Time Maude
  Olvecky and Meseguer

• Canonical Abstract Syntax Trees
  Reilles

• On Modelling Sensor Networks in Maude
  Rodriguez

• Solving Sudoku Puzzles with Rewriting Rules
  Santos-Garcia and Palomino

• Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
  Sasse and Meseguer

• A Rewriting Logic Framework for Soft Constraints
  Wirsing, Denker, Talcott, Poggio, and Briesemeister