Files in this item

FilesDescriptionFormat

application/x-tar and application/x-gzip

application/x-tar and application/x-gzipsemanticsOfBTRS.tgz (5kB)
maude source codeapplication/x-tar and application/x-gzip

Description

Title:An executable formal semantics of BTRS
Author(s):Katelman, Michael
Subject(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.
Issue Date:2011-11-13
Genre:Data
Type:Other
Language:English
URI:http://hdl.handle.net/2142/28349
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2011-11-13


This item appears in the following Collection(s)

Item Statistics