artifact
active
artifact:air-traffic-control-tower-program

Air Traffic Control Tower Program

Example Elephant program demonstrating perlocutionary acts and accomplishment specifications; requires assumptions about world state and pilot obedience.

Neighborhood — ranked by edge-count

Concepts (1)

concept
  • Perlocutionary Acts
    about
    Speech acts whose success depends on effects in the world external to program; harder to verify than illocutionary acts.