Leslie Lamport: Thinking Above the Code

Name: Leslie Lamport: Thinking Above the Code
Uploaded: 2014-07-15T00:00:00.000Z
Duration: 59 min 50 s
Description: Leslie Lamport argues programmers must think mathematically and write a specification before coding, because thinking without writing fools you and code-level thinking fails for subtle, concurrent, and critical systems.

Microsoft Research · 59:50 · Watch on YouTube

Leslie Lamport argues programmers must think mathematically and write a specification before coding, because thinking without writing fools you and code-level thinking fails for subtle, concurrent, and critical systems.

Read the full summary on retube

한국어