ableC: Extensible Specification of C Using the Silver Attribute Grammar System

Kaminski, Ted
Kramer, Lucas
Carlson, Travis
Van Wyk, Eric
2017-08-24
Thumbnail Image

Persistent link to this item

https://doi.org/10.13020/D6VQ25
 https://hdl.handle.net/11299/189569
Statistics
View Statistics

Keywords

Collection period

Date completed

Date updated

Time period coverage

Geographic coverage

Source information

Journal Title

Journal ISSN

Volume Title

Title

ableC: Extensible Specification of C Using the Silver Attribute Grammar System

Published Date

2017-08-24

Authors

Group

University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group

Author Contact

Van Wyk, Eric
evw@umn.edu

Type

Dataset
Programming Software Code

Abstract

This is the Silver specification of ableC: a specification of C at the ISO C11 standard. There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.

Description

Referenced by

Reliable and Automatic Composition of Independent Extensions to C. Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk. In Proceedings of OOPSLA 2017.
https://doi.org/10.1145/3138224

Related to

"Silver: an Attribute Grammar System"
 https://doi.org/10.13020/D6QX07
 A Modular Specification of Oberon0 Using the Silver Attribute Grammar System
 http://dx.doi.org/10.13020/D6H01F

Replaces

item.page.isreplacedby

License

GNU Lesser General Public License
 http://www.gnu.org/licenses/lgpl.html

Publisher

Collections

Data Repository for U of M (DRUM)
Datasets

Funding information

item.page.sponsorshipfunderid

item.page.sponsorshipfundingagency

item.page.sponsorshipgrant

Previously Published Citation

Other identifiers

Suggested citation

Kaminski, Ted; Kramer, Lucas; Carlson, Travis; Van Wyk, Eric. (2017). ableC: Extensible Specification of C Using the Silver Attribute Grammar System. Retrieved from the Data Repository for the University of Minnesota (DRUM), https://doi.org/10.13020/D6VQ25.

View/Download File

File View/Open
Description
Size
ableC-0.1.tar.gz
AbleC source code
(4.28 MB)

ableC-bundle-0.1.tar.gz
ableC bundle, include Silver, ableC, several extensions, and sample projects
(32.04 MB)

extensions-0.1.tar.gz
Extension sources
(8.38 MB)

ableC_artifact_virtual_box_vm.tar.gz
Virtual Box VM including Silver, ableC, several extensions, and sample projects
(582.02 MB)

ReadMe.txt
ReadMe
(3.52 KB)

Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.