Lecture
Functional Decomposition: Pattern Matching
Related lectures (29)
Class Hierarchies: Pattern Matching
Explores class hierarchies, case classes, enums, pattern matching, and function values in Scala.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
Context Passing: Execution Contexts
Covers context passing vs type classes, execution contexts, tamper-proofing, and the importance of specificity in Scala.
Model Interpretation and Compilation
Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Prefix, Infix, Postfix and Code Generation
Explores prefix, infix, and postfix notations in expressions and their role in code generation.
Excitonic Devices: Modeling and Applications
Covers excitonic device modeling and exciton control using 2D materials.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Finite Element Analysis
Covers the fundamentals of finite element analysis, including traction and interpolation functions.
LabVIEW Programming Essentials
Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.