Interface (object-oriented programming)

Related lectures (30)

Page 3 of 3

Explores the concept of interfaces in Java, emphasizing their role in defining common behaviors across classes.

Discusses ownership encoding, limiting dependencies, proof obligations, and challenges in automatic verification of object-oriented programs.

Introduces implicit parameters in Scala, showcasing their implementation in a Logger class and their application in a SimpleAI object.

Covers Python object exercises with basic syntax questions and practical quizzes.

Covers Python object exercises and basic syntax questions, including classes, dictionaries, file operations, and functions.

Introduces Stainless, a verifier for Scala, emphasizing bug prevention and library access.

Covers default constructors in C++, including examples and implications of specifying constructors in C++11.

Covers the expansion of function values and calls, and the relationship between functions and methods.

Introduces overloading, shadowing, and overriding in C++, with examples and the use of 'override' and 'final' keywords.

Covers the copy constructor in C++, its generation, initialization, and suppression in C++11.