Specifying the Behaviour of Python Programs Language and Basic Examples. - mauriceling/mauriceling.github.io GitHub Wiki

Citation: Ling, MHT. 2010. Specifying the Behaviour of Python Programs: Language and Basic Examples. The Python Papers 5(2): 4.

Link to [Abstract] and [PDF].

Here is a permanent link to this [PDF] in my own archive.

This manuscript describe BeSSY, a function-centric language for formal behavioural specification that requires no more than high-school mathematics on arithmetic, functions, Boolean algebra and sets theory. An object can be modelled as a union of data sets and functions whereas inherited object can be modelled as a union of supersets and a set of object-specific functions. Python list and dictionary operations are specified in BeSSY for illustration.