PLT Redex

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkb:software
gptkbp:developedBy gptkb:PLT_group
gptkbp:documentation https://docs.racket-lang.org/redex/
https://www.w3.org/2000/01/rdf-schema#label PLT Redex
gptkbp:latestReleaseVersion 1.0
gptkbp:license gptkb:LGPL
gptkbp:partOf Racket ecosystem
gptkbp:platform Cross-platform
gptkbp:supports term rewriting
reduction semantics
language prototyping
gptkbp:usedFor operational semantics
teaching programming languages
programming language research
semantics modeling
gptkbp:website https://docs.racket-lang.org/redex/
gptkbp:writtenBy gptkb:Racket
gptkbp:bfsParent gptkb:David_Van_Horn
gptkbp:bfsLayer 7