Phillip HeideggerAccess Permission Contracts • December 8th, 2011
The ideal software contract fully specifies the behavior of an oper- ation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to state and may not even be desired. In such cases, a partial specification, which describes se- lected aspects of the behavior, may be used to raise the confidence in an implementation of the operation to a reasonable level.
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.
POPL 2012Access Permission Contracts • January 25th, 2012
