Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091): Difference between revisions

@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1519644068
@@ Property / OpenAlex ID: W1519644068 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Safety of abstract interpretations for free, via logical relations and Galois connections
+Normal rank
@@ Property / cites work @@
+Exercises in Quantifier Manipulation
@@ Property / cites work: Exercises in Quantifier Manipulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738112
@@ Property / cites work: Q4738112 / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic operators and monotype factors
@@ Property / cites work: Demonic operators and monotype factors / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Transposing partial components--an exercise on coalgebraic refinement
+Normal rank
@@ Property / cites work @@
+Calculating Invariants as Coreflexive Bisimulations
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculational approach to mathematical induction
+Normal rank
@@ Property / cites work @@
+Q3405587
@@ Property / cites work: Q3405587 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3157876
@@ Property / cites work: Q3157876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / 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 @@
+Q3838013
@@ Property / cites work: Q3838013 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+A mini challenge: build a verifiable filesystem
@@ Property / cites work: A mini challenge: build a verifiable filesystem / rank @@
+Normal rank
@@ Property / cites work @@
+NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
@@ Property / cites work: NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphism and separation in hoare type theory
@@ Property / cites work: Polymorphism and separation in hoare type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2755071
@@ Property / cites work: Q2755071 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705620
@@ Property / cites work: Q4705620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4947593
@@ Property / cites work: Q4947593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank