'Correct programs' presentation slideshows

Session-Typed Concurrent Programming

627 views • 49 slides

A Mystery

594 views • 38 slides

Comp 401: Constructors and Pointers

Comp 401: Constructors and Pointers. Instructor: Prasun Dewan (FB 150, dewan@unc.edu). A Class (With Properties). public class ALoopingFactorialSpreadsheet { int number ; long factorial ; public int getNumber () { return number ; } public void setNumber ( int newVal ) {

310 views • 22 slides

Foundations of the C++ Concurrency Memory Model

Foundations of the C++ Concurrency Memory Model . Hans-J. Boehm Sarita V. Adve HP Laboratories UIUC. Multithreaded applications. Written in single threaded languages C,C++ Compilers are not thread aware OS thread libraries (e.g pthread) to prevent data races.

151 views • 12 slides

The Big Picture

The Big Picture. Verification and validation. Validation: does the software system meets the user's real needs? are we building the right software? Verification: does the software system meets the requirements specifications? are we building the software right?.

186 views • 8 slides