abstract

Public Access

Redex: a language for lightweight semantics engineering (keynote)

Author:

Robby FindlerAuthors Info & Claims

SLE 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering

Page 1

https://doi.org/10.1145/2997364.2998391

Published: 20 October 2016 Publication History

PDF eReader

Abstract

Redex is a programming language designed to support semantics engineers as they experiment with programming language models. To explore a model, an engineer writes down grammars, type systems, and operational semantics in a notation inspired by the programming languages literature. Redex breathes life into the model, building typing derivations, running example expressions, and using random generation to falsify claims about the model.

The talk first gives an overview of Redex, motivating its design choices and giving a sense of how programming in Redex feels. Then the talk dives into some of the techniques that Redex uses to generate random expressions.

Index Terms

Redex: a language for lightweight semantics engineering (keynote)
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

Lessons learned about language engineering from the development of mbeddr (keynote)
ITSLE 2016: Proceedings of the 1st Industry Track on Software Language Engineering

Over the last five years we have built mbeddr, a collection of integrated languages and language extensions built with the Jetbrains MPS language workbench. mbeddr consists of 81 languages, incl. IDE support, 34 of them C extensions. The mbeddr ...
Lightweight DSL for Describing Extensible Transition Systems
SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing

Transition systems are at the heart of various software systems, such as programming language processing systems. While formal definitions of small systems are relatively easy to describe, understand, and maintain, transition systems embedded in real-...
Lightweight soundness for towers of language extensions
PEPM 2017: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

It is quite natural to define a software language as an extension of a base language. A compiler builder usually prefers to work on a representation in the base language, while programmers prefer to program in the extended language. As we define a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SLE 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering

October 2016

257 pages

ISBN:9781450344470

DOI:10.1145/2997364

General Chair:
Tijs van der Storm
CWI, Netherlands / University of Groningen, Netherlands
,
Program Chairs:
Emilie Balland
Sensational, Switzerland
,
Daniel Varro
n.n.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 October 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Abstract

Funding Sources

National Science Foundation

Conference

SLE '16

Sponsor:

SIGPLAN

SLE '16: Software Language Engineering

October 31 - November 1, 2016

Amsterdam, Netherlands

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
279
Total Downloads

Downloads (Last 12 months)67
Downloads (Last 6 weeks)11

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Lessons learned about language engineering from the development of mbeddr (keynote)

Lightweight DSL for Describing Extensible Transition Systems

Lightweight soundness for towers of language extensions