Datasets

Persistent link for this collection

https://hdl.handle.net/11299/206565

Search within Datasets

Browse

Now showing 1 - 10 of 10

Software Artifact for Reimagining Forwarding in Attribute Grammars
(2023-09-06) Kramer, Lucas; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools (MELT) Group
This repository contains the software artifact accompanying the paper "Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars" included in the October 2023 ACM SIGPLAN Conference on Software Language Engineering.
Software Artifact for Nanopass Attribute Grammars
(2023-09-06) Ringo, Nathan; Kramer, Lucas; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools (MELT) Group
This repository contains the software artifact accompanying the paper "Nanopass Attribute Grammars" included in the October 2023 ACM SIGPLAN Conference on Software Language Engineering.
A Silver implementation of Caml Light
(2020-10) Michaelson, Dawn; Van Wyk, Eric; evw@umn.edu; Eric Van Wyk; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
An implementation of the lambda calculus in Silver
(2020-04-06) Kramer, Lucas; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
This repository contains an implementation of the lambda calculus that uses the reflection-based term-rewriting extension to Silver. There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.
Parallel nondeterministic programming as a language extension in ableC
(2019-09-11) Kramer, Lucas; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
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.
A Silver implementation of a subset of MetaOCaml
(2019-09-06) Kramer, Lucas; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
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
(2019-09-05) Kramer, Lucas; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
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 more verbose and inconvenient abstract syntax.
Silver: an Attribute Grammar System
(2017-08-24) Kaminski, Ted; Kramer, Lucas; Michaelson, Dawn; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
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 extensions. There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.
ableC: Extensible Specification of C Using the Silver Attribute Grammar System
(2017-08-24) Kaminski, Ted; Kramer, Lucas; Carlson, Travis; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
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.
A Modular Specification of Oberon0 Using the Silver Attribute Grammar System
(2015-10-13) Kaminski, Ted; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric
This repository contains the implementation of Oberon0 using the Silver attribute grammar system for the Tool Challenge at the 2011 International Workshop on Language Descriptions, Tools, and Applications. Silver was developed to study how independently-developed language extension specifications can be imported into a host language specification to define a new custom extended language. Thus it contains many features useful in modular language specification, such as forwarding, higher-order attributes, reference/remote attributes, and a simplified form of collection attributes. These are discussed in the context of the Oberon0 specification presented here. This is the specification accompanying the paper "A modular specification of Oberon0 using the Silver attribute grammar system" by Ted Kaminski and Eric Van Wyk.