Abstract data types and algebraic semantics of programming languages (Q1171877): Difference between revisions

@@ 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/0304-3975(82)90109-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1970677989
@@ Property / OpenAlex ID: W1970677989 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199499
@@ Property / cites work: Q4199499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3871894
@@ Property / cites work: Q3871894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127986
@@ Property / cites work: Q4127986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138062
@@ Property / cites work: Q4138062 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data types and software validation
@@ Property / cites work: Abstract data types and software validation / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Q5660505
@@ Property / cites work: Q5660505 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068067
@@ Property / cites work: Q4068067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066567
@@ Property / cites work: Q4066567 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data types and algebraic semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+The denotational semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q5578049
@@ Property / cites work: Q5578049 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order identities as a defining language
@@ Property / cites work: First-order identities as a defining language / rank @@
+Normal rank