From Wikipedia, the free encyclopedia
|Search user languages|
- Pointer, smart pointer, and reference (computer science) need to be organized; handle (computer science) might have to go in as its own article
- CTL* (and CTL and LTL could bear with touching up)
- More detail on Robert Floyd's predecessor to Hoare logic for proofs over flowcharts
- Factory object needs an example
Quick note: these aren't sockpuppets, they're friends.