Formal Specification of Graphic Data Types

DOI10.1145/69622.357191MaRDI QIDQ3957913zbMATH OpenOpenAlexWikidataFDO

Authors William R. Mallgren

Publication date 1982

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/69622.357191

zbMATH Keywords

algebraic approaches to semanticscontinuous picturecorrectness proofgeometric functiongraphic transformationlanguagespointregiontree-structured pictureverification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Algebraic specification and development in geometric modeling

This page was built for publication: Formal Specification of Graphic Data Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3957913)