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)

5 ×#maude
3 ×#logic
3 ×#semantics
2 ×#abstraction
2 ×#framework

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.