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
JavaScript syntax
Graph Chatbot
Related lectures (10)
Login to filter by course
Login to filter by course
Reset
Python Programming: File Handling and Exceptions
Explores file handling and exceptions in Python programming, covering reading, writing, and error handling strategies.
Coding Environment Basics
Covers the basics of using an online coding environment to write and run code.
In-Place Tokenization: A Case Study in C Programming
Covers in-place tokenization in C, focusing on modifying strings directly to extract tokens.
Conditional Branching in Java
Covers the basics of conditional branching in Java using if-else statements and emphasizes the importance of code blocks.
Closure Conversion and Dataflow Analysis
Explores closure conversion, function hoisting, and dataflow analysis for program optimization.
Iterations: Deepening & Examples
Covers advanced concepts of iterations in Java programming, showcasing various forms of for loops and common mistakes to avoid.
Dynamic and Interactive Web-based Mapping
Covers the basics of client/server architecture and building interactive web maps.
Abstract Interpretation in Stainless
Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Introduction to Programming with Python
Introduces Python programming basics, covering data types, operators, variables, functions, and code tracing.
Synchronization Inference
Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.
Previous
Page 1 of 1
Next
