Indexed and fibered structures for partial and total correctness assertions (Q5889306): Difference between revisions

@@ Property / cites work @@
+Weakest preconditions in fibrations
@@ Property / cites work: Weakest preconditions in fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Graded Hoare logic and its categorical semantics
@@ Property / cites work: Graded Hoare logic and its categorical semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
+Normal rank
@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Q3995530
@@ Property / cites work: Q3995530 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare Logic in the Abstract
@@ Property / cites work: Hoare Logic in the Abstract / rank @@
+Normal rank
@@ Property / cites work @@
+Fibred and Indexed Categories for Abstract Model Theory
+Normal rank
@@ Property / cites work @@
+Towards a uniform presentation of logical systems by indexed categories and adjoint situations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5889306