MELT group software
Silver - an extensible attribute grammar system
Silver is an attribute grammar specification language and a attribute
grammar evaluation system. It supports many extensions to
D. E. Knuth's original specification of attribute grammars including
forwarding, higher-order attributes, collection attributes, pattern
matching and polymorphic lists. Silver is implemented by translating
AG specifications to Haskell. It has been tested on Ubuntu Linux for
both 32 and 64 bit systems. For more information on Silver, links to
relevant papers and downloadable source and executables, please visit
our Silver page.
The downloads include source and executables for different versions of Silver
that use different parser generators including yacc, happy and
Copper,
a MELT-designed context-aware parsing tool.
ableJ - a framework for writing extensions to Java
We have used Silver to develop an attribute-grammar based extensible
compiler framework for Java 1.4, called ableJ. ableJ includes
specifications of Java 1.4's concrete syntax and abstract syntax as
well as semantic analyses such as type-checking. It also includes a
collection of extensions to Java 1.4 including one that adds syntax
for specifying and executing SQL queries from within Java. These
queries are statically checked for syntax and type errors. For more
information on ableJ, links to relevant papers and a downloadable,
compilable and extensible specification, please see our ableJ page.
|
Return to:
U of M Home
