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

Loading...

Persistent link to this item

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

Statistics

View Statistics

Keywords

programming language specifications

extensible languages

C programming language

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

Kaminski, Ted

Kramer, Lucas

Carlson, Travis

Van Wyk, Eric

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

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

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.

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.