Computer program

Applied sciences
Computer engineering
Computer programming
Topics in computer programming

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 3 of 4

Scientific Computing in C++

Covers the basics of scientific computing in C++, including object-oriented programming and specific techniques.

Design for Sustainability I: Documentation and Assessment

Emphasizes the documentation and assessment of sustainability frameworks-in-action for project blueprints.

Separate Compilation: Linker/Loader; Make

Covers separate compilation, linking modules, loader role, and makefile usage.

Synchronization Inference

Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.

Error Handling and Exceptions

Covers error management, exceptions, and debugging techniques in C++, emphasizing the importance of making code more robust and easier to debug.

Refinement Types: Practicality and Soundness

Explores the practicality and soundness of refinement types, focusing on safe indexing and properties verification.

Linker and Loader: Understanding Compilation in C

Explains the roles of linker and loader in C programming, focusing on separate compilation and the creation of executable files.

Process Protection and Efficient Execution

Explores process execution, protection, and efficient OS mechanisms for secure and reliable multi-program environments.

Pointers and Memory Management

Covers pointers in C++, memory addresses, dynamic allocation, arrays, and memory management techniques.

Halting Problem: Unsolvable Problems

Explores the unsolvability of the halting problem in algorithms and the limitations of procedures in determining program halting.