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
Lecture
Static Analysis for Amy: Introduction to AST-based Analysis
Graph Chatbot
Related lectures (29)
Previous
Page 2 of 3
Next
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.
Parsing with Combinators
Explores parsing text into trees using parser combinators in Scala, covering filtering, transforming, sequencing, alternatives, recursion, spaces handling, lexing, monadic nature, and for-notation.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
Multithreading: Code Generation and Type Checking
Covers multithreading, code generation, and type checking in compiler implementation.
Software Quality: Managing Defects and Testing Strategies
Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.
Regular Expressions and Lexer Idea
Explores regular expressions, including their history, operators, lexical analysis, and manual construction of lexers.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Regular Expressions and Lexer Idea
Covers regular expressions, Kleene's contributions, logic, lexical analysis, and manual lexer construction.
Testing Strategies: Code Coverage and Quality
Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.
Software Testing: Avoiding and Fixing Bugs
Emphasizes the critical role of software testing in preventing and resolving bugs during development.
