Implementing type systems for the IDE with Xsemantics

DOI10.1016/J.JLAMP.2015.11.005zbMATH Open1348.68030OpenAlexW2229705435MaRDI QIDQ739624FDOQ739624

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

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

zbMATH Keywords

DSLsemanticsimplementationtype systemsEclipse

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Ruler: Programming Type Rules

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)