Skip to main content

Datasets  [6]

Persistent link to this collection: http://hdl.handle.net/11299/206565

Recently Added

Parallel nondeterministic programming as a language extension in ableC

Kramer, Lucas; Van Wyk, Eric (2019-09-11)
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 ...

A Silver implementation of a subset of MetaOCaml

Kramer, Lucas; Van Wyk, Eric (2019-09-06)
This is an implementation of a subset of MetaOCaml in Silver. It makes use of reflection in Silver in the MetaOCaml interpreter.

Silver-ableC: a Silver extension for writing ableC specifications

Kramer, Lucas; Van Wyk, Eric (2019-09-05)
Silver-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 ...

Silver: an Attribute Grammar System

Kaminski, Ted; Van Wyk, Eric (2017-08-24)
Silver is an attribute grammar system which supports higher-order, reference, and collection attributes. It also supports forwarding and provides a modular well-definedness analysis to ensure composability of language ...

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

Kaminski, Ted; Kramer, Lucas; Carlson, Travis; Van Wyk, Eric (2017-08-24)
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.

View more