PLT Redex
From MaRDI portal
Software:21900
No author found.
Related Items (23)
Systematic abstraction of abstract machines ⋮ Towards a Unified Theory of Operational and Axiomatic Semantics ⋮ From Outermost Reduction Semantics to Abstract Machine ⋮ A lazy desugaring system for evaluating programs with sugars ⋮ αCheck: A mechanized metatheory model checker ⋮ Efficiency of lambda-encodings in total type theory ⋮ Fair enumeration combinators ⋮ APLicative Programming with Naperian Functors ⋮ Unnamed Item ⋮ A Calculus for Language Transformations ⋮ Executable component-based semantics ⋮ MikiBeta : A General GUI Library for Visualizing Proof Trees ⋮ Freeze after writing ⋮ Correct blame for contracts ⋮ On graph rewriting, reduction, and evaluation in the presence of cycles ⋮ Proof-producing synthesis of ML from higher-order logic ⋮ All-Path Reachability Logic ⋮ An imperative pure calculus ⋮ Implementing type systems for the IDE with Xsemantics ⋮ Unnamed Item ⋮ From Stack Traces to Lazy Rewriting Sequences ⋮ Macros that Work Together ⋮ From specification to testing: semantics engineering for Lua 5.2
This page was built for software: PLT Redex
