An Institution for Imperative RSL Specifications (Q5403080): Difference between revisions

@@ Property / author @@
-Anne Elisabeth Haxthausen
@@ Property / author: Anne Elisabeth Haxthausen / rank @@
-Normal rank
@@ Property / author @@
+Anne Elisabeth Haxthausen
@@ Property / author: Anne Elisabeth Haxthausen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / 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.1007/978-3-642-54624-2_22
+Normal rank
@@ Property / OpenAlex ID @@
+W172607183
@@ Property / OpenAlex ID: W172607183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471907
@@ Property / cites work: Q4471907 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680190
@@ Property / cites work: Q4680190 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling Systems
@@ Property / cites work: Modelling Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Constructor-based observational logic
@@ Property / cites work: Constructor-based observational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680193
@@ Property / cites work: Q4680193 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Q4845494
@@ Property / cites work: Q4845494 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5403080