scientific article
From MaRDI portal
Publication:2728872
zbMath0971.68611MaRDI QIDQ2728872
Andy Schürr, Andreas Winter, Manfred Münch
Publication date: 6 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
graph rewritingspecificationprogramming languagegraph transformationstype-checkerstatic semanticsstatic integrity constraints
Theory of programming languages (68N15) Computing methodologies and applications (68U99) Grammars and rewriting systems (68Q42)
Related Items
Uses Software