Datasets

Persistent link for this collectionhttps://hdl.handle.net/11299/206565

Browse

Browsing Datasets by Issue Date

Filter results by year or month
Now showing 1 - 10 of 10
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.