An implementation of the lambda calculus in Silver

Loading...

Persistent link to this item

https://doi.org/10.13020/xcfv-5k29
https://hdl.handle.net/11299/212318

Statistics

View Statistics

Keywords

reflection

term-rewriting

lambda-calculus

attribute grammars

Collection period

Date completed

2020-04-02

Date updated

Time period coverage

Geographic coverage

Source information

Journal Title

Journal ISSN

Volume Title

Title

An implementation of the lambda calculus in Silver

Published Date

2020-04-06

Authors

Kramer, Lucas

Van Wyk, Eric

Group

University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group

Author Contact

Van Wyk, Eric
evw@umn.edu

Type

Dataset
Programming Software Code

Abstract

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.

Description

To see how the Silver reflection-based term rewriting features can be used, see the Silver specification in the ``grammars`` directory. Specifically, the file ``Eval.sv`` Both the .zip and the .tar.gz contain the same files.

Referenced by

Kramer, T., Kaminski, T.,Van Wyk, E. (2020)."Reflection of Terms in Attribute Grammars: Design and Applications." Journal of Computer Languages (COLA).
https://doi.org/10.1016/j.cola.2021.101033

Related to

Replaces

License

CC0 1.0 Universal
http://creativecommons.org/publicdomain/zero/1.0/

Publisher

Collections

Data Repository for U of M (DRUM)
Datasets

Funding information

item.page.sponsorshipfunderid

item.page.sponsorshipfundingagency

item.page.sponsorshipgrant

Previously Published Citation

Suggested citation

Kramer, Lucas; Van Wyk, Eric. (2020). An implementation of the lambda calculus in Silver. Retrieved from the Data Repository for the University of Minnesota (DRUM), https://doi.org/10.13020/xcfv-5k29.

Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.