scientific article

zbMath1272.68176MaRDI QIDQ2849585

Olivier Danvy

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001301

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Inter-deriving Semantic Artifacts for Object-Oriented Programming ⋮ From Reduction-Based to Reduction-Free Normalization