Abstract performatives include purely internal actions such as commitments not necessarily expressed in output, but on whose fulfillment the correctness of the program depends.

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Abstract Performativesconcept0.850
  Internal actions like commitments not necessarily expressed in output, but on whose fulfillment correctness depends.
• Commitment (Abstract Performative)concept0.834
  Internal commitment to make a sentence true; correctness requires fulfillment; example of abstract performative not necessarily externally expressed.
• We hope that programs using performatives will be easier to write, understand, debug, modify and (above all) verify.hypothesis0.801
  Hope expressed about the benefits of Elephant-style programs.
• We also propose to handle external obligations in an abstract way.claim0.799
  Proposal for type 1/type 2 obligations.
• The affordances of software are often abstract: actions have direct effects that users cannot see and indirect effects they cannot anticipate.claim0.796
  Why concepts are needed to make sense of complex systems.
• Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.792
  Dynamic nature of commitments.
• Performative chain-of-thought is real; verbalized output does not equal internal state.claim0.788
• Products are externalized expressions of care rather than pure task-completion systems.claim0.783