Unifying Theories of Programming
Encyclopedia
Unifying Theories of Programming 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 program
s and computer systems.
The book of this title by C.A.R. Hoare and He Jifeng
was published in the Prentice Hall International Series in Computer Science
in 1998.
Denotational semantics
In computer science, denotational semantics is an approach to formalizing the meanings of programming languages by constructing mathematical objects which describe the meanings of expressions from the languages...
, operational semantics
Operational semantics
In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics formally describe how the individual steps of a computation take place in a...
and algebraic semantics
Algebraic semantics
An programming language theory, the algebraic semantics of a programming language is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner....
can be combined in a unified framework for the formal specification
Formal specification
In computer science, a formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not how the system should do it...
, design and implementation of program
Computer program
A computer program is a sequence of instructions written to perform a specified task with a computer. A computer requires programs to function, typically executing the program's instructions in a central processor. The program has an executable form that the computer can use directly to execute...
s and computer systems.
The book of this title by C.A.R. Hoare and He Jifeng
He Jifeng
He Jifeng is a Chinese computer scientist.He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory from 1984 to 1998. He worked extensively on formal aspects of computing science...
was published in the Prentice Hall International Series in Computer Science
Prentice Hall International Series in Computer Science
Prentice Hall International Series in Computer Science is a series of books on computer science published by Prentice Hall. Its founding editor was Tony Hoare. Richard Bird subsequently took over editing the series.- Selected books :...
in 1998.