Classes

Learn about the specification and verification of aggregate data types defined with struct and class.

Contents

• Class Representation Predicates
• Class Representation Predicates, alternative
• Hints about Reps
• Sharing with Fractional Permissions