Verification of object-oriented programs: a transformational approach (Q439944): Difference between revisions

@@ Property / author @@
-Ernst-Ruediger Olderog
@@ Property / author: Ernst-Ruediger Olderog / rank @@
-Normal rank
@@ Property / author @@
+Ernst-Ruediger Olderog
@@ Property / author: Ernst-Ruediger Olderog / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6067706
@@ Property / zbMATH DE Number: 6067706 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+object-oriented programs
@@ Property / zbMATH Keywords: object-oriented programs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+null references
@@ Property / zbMATH Keywords: null references / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+aliasing
@@ Property / zbMATH Keywords: aliasing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inheritance
@@ Property / zbMATH Keywords: inheritance / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+subtyping
@@ Property / zbMATH Keywords: subtyping / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+syntax-directed transformation
@@ Property / zbMATH Keywords: syntax-directed transformation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recursive programs
@@ Property / zbMATH Keywords: recursive programs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program verification
@@ Property / zbMATH Keywords: program verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+strong partial correctness
@@ Property / zbMATH Keywords: strong partial correctness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relative completeness
@@ Property / zbMATH Keywords: relative completeness / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Modula
@@ Property / describes a project that uses: Modula / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / 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.1016/j.jcss.2011.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1489237563
@@ Property / OpenAlex ID: W1489237563 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:439944