Articoli correlati a Control Flow Semantics

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.