Browsing by Author "Kramer, Lucas"

Now showing 1 - 9 of 9
  • 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
    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
    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
    Reliable and automatic composition of language extensions to C - Supplemental Material
    (2017-09-04) Kaminski, Ted; Kramer, Lucas; Carlson, Travis; Van Wyk, Eric
    This technical report provides a more complete description of many of the ableC language extensions described in our OOPSLA 2017 paper “Reliable and automatic composition of language extensions to C”. It describes several additional ableC language extensions that pass the modular analyses and thus can be reliably and automatically composed together by a programmer to form a working translator for a custom extended language. The OOPSLA paper describes extensions that illustrate many of the types of language extensions that can be specified as ableC extensions and is thus self contained. Yet, the extensions discussed here expand on these capabilities and describe extensions that are substantially larger in scope or illustrate additional capabilities of ableC and the underlying tools Silver and Copper.
  • 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
    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
    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
    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.