Certificates and Separation Logic (Q2830040): Difference between revisions

@@ Property / describes a project that uses @@
+jStar
@@ Property / describes a project that uses: jStar / 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/978-3-319-05119-2_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1272983781
@@ Property / OpenAlex ID: W1272983781 / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of Proof Obligations from Java to the Java Virtual Machine
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing modular OO verification with separation logic
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Separation and information hiding
@@ Property / cites work: Separation and information hiding / rank @@
+Normal rank
@@ Property / cites work @@
+Separation logic, abstraction and inheritance
@@ Property / cites work: Separation logic, abstraction and inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Program and proof optimizations with type systems
@@ Property / cites work: Program and proof optimizations with type systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2830040