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

Loading...
Thumbnail Image
Statistics
View Statistics

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

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

Replaces

Publisher

Funding information

item.page.sponsorshipfunderid

item.page.sponsorshipfundingagency

item.page.sponsorshipgrant

Previously Published Citation

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 University Digital Conservancy, https://doi.org/10.13020/D6VQ25.
View/Download file
File View/OpenDescriptionSize
ableC-0.1.tar.gzAbleC source code4.28 MB
ableC-bundle-0.1.tar.gzableC bundle, include Silver, ableC, several extensions, and sample projects32.04 MB
extensions-0.1.tar.gzExtension sources8.38 MB
ableC_artifact_virtual_box_vm.tar.gzVirtual Box VM including Silver, ableC, several extensions, and sample projects582.02 MB
ReadMe.txtReadMe3.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.