On simulation, subtyping and substitutability in sequential object systems (Q1906038): Difference between revisions

@@ Property / describes a project that uses @@
+Smalltalk
@@ Property / describes a project that uses: Smalltalk / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement, conformance and inheritance
@@ Property / cites work: Refinement, conformance and inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845490
@@ Property / cites work: Q4845490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998221
@@ Property / cites work: Q3998221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992915
@@ Property / cites work: Q3992915 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01210998
+Normal rank
@@ Property / OpenAlex ID @@
+W2089391789
@@ Property / OpenAlex ID: W2089391789 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q4730749
@@ Property / Recommended article: Q4730749 / rank @@
+Normal rank
@@ Property / Recommended article: Q4730749 / qualifier @@
+Similarity Score: 0.85503435Amount 0.85503435
Unit 1
-Amount
+.85503435
 Unit
@@ Property / Recommended article: Q4730749 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Specification and verification challenges for sequential object-oriented programs
+Normal rank
+Similarity Score: 0.8541977Amount 0.8541977
Unit 1
-Amount
+.8541977
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4739563
@@ Property / Recommended article: Q4739563 / rank @@
+Normal rank
@@ Property / Recommended article: Q4739563 / qualifier @@
+Similarity Score: 0.846534Amount 0.846534
Unit 1
-Amount
+.846534
 Unit
@@ Property / Recommended article: Q4739563 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2767195
@@ Property / Recommended article: Q2767195 / rank @@
+Normal rank
@@ Property / Recommended article: Q2767195 / qualifier @@
+Similarity Score: 0.84580195Amount 0.84580195
Unit 1
-Amount
+.84580195
 Unit
@@ Property / Recommended article: Q2767195 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4737002
@@ Property / Recommended article: Q4737002 / rank @@
+Normal rank
@@ Property / Recommended article: Q4737002 / qualifier @@
+Similarity Score: 0.8441474Amount 0.8441474
Unit 1
-Amount
+.8441474
 Unit
@@ Property / Recommended article: Q4737002 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Simplifying subtyping constraints: a theory
+Normal rank
+Similarity Score: 0.8436184Amount 0.8436184
Unit 1
-Amount
+.8436184
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Subtyping inheritance and its application in languages for symbolic computation systems
+Normal rank
+Similarity Score: 0.8434057Amount 0.8434057
Unit 1
-Amount
+.8434057
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2766532
@@ Property / Recommended article: Q2766532 / rank @@
+Normal rank
@@ Property / Recommended article: Q2766532 / qualifier @@
+Similarity Score: 0.8427974Amount 0.8427974
Unit 1
-Amount
+.8427974
 Unit
@@ Property / Recommended article: Q2766532 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A delegation-based object calculus with subtyping
+Normal rank
+Similarity Score: 0.8419527Amount 0.8419527
Unit 1
-Amount
+.8419527
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2871848
@@ Property / Recommended article: Q2871848 / rank @@
+Normal rank
@@ Property / Recommended article: Q2871848 / qualifier @@
+Similarity Score: 0.83846956Amount 0.83846956
Unit 1
-Amount
+.83846956
 Unit
@@ Property / Recommended article: Q2871848 / qualifier @@
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:1906038