Parameter passing in algebraic specification languages (Q1056226): Difference between revisions

@@ Property / author @@
-James W. Thatcher
@@ Property / author: James W. Thatcher / rank @@
-Normal rank
@@ Property / author @@
-Q1056225
@@ Property / author: Q1056225 / rank @@
-Normal rank
@@ Property / author @@
+James W. Thatcher
@@ Property / author: James W. Thatcher / rank @@
+Normal rank
@@ Property / author @@
+Eric G. Wagner
@@ Property / author: Eric G. Wagner / 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/0304-3975(83)90065-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2036241569
@@ Property / OpenAlex ID: W2036241569 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel realization of systems, using factorizations and quotients in categories
+Normal rank
@@ Property / cites work @@
+Data type specification
@@ Property / cites work: Data type specification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906461
@@ Property / cites work: Q3906461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152697
@@ Property / cites work: Q4152697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667921
@@ Property / cites work: Q3667921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
+Normal rank
@@ Property / cites work @@
+Q4187290
@@ Property / cites work: Q4187290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917480
@@ Property / cites work: Q3917480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938469
@@ Property / cites work: Q3938469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5510775
@@ Property / cites work: Q5510775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851591
@@ Property / cites work: Q3851591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160385
@@ Property / cites work: Q4160385 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178466
@@ Property / cites work: Q4178466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925867
@@ Property / cites work: Q3925867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965556
@@ Property / cites work: Q3965556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195928
@@ Property / cites work: Q4195928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3660895
@@ Property / cites work: Q3660895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3935437
@@ Property / cites work: Q3935437 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction mechanisms in CLU
@@ Property / cites work: Abstraction mechanisms in CLU / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923580
@@ Property / cites work: Q3923580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883462
@@ Property / cites work: Q3883462 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to the Construction and Verification of Alphard Programs
+Normal rank