Kramer, LucasVan Wyk, Eric2019-09-052019-09-052019-09-05https://hdl.handle.net/11299/206532The Silver source files for the Silver-ableC extension. Both files contain the same content in different formatsSilver-ableC is an extension to the Silver attribute grammar system for writing ableC language specifications. It allows language developers to specify C language constructs using the concrete syntax of C instead of the more verbose and inconvenient abstract syntax.GNU Lesser General Public License v3.0https://www.gnu.org/licenses/lgpl-3.0.en.htmlattribute grammarsextensible languagesSilver-ableC: a Silver extension for writing ableC specificationsDatasethttps://doi.org/10.13020/hbr0-9z50