## Grit Denker, Carolyn L. Talcott

*Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications*

WRLA-2006, 2007.

@proceedings{WRLA-2006,
editor = "Grit Denker and Carolyn L. Talcott",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 4,
title = "{Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications}",
volume = 176,
year = 2007,
}

### Contents (14 items)

- WRLA-2006-OlveczkyM07a #abstraction #maude #realtime
- Abstraction and Completeness for Real-Time Maude (PCÖ, JM), pp. 5–27.
- WRLA-2006-SasseM07 #algebra #hoare #java #logic #semantics #verification
- Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.
- WRLA-2006-KatelmanM07 #analysis #co-evolution #design #hardware #semantics
- A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (MK, JM), pp. 47–60.
- WRLA-2006-FarzanM07 #partial order #programming language #reduction #semantics
- Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
- WRLA-2006-Santos-GarciaP07
- Solving Sudoku Puzzles with Rewriting Rules (GSG, MP), pp. 79–93.
- WRLA-2006-CirsteaHW07 #calculus
- Distributive rho-calculus (HC, CH, BW), pp. 95–111.
- WRLA-2006-DuranRV07 #distributed #implementation #maude #mobile
- A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.
- WRLA-2006-ChalubB07 #maude
- Maude MSOS Tool (FC, CB), pp. 133–146.
- WRLA-2006-NeuhausserN07 #abstraction #erlang #maude #model checking #source code
- Abstraction and Model Checking of Core Erlang Programs in Maude (MRN, TN), pp. 147–163.
- WRLA-2006-Reilles07 #abstract syntax tree #canonical #syntax
- Canonical Abstract Syntax Trees (AR), pp. 165–179.
- WRLA-2006-WirsingDTPB07 #constraints #framework #logic
- A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.
- WRLA-2006-Rodriguez07 #maude #modelling #network #on the
- On Modelling Sensor Networks in Maude (DER), pp. 199–213.
- WRLA-2006-HillsSR07 #framework #generative #performance
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (MH, TS, GR), pp. 215–231.
- WRLA-2006-DenkerTRBES07 #logic
- Rewriting Logic Systems (GD, CLT, GR, MvdB, SE, TFS), pp. 233–247.