A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (Q2873785): Difference between revisions

@@ Property / author @@
-Grigore Roşu
@@ Property / author: Grigore Roşu / rank @@
-Normal rank
@@ Property / author @@
+Grigore Roşu
@@ Property / author: Grigore Roşu / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Centaur
@@ Property / describes a project that uses: Centaur / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K Prover
@@ Property / describes a project that uses: K Prover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.06.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2131616973
@@ Property / OpenAlex ID: W2131616973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785940
@@ Property / cites work: Q3785940 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Action Semantics
@@ Property / cites work: Action Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2873785