Control Flow Semantics

by Erik P. De Vink and J.W. de Bakker

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...

• Format: Paperback
• Language: English
• ISBN: 026251897X
• ISBN13: 9780262518970
• Release Date: April 1996
• Publisher: MIT Press
• Length: 588 Pages
• Weight: 2.00 lbs.
• Dimensions: 1.2" x 7.0" x 9.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher