Automatic verification of Java programs with dynamic frames (Q973055): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+jStar
@@ Property / describes a project that uses: jStar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MJ
@@ Property / describes a project that uses: MJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Spec#
@@ Property / describes a project that uses: Spec# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriFast
@@ Property / describes a project that uses: VeriFast / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / 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-0148-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2069522167
@@ Property / OpenAlex ID: W2069522167 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy behavioral subtyping
@@ Property / cites work: Lazy behavioral subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification challenges for sequential object-oriented programs
+Normal rank
@@ Property / cites work @@
+Using History Invariants to Verify Observers
@@ Property / cites work: Using History Invariants to Verify Observers / rank @@
+Normal rank
@@ Property / cites work @@
+Protective interface specifications
@@ Property / cites work: Protective interface specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Modular specification and verification of object-oriented programs
+Normal rank
@@ Property / cites work @@
+Separation logic, abstraction and inheritance
@@ Property / cites work: Separation logic, abstraction and inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of Java programs with dynamic frames
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:973055