Exploration of the Bird-Meertens Formalism

摘要

Two formalisms that have been used extensively in the last few years for the calculation of programs are the Eindhoven quantifier notation and the formalism developed by Bird and Meertens. Although the former has always been applied with the ultimate goal of the derivation of imperative programs and the latter with the ultimate goal of the derivation of functional programs there is a remarkable similarity in the formal games that are played. The paper explores the Bird-Meertens formalism by expressing and deriving within it the basic rules applicable in the Eindhoven quantifier notation.