Control Flow Semantics - Softcover

De Bakker, J. W. W; De Vink, Erik P.

 
9780262518970: Control Flow Semantics

Synopsis

Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages.

"synopsis" may belong to another edition of this title.

About the Authors

J. W. de Bakker is Professor at the Centrum voor Wiskinde en Informatica in Amsterdam.

Erik de Vink is Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780262041546: Control Flow Semantics (The MIT Press)

Featured Edition

ISBN 10:  0262041545 ISBN 13:  9780262041546
Publisher: MIT Press, 1996
Hardcover