Pages that link to "Item:Q5410704"

From MaRDI portal

← Deriving Pretty-Big-Step Semantics from Small-Step Semantics (Q5410704)

Jump to:navigation, search

The following pages link to Deriving Pretty-Big-Step Semantics from Small-Step Semantics (Q5410704):

Displayed 3 items.

Flag-based big-step semantics (Q516041) ‎ (← links)
System description: lang-n-change -- a tool for transforming languages (Q2039949) ‎ (← links)
Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654) ‎ (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"