Control Flow Semantics

Control Flow Semantics

Versandkostenfrei!
Versandfertig in 1-2 Wochen
80,99 €
inkl. MwSt.
PAYBACK Punkte
40 °P sammeln!
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. 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. Whereas in more traditional approaches one focuses on input/output behavior, in this work equal attention is devoted to finite and infinite computations, the latter...