Datasets
- 8 results
Search results
-
Silver-ableC: a Silver extension for writing ableC specifications
Van Wyk, E. & Kramer, L., Data Repository for the University of Minnesota, 2019
DOI: 10.13020/hbr0-9z50, http://hdl.handle.net/11299/206532
Dataset
-
A Silver implementation of a subset of MetaOCaml
Van Wyk, E. & Kramer, L., Data Repository for the University of Minnesota, 2019
DOI: 10.13020/z10a-7g60, http://hdl.handle.net/11299/206536
Dataset
-
A Modular Specification of Oberon0 Using the Silver Attribute Grammar System
Kaminski, T. & Van Wyk, E., Data Repository for the University of Minnesota, 2015
DOI: 10.13020/D6H01F, http://dx.doi.org/10.13020/D6H01F
Dataset
-
A Silver implementation of Caml Light
Van Wyk, E. & Michaelson, D. E., Data Repository for the University of Minnesota, 2020
DOI: 10.13020/866e-0d92, http://hdl.handle.net/11299/216536
Dataset
-
Silver: an Attribute Grammar System
Kaminski, T. & Van Wyk, E., Data Repository for the University of Minnesota, 2017
DOI: 10.13020/D6QX07, https://doi.org/10.13020/D6QX07
Dataset
-
A term-rewriting implementation of the lambda calculus in Silver
Van Wyk, E. & Kramer, L., Data Repository for the University of Minnesota, 2020
DOI: 10.13020/xcfv-5k29, http://hdl.handle.net/11299/212318
Dataset
-
ableC: Extensible Specification of C Using the Silver Attribute Grammar System
Carlson, T., Kaminski, T., Kramer, L. & Van Wyk, E., Data Repository for the University of Minnesota, 2017
DOI: 10.13020/D6VQ25, https://doi.org/10.13020/D6VQ25
Dataset
-
Parallel nondeterministic programming as a language extension in ableC
Van Wyk, E. & Kramer, L., Data Repository for the University of Minnesota, 2019
DOI: 10.13020/b42x-hm18, http://hdl.handle.net/11299/206574
Dataset