The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational...

An outstanding scholar and political figure, Gaetano Salvemini had a reputation as one of the most courageous figures of his age. As a member of the Italian Socialist Party he championed social and political reform as a party activist, political commentator, and public officeholder. He fought for universal suffrage (including for women); in World War One he stood for his own version of a Wilsonian peace; and he is counted among the earliest and most effective opponents of Fascism. It was said that the Fascists were anti-Salvemini before he became anti-Fascist, and their efforts to silence...