Beyond Execution

Current software merely executes. The goal is systems that understand what they are doing. Execution is the baseline, reasoning is the goal.

Execution Models

• Von Neumann: Sequential
• Dataflow: Demand-driven
• Interaction nets: Parallel rewriting
• GPU: SIMD execution

Performance

Execution speed matters, but correctness matters more. Fast wrong answers are useless. Slow right answers are valuable.