Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Static program analysis
Formal sciences
Theoretical computer science
Programming language theory
Formal verification
Graph Chatbot
Related lectures (30)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 3
Next
Multifunctionality: Examples and Analysis
Explores multifunctionality through various examples and how it impacts life cycle assessment.
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
Static Analysis for Amy: Techniques and Implementations
Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.
Introduction to MATLAB
Covers the basics of MATLAB and includes an exercise session on metabolic modeling.
Vibratory Mechanics: Cylindrical Buoy
Covers the calculation of characteristics in vibratory mechanics using a cylindrical buoy example.
Digital Humanities and Game Studies
Explores the intersection between digital humanities and game studies, showcasing various research projects and highlighting the interdisciplinary nature of research in these fields.
Abstract Interpretation in Stainless
Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Flexible Guidance Analysis: Exercises
Covers the analysis of flexible guidance systems through various exercises and configurations.
Introduction to Analysis II
Introduces the Analysis 2 course, covering course structure, language support, and exercise sessions.
Advanced Metaprogramming Queries: Code Volume & Complexity
Explores challenges in code volume, complexity, and metaprogramming queries over code.
