Skip to main content

Minnesota Extensible Language Tools  [9]

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

About the MELT research group

Our main research interests are in declarative specifications for programming language syntax, semantics, and optimizing transformations. We are specifically interested in techniques that lead to a high degree of modularity in the composition of language specifications. We have designed a few unique tools that automatically compose and implement such specifications to create pre-processors, compilers and optimizers for the newly specified languages.

Visit the MELT research group webpage: http://melt.cs.umn.edu/

There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.


Collections

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