Transforming constraint diagrams TeX Export

@inproceedings{burton:tcd, abstract = {Constraint diagrams were proposed by Kent for the purposes of formal software specification in a visual manner. They have recently been formalized and generalized, making them more expressive. This paper presents a collection of transformations that can be applied to the so-called unitary \$\alpha\$ fragment of constraint diagrams. The transformations can be used to define inference rules in a more succinct manner than in earlier systems. We establish that the transformations are sufficient to transform any given unitary \$\alpha\$-diagram into any other unitary \$\alpha\$-diagram. Therefore, they are sufficient for formalizing any inference rules between such diagrams.}, author = {Burton, Jim}, booktitle = {Visual Languages and Logic}, citeulike-article-id = {5816013}, day = {20}, editor = {Cox, Philip and Fish, Andrew and Howse, John}, keywords = {constraint-diagrams, diagrams}, location = {Corvallis, Oregon.}, month = {September}, pages = {62--80}, posted-at = {2009-09-21 20:16:43}, priority = {0}, title = {Transforming constraint diagrams}, year = {2009} }

TY - CONF ID - burton:tcd L3 - citeulike-article-id:5816013 N2 - Constraint diagrams were proposed by Kent for the purposes of formal software specification in a visual manner. They have recently been formalized and generalized, making them more expressive. This paper presents a collection of transformations that can be applied to the so-called unitary $\alpha$ fragment of constraint diagrams. The transformations can be used to define inference rules in a more succinct manner than in earlier systems. We establish that the transformations are sufficient to transform any given unitary $\alpha$-diagram into any other unitary $\alpha$-diagram. Therefore, they are sufficient for formalizing any inference rules between such diagrams. CY - Corvallis, Oregon. EP - 80 TI - Transforming constraint diagrams T2 - Visual Languages and Logic SP - 62 KW - constraint-diagrams KW - diagrams AU - Burton, Jim A2 - Cox, Philip A2 - Fish, Andrew A2 - Howse, John PY - 2009/09/20/ ER -