Imperative approach
A style of writing a program where the steps to reach a result are spelled out: find the room’s bookings, compare intervals, save the new one. A rule about the result is not written anywhere in full in such code; it emerges from the steps, so it has to be checked against behaviour.
Source: Wikipedia: Imperative programming
Where it appears · 2
- Where to check an AI agent's work · Specs and context
- Rice's theorem in plain words · Specs and context