The dynamic frames theory (Q539422): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-010-0152-5
@@ Property / DOI: 10.1007/s00165-010-0152-5 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+VeriCool
@@ Property / describes a project that uses: VeriCool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-010-0152-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2078020391
@@ Property / OpenAlex ID: W2078020391 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813391
@@ Property / cites work: Q4813391 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Pointers for the UTP
@@ Property / cites work: A Theory of Pointers for the UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Separation and information hiding
@@ Property / cites work: Separation and information hiding / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Basis for Verifying Multi-threaded Programs
@@ Property / cites work: A Basis for Verifying Multi-threaded Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular specification of frame properties in JML
@@ Property / cites work: Modular specification of frame properties in JML / rank @@
+Normal rank
@@ Property / cites work @@
+Separation logic and abstraction
@@ Property / cites work: Separation logic and abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories of Locations
@@ Property / cites work: Unifying Theories of Locations / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of Java programs with dynamic frames
+Normal rank
@@ Property / DOI @@
+.1007/S00165-010-0152-5
@@ Property / DOI: 10.1007/S00165-010-0152-5 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:539422