Control Flow Semantics - Brossura

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

 
9780262518970: Control Flow Semantics

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780262041546: Control Flow Semantics

Edizione in evidenza

ISBN 10:  0262041545 ISBN 13:  9780262041546
Casa editrice: Mit Pr, 1996
Rilegato