Ott, effective tool support for the working semanticist

DOI10.1145/1291151.1291155MaRDI QIDQ5168920zbMATH OpenOpenAlexFDO

Authors Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strniša

Publication date 21 July 2014

Published in Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1291151.1291155

zbMATH Keywords

Ott

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Ott: Effective tool support for the working semanticist
• Lem: a lightweight tool for heavyweight semantics
• A Sound Semantics for OCaml light
• DynSem: a DSL for dynamic semantics specification
• Lem: reusable engineering of real-world semantics

Cited in

(17)

• Ott
• Executable component-based semantics
• On the effectiveness of higher-order logic programming in language-oriented programming
• System description: lang-n-change -- a tool for transforming languages
• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Encoding abstract syntax without fresh names
• Mechanized semantics for the clight subset of the C language
• Lem: reusable engineering of real-world semantics
• Lem: a lightweight tool for heavyweight semantics
• A Rewriting Logic Approach to Type Inference
• A Brief Overview of HOL4
• Semantics engineering with PLT Redex
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Ott: Effective tool support for the working semanticist
• Language transformations in the classroom
• Structured monads for generic first-order syntax metatheory
• Lightweight Java

Describes a project that uses

Uses Software

• Isabelle
• OCaml
• LaTeX
• Twelf
• Coq

This page was built for publication: Ott, effective tool support for the working semanticist

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