Unifying theories of programming
By: C.A.R. Hoare and He Jifeng
Contributors: Jifeng, He, 1943-
Edition: First edition
Series: Series in Computer Science
Publisher: Prentice Hall
Published: 1998
Place of publication: London; New York
Language: eng
Copyright date: 1998
Subjects: Computer programming
Description: Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.
Notes: Includes bibliographical references and index.