University of Illinois Urbana-Champaign

An executable formal semantics of BTRS

Katelman, Michael

Permalink

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

Description

Title
An executable formal semantics of BTRS
Author(s)
Katelman, Michael
Issue Date
2011-11-13
Keyword(s)
  • Executable Formal Semantics
  • BTRS
Abstract
An executable formal semantics in Maude of BTRS, which is a simplified form of the Bluespec hardware design language.
Type of Resource
other
Language
en
Permalink
http://hdl.handle.net/2142/28349

Owning Collections

Research and Tech Reports - Computer Science PRIMARY