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.
|Date made available||2017|
|Publisher||Data Repository for the University of Minnesota|
Carlson, T. (Creator), Kaminski, T. (Creator), Kramer, L. (Creator), Van Wyk, E. (Creator) (2017). ableC: Extensible Specification of C Using the Silver Attribute Grammar System. Data Repository for the University of Minnesota. 10.13020/D6VQ25