Access Permission ContractsAccess Permission Contracts • December 16th, 2010
Abstract. The ideal software contract is a full specification of the be- havior of an operation. Often, in particular in the context of scripting languages, a full specification can be cumbersome to state and may not even be desired. In such cases, a partial specification, which describes select aspects of the behavior, may be used to raise the confidence in an implementation of the operation to a reasonable level.
