Roles, stacks, histories: A triple for Hoare (Q3021420): Difference between revisions

@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Stack-based access control and secure information flow
+Normal rank
@@ Property / cites work @@
+Parameterised notions of computation
@@ Property / cites work: Parameterised notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping dependent types
@@ Property / cites work: Subtyping dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank
@@ Property / cites work @@
+Typestate: A programming language concept for enhancing software reliability
+Normal rank
@@ Property / cites work @@
+Q4944851
@@ Property / cites work: Q4944851 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / rank @@
+Normal rank
@@ Property / cites work @@
+A Hoare Logic for Call-by-Value Functional Programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3021420