CppCon, September 2020 Neighborhoods Banding Together Reasoning Globally about Programs Lisa LippincottThe code here is written in a fantasy C++, with extensions supporting local reasoning.void foo()

cpp) files individually ● Here is an example of separate compilation and linking together the object files (.o) together to build our final executable. 58(Quick Detour) Taking a deeper look (1/2) ● you want to expose to a user. 60Functions How might we group related functions together? 61Grouping Functions Together (1/3) ● At some point you’ll want to collect related files into a single source source file -- that is probably a good idea! ○ So at the least, we can group files together in one file ● A C-like strategy is to add a uniform prefix to each function name. ○ That is possibly reasonable

file=forfeasibility.html 30 • Physically (on the atomic scale) transistors are packed very tightly together • Heat becomes a problem • Energy consumption increases • (i.e. Dennard Scaling)Dennard Scaling file=forfeasibility.html 31 • Physically (on the atomic scale) transistors are packed very tightly together • Heat becomes a problem • Energy consumption increases • (i.e. Dennard Scaling) So the hardware file=forfeasibility.html 32 • Physically (on the atomic scale) transistors are packed very tightly together • Heat becomes a problem • Energy consumption increases • (i.e. Dennard Scaling) So the hardware

calculating camera motion and stabilizing video footage. Video Editing Video Editing: For sequencing together media into one video. Save and Override The workspaces are saved in the blend-file. When you open sharp change of direction. Aligned Free Handles: The two handles of the curve point are locked together to always point in exactly opposite directions. This results in a curve that is always smooth at this page Frame Node The Frame node is useful for organizing nodes by collecting related nodes together in a common area. Frames are useful when a node setup becomes large and confusing yet the re-usability

10 Grouping message 1 SEQUENCE DIAGRAM 1.10 Grouping message It is possible to group messages together using the following keywords: • alt/else • opt • loop • par • break • critical • group, followed separators: @startuml class Foo1 { You can use several lines .. as you want and group == things together. __ You can have as many groups as you want -- End of class } class User { .. Simple Getter .. Help on layout Sometimes, the default layout is not perfect... You can use together keyword to group some classes together : the layout engine will try to group them (as if they were in the same package)

10 Grouping message 1 SEQUENCE DIAGRAM 1.10 Grouping message It is possible to group messages together using the following keywords: • alt/else • opt • loop • par • break • critical • group, followed separators: @startuml class Foo1 { You can use several lines .. as you want and group == things together. __ You can have as many groups as you want -- End of class } class User { .. Simple Getter .. Help on layout Sometimes, the default layout is not perfect... You can use together keyword to group some classes together : the layout engine will try to group them (as if they were in the same package)

message 5 Alice -> Bob : message 6 @enduml 1.10 Grouping message It is possible to group messages together using the following keywords: • alt/else PlantUML Language Reference Guide (1.2019.1) 7 / 147 separators: @startuml class Foo1 { You can use several lines .. as you want and group == things together. __ You can have as many groups as you want -- End of class } class User { .. Simple Getter Help on layout Sometimes, the default layout is not perfect... You can use together keyword to group some classes together : the layout engine will try to group them (as if they were in the same package)

10 Grouping message 1 SEQUENCE DIAGRAM 1.10 Grouping message It is possible to group messages together using the following keywords: • alt/else • opt • loop • par • break • critical • group, followed separators: @startuml class Foo1 { You can use several lines .. as you want and group == things together. __ You can have as many groups as you want -- End of class } class User { .. Simple Getter .. Help on layout Sometimes, the default layout is not perfect... You can use together keyword to group some classes together : the layout engine will try to group them (as if they were in the same package)

calculating camera motion and stabilizing video footage. Video Editing Video Editing: For sequencing together media into one video. Save and Override The workspaces are saved in the blend-file. When you open sharp change of direction. Aligned Free Handles: The two handles of the curve point are locked together to always point in exactly opposite directions. This results in a curve that is always smooth at Link/Append. Frame Node The Frame node is useful for organizing nodes by collecting related nodes together in a common area. Frames are useful when a node setup becomes large and confusing yet the re-usability

calculating camera motion and stabilizing video footage. Video Editing Video Editing: For sequencing together media into one video. Save and Override The workspaces are saved in the blend-file. When you open sharp change of direction. Aligned Free Handles: The two handles of the curve point are locked together to always point in exactly opposite directions. This results in a curve that is always smooth at Link/Append. Frame Node The Frame node is useful for organizing nodes by collecting related nodes together in a common area. Frames are useful when a node setup becomes large and confusing yet the re-usability