scientific article; zbMATH DE number 6744210
From MaRDI portal
Publication:5277892
DOI10.4230/LIPIcs.RTA.2015.365zbMath1366.68015MaRDI QIDQ5277892
Pierre Neron, Vlad Vergu, Eelco Visser
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
IDEprogramming languagesdynamic semanticsmodularityreduction semanticsdomain-specific languageinterpreterssemantics engineering
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
A lazy desugaring system for evaluating programs with sugars ⋮ Executable component-based semantics ⋮ Implementing type systems for the IDE with Xsemantics
This page was built for publication:
