Semantics engineering with PLT Redex

MaRDI QIDQ3655271zbMATH OpenFDO

Authors Matthias Felleisen, Bruce Findler, Matthew Flatt

Publication date 7 January 2010

zbMATH Keywords

reduction semanticssemantic models of programming languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55)

Recommendations

• An operational semantics for Scheme
• Lem: reusable engineering of real-world semantics
• Modular rewriting semantics in practice
• Ott: Effective tool support for the working semanticist
• Ott, effective tool support for the working semanticist

Cited in

(23)

• scientific article; zbMATH DE number 7204429 (Why is no real title available?)
• APLicative Programming with Naperian Functors
• From specification to testing: semantics engineering for Lua 5.2
• Executable component-based semantics
• Lem: reusable engineering of real-world semantics
• Fair enumeration combinators
• Systematic abstraction of abstract machines
• Automating the functional correspondence between higher-order evaluators and abstract machines
• An imperative pure calculus
• Implementing type systems for the IDE with Xsemantics
• A calculus for language transformations
• Deriving an abstract machine for strong call by need
• A lazy desugaring system for evaluating programs with sugars
• A correspondence between type checking via reduction and type checking via evaluation
• αCheck: A mechanized metatheory model checker
• A content semantics for quantified relevant logics. II
• Lazy tree splitting
• Macros that work together
• MikiBeta : A General GUI Library for Visualizing Proof Trees
• Towards substructural property-based testing
• Efficiency of lambda-encodings in total type theory
• System description: lang-n-change -- a tool for transforming languages
• On graph rewriting, reduction, and evaluation in the presence of cycles

Describes a project that uses

Uses Software

• PLT Redex

This page was built for publication: Semantics engineering with PLT Redex

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655271)