How do I traverse a tree without using recursion?
Posted by Reactgular, at softwareengineering.stackexchange.com,
I have a very large in memory node tree and need to traverse the tree. Passing the returned values of each child node to their…
Verification of Object-Oriented Software. The KeY Approach
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A New Look at Formal Methods for Software Construction
-
Altmetric BadgeChapter 2 First-Order Logic
-
Altmetric BadgeChapter 3 Dynamic Logic
-
Altmetric BadgeChapter 4 Construction of Proofs
-
Altmetric BadgeChapter 5 Formal Specification
-
Altmetric BadgeChapter 6 Pattern-Driven Formal Specification
-
Altmetric BadgeChapter 7 Natural Language Specifications
-
Altmetric BadgeChapter 8 Proof Obligations
-
Altmetric BadgeChapter 9 From Sequential Java to Java Card
-
Altmetric BadgeChapter 10 Using KeY
-
Altmetric BadgeChapter 11 Proving by Induction
-
Altmetric BadgeChapter 12 Java Integers
-
Altmetric BadgeChapter 13 Proof Reuse
-
Altmetric BadgeChapter 14 The Demoney Case Study
-
Altmetric BadgeChapter 15 The Schorr-Waite-Algorithm
-
Altmetric BadgeChapter 16 Predefined Operators in Java Card DL
-
Altmetric BadgeChapter 17 The KeY Syntax