Unifying Theories of Programming
- Unifying Theories of Programming
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 programs 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 (ISBN 0-13-458761-8).
External links
* [http://citeseer.ist.psu.edu/context/535366/0 Citations]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Tony Hoare — Sir Charles Antony Richard Hoare Sir Charles Antony Richard Hoare giving a conference at the EPFL on 20 June 2011 Born … Wikipedia
C. A. R. Hoare — Infobox Scientist name = Charles Antony Richard Hoare image width = 150px birth date = birth date and age|1934|1|11 birth place = Colombo, Sri Lanka field = Computer Scientist work institution = Elliott Brothers Queen s University of Belfast… … Wikipedia
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 * R. S. Bird, Introduction to Functional Programming using Haskell ,… … Wikipedia
Хоар, Чарльз Энтони Ричард — Чарльз Энтони Ричард Хоар Charles Antony Richard Hoare … Википедия
Хоар, Чарльз — Сэр Чарльз Энтони Ричард Хоар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) английский учёный, специализирующийся в области информатики и… … Википедия
Хоар Тони — Сэр Чарльз Энтони Ричард Хоар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) английский учёный, специализирующийся в области информатики и… … Википедия
Хоар, Тони — Сэр Чарльз Энтони Ричард Хоар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) английский учёный, специализирующийся в области информатики и… … Википедия
Хоар Энтони — Сэр Чарльз Энтони Ричард Хоар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) английский учёный, специализирующийся в области информатики и… … Википедия
Хоар, Энтони — Сэр Чарльз Энтони Ричард Хоар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) английский учёный, специализирующийся в области информатики и… … Википедия
