Background in compilers and embedded systems... 2Motive? 3Motive: Can it be done in C++? 4Session type 5Session type ? 6"A normal adult programmer never gives a thought about types. That is something C++, we can settle with this explanation: But that is not what “type” in “Session type” means. 28Session type ? 29Session? • Interaction of two or more entities. • It has a beginning and (usually) interactions is happening. 30Session? • Can we describe a valid sequence of interactions? • Interaction diagram Client Server int int ADD DIV int double end Branching 31Session? • Can we describe a

1October 3, 2023 2 Libraries: A First Step Toward Standard C++ Dependency Management Bret Brown, C++ Infrastructure Lead, Bloomberg Bill Hoffman, CTO, KitwareHello! Welcome! Bret Brown C++ Infrastructure portable as the code they contain! ● ✓ Projects should be “cattle,” not “pets”! 7Why dependency management? 8Consensus: Managing dependencies == way too hard Q: Which of these do you find frustrating names: jsonlogConfig.cmake Jsonlog-config.cmake # ... CMake gives you some dependency management tips here ... 13 Aside: Coloring and bolding added for emphasisMotivation: What would we design

export · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 98 2.3.11 Management, observability, and tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 101 2.4 MySQL operation Tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2407 13.1.2 Data management tools· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2408 13 · · · · 3871 14.11.2 Privilege Management · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 3878 14.11.3 TiDB User Account Management · · · · · · · · · · · · · · · ·

export · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 93 2.3.11 Management, observability, and tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 96 2.4 MySQL operation Tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2104 13.1.2 Data management tools· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2105 13 · · · · 3857 14.11.2 Privilege Management · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 3864 14.11.3 TiDB User Account Management · · · · · · · · · · · · · · · ·

export · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 70 2.3.11 Management, observability, and tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 73 2.4 MySQL operation Tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1989 13.1.2 Data management tools· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1990 13 · · · · 3823 14.11.2 Privilege Management · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 3830 14.11.3 TiDB User Account Management · · · · · · · · · · · · · · · ·

export · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 67 2.3.11 Management, observability, and tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 70 2.4 MySQL operation Tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1959 13.1.2 Data management tools· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1960 13 · · · · 3776 14.11.2 Privilege Management · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 3783 14.11.3 TiDB User Account Management · · · · · · · · · · · · · · · ·

export · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 67 2.3.11 Management, observability, and tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 70 2.4 MySQL operation Tools · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1982 13.1.2 Data management tools· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1983 13 · · · · 3810 14.11.2 Privilege Management · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 3817 14.11.3 TiDB User Account Management · · · · · · · · · · · · · · · ·

. . . . . . . 232 9.25 VirtualBox expert storage management . . . . . . . . . . . . . . . . . . . . . . . 232 9.26 Handling of host power management events . . . . . . . . . . . . . . . . . . . . 233 usage reporting . . . . . . . . . . . . . . . . . 265 12.2.6 Poor performance caused by host power management . . . . . . . . . . 265 12.2.7 GUI: 2D Video Acceleration option is grayed out . . . . . . . . use the following command line: hdiutil attach /path/to/VirtualBox-xyz.dmg Then open a terminal session and execute: sudo installer -pkg /Volumes/VirtualBox/VirtualBox.pkg -target /Volumes/Macintosh\ HD

. . . . . . . 231 9.25 VirtualBox expert storage management . . . . . . . . . . . . . . . . . . . . . . . 231 9.26 Handling of host power management events . . . . . . . . . . . . . . . . . . . . 232 usage reporting . . . . . . . . . . . . . . . . . 264 12.2.6 Poor performance caused by host power management . . . . . . . . . . 264 12.2.7 GUI: 2D Video Acceleration option is grayed out . . . . . . . . use the following command line: hdiutil attach /path/to/VirtualBox-xyz.dmg Then open a terminal session and execute: sudo installer -pkg /Volumes/VirtualBox/VirtualBox.pkg -target /Volumes/Macintosh\ HD