Idealized coinductive type systems for imperative object-oriented programs (Q3006157): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2119286564
@@ Property / OpenAlex ID: W2119286564 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Inference by Coinductive Logic Programming
@@ Property / cites work: Type Inference by Coinductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q4855348
@@ Property / cites work: Q4855348 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive big-step operational semantics
@@ Property / cites work: Coinductive big-step operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming with Negation
@@ Property / cites work: Coinductive Logic Programming with Negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003341
@@ Property / cites work: Q4003341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319801
@@ Property / cites work: Q4319801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317886
@@ Property / cites work: Q4317886 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming
@@ Property / cites work: Coinductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Co-Logic Programming: Extending Logic Programming with Coinduction
+Normal rank
@@ Property / cites work @@
+HM(X) type inference is CLP(X) solving
@@ Property / cites work: HM(X) type inference is CLP(X) solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779233
@@ Property / cites work: Q2779233 / rank @@
+Normal rank