Between Dec 19, 2024 and Jan 2, 2025, datasets can be submitted to DRUM but will not be processed until after the break. Staff will not be available to answer email during this period, and will not be able to provide DOIs until after Jan 2. If you are in need of a DOI during this period, consider Dryad or OpenICPSR. Submission responses to the UDC may also be delayed during this time.
 

An implementation of the lambda calculus in Silver

Kramer, Lucas
Van Wyk, Eric
2020-04-06
Thumbnail Image

Persistent link to this item

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

Keywords

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

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

item.page.isreplacedby

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

Other identifiers

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.

View/Download File

File View/Open
Description
Size
rewriting-lambda-calculus-v0.1.0.zip
Rewriting Lambda Calculus v0.1.0
(7.47 KB)

rewriting-lambda-calculus-v0.1.0.tar.gz
Rewriting Lambda Calculus v0.1.0
(3.65 KB)

ReadMe.txt
(1.89 KB)

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.