Implementing type systems for the IDE with Xsemantics

DOI10.1016/J.JLAMP.2015.11.005MaRDI QIDQ739624zbMATH OpenOpenAlexFDO

Authors Lorenzo Bettini

Publication date 18 August 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.11.005

zbMATH Keywords

DSLsemanticsimplementationtype systemsEclipse

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Ruler: Programming Type Rules
• DynSem: a DSL for dynamic semantics specification
• scientific article; zbMATH DE number 177779
• Executable component-based semantics
• Ott: Effective tool support for the working semanticist

Cites work

• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• A theory of name resolution
• An overview of the K semantic framework
• DynSem: a DSL for dynamic semantics specification
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Isabelle. A generic theorem prover
• Ott: Effective tool support for the working semanticist
• Ruler: Programming Type Rules
• Scripting the type inference process
• Semantics engineering with PLT Redex
• The JastAdd system - modular extensible compiler construction
• Types and programing languages

Cited in

(1)

• Ruler: Programming Type Rules

Describes a project that uses

Uses Software

• Coq
• Isabelle
• Ott
• Stratego
• JastAdd
• ANTLR
• MontiCore
• LCF
• PLT Redex
• Featherweight Java
• Spoofax
• Neverlang
• Centaur
• K Prover
• Ruler

This page was built for publication: Implementing type systems for the IDE with Xsemantics

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