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 1 of 3
Next
WS1S Solver: Project Structure
Explores the project structure for solving WS1S formulas and planned additions.
Automated Testing: Fuzzing and Sanitization
Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.
Static Analysis for Amy: Techniques and Implementations
Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.
CLP Parser Lab Presentation
Covers implementing a parser for transforming tokens into an Abstract Syntax Tree.
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
Constructing a Lexer: First Symbols
Covers the computation of 'nullable' and 'first' for regular expressions, converting expressions into a lexer, and handling token priorities.
Name Analysis: Compiler Phases and Symbol Tables
Explores compiler phases and symbol tables' role in mapping variables to declarations.
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.
Constructing a Lexer: First Symbols
Covers the computation of 'nullable' and 'first' for regular expressions.
Property-Based Testing: Advanced Techniques
Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.
