Cinematic portrait of Devon Akins with his arms crossed
DEVON ALAN AKINSPERSONAL INTERFACE / WORK FILES
SYSTEM ONLINE
01 / PROJECT FILE / 02

Intent Specification Language.

A proposed language for describing software intent before AI generates implementation.

ISL · proposed languageResearch conceptLanguage design & research

THE WORK

Intent Specification Language (ISL) is a research concept for human-readable, machine-checkable software contracts describing required behavior, prohibitions, tests, and evidence.

ISL would describe the intended contract, while AIEI evaluates engineering evidence. The name is provisional. A stable grammar, formal semantics, compiler, verifier, and production toolchain have not been implemented or demonstrated.

WHAT COMES NEXT

Define a bounded grammar and falsifiable examples after AIEI's evidence foundation is validated.