Sciweavers

APSEC
1999
IEEE

Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks

14 years 2 months ago
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a formal description technique to specify the behavior of Smalltalk blocks. The traditional Hoare-style pre- and postcondition technique is extended to incorporate two new predicate composition operators called a sequence operator and a sequential quantifier. The sequence operator combines two predicates by identifying the post-state of the first predicate and the pre-state of the second predicate. The sequential quantifier is an extension of sequence operator to a sequence of predicates. We illustrate our approach by using Smalltalk blocks, but the approach is not in any way Smalltalk specific. It can be applied to closures in other programming languages. Keywords Program specification, specification language, block, Smalltalk, formal semantics, sequence operator
Yoonsik Cheon, Heung-Nam Kim
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 1999
Where APSEC
Authors Yoonsik Cheon, Heung-Nam Kim
Comments (0)