Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, June 2011)

Katelman, Michael; Keller, Sean; Meseguer, José

Permalink

https://hdl.handle.net/2142/25444 Copy

Description

Title

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, June 2011)

Author(s)

• Katelman, Michael
• Keller, Sean
• Meseguer, José

Issue Date

2011-06-20

Keyword(s)

• PRS
• Maude
• Executable Formal Semantics
• Asynchronous VLSI

Abstract

We give source code for an executable formal semantics of production rule sets (PRS) in Maude, along with several example circuits that can be model checked for hazard-free and deadlock-free operation using our semantics and Maude's search command.

Type of Resource

other

Permalink

http://hdl.handle.net/2142/25444

Owning Collections