Kramer, LucasVan Wyk, Eric2019-09-112019-09-112019-09-11https://hdl.handle.net/11299/206574The Silver sources files and sample applications using the language extension. Both files contain same data in different formats.This is an ableC language extension for parallel nondeterministic programming. It includes the Silver sources of the extension and a number of applications build using it. There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.GNU Lesser General Public License v3.0https://www.gnu.org/licenses/lgpl-3.0.en.htmlextensible languagesnondeterministic parallel programmingParallel nondeterministic programming as a language extension in ableCDatasethttps://doi.org/10.13020/b42x-hm18