University of Illinois Urbana-Champaign

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

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

Content Files
formalSemanticsOfPRS.tgz

Permalink

https://hdl.handle.net/2142/17371

Description

Title
Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version)
Author(s)
  • Katelman, Michael
  • Keller, Sean
  • Meseguer, José
Issue Date
2010
Keyword(s)
  • PRS
  • Maude
  • Executable Formal Semantics
  • Asynchronous VLSI
Date of Ingest
2010-10-26T17:06:49Z
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/17371

Owning Collections

Research and Tech Reports - Computer Science PRIMARY