IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

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

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/28350

Files in this item

File Description Format
untranslated semanticsOfPRS.tgz (10KB) (no description provided) application/x-tar and application/x-gzip
Title: Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, November 2011)
Author(s): Katelman, Michael; Keller, Sean; Meseguer, José
Subject(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.
Issue Date: 2011-11-13
Type: Other
URI: http://hdl.handle.net/2142/28350
Publication Status: unpublished
Peer Reviewed: not peer reviewed
Date Available in IDEALS: 2011-11-14
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 9
  • Downloads this Month: 1
  • Downloads Today: 0

Browse

My Account

Information

Access Key