Kotlin (programming language)

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (12)

Verifying Programs with Stainless: Part 2

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

How Classes are Organized

Covers how classes and objects are organized in packages, imports, Scala's class hierarchy, traits, top types, the Nothing type, exceptions, and includes an exercise on type determination.

JVM Backend: Code Generation and Translation

Explores the translation of programs, definitions, and expressions into bytecode using the JVM backend.

Collections: Hashcode and Equals Methods

Explains the importance of hashcode and equals methods in Java.

Default Constructors in Java

Covers default constructors in Java, including generation by the compiler and calling other constructors.

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Property-Based Testing: Advanced Techniques and Applications

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Java Interfaces Evolution

Explores the evolution of Java interfaces since version 8, covering default methods, method inheritance, and conflict resolution.

Asynchronous Programming with Futures

Explores asynchronous programming with futures, showcasing benefits, challenges, and efficient implementations.

Programming for Engineers: Advanced MATLAB Techniques

Explores advanced MATLAB techniques, emphasizing vectorization, 'find' function, and plot manipulation.

Programming for Engineers

Covers programming concepts, memory management, debugging, and advanced MATLAB functionalities.

Page 1 of 1