adilakhter

Scala Notes: Functions

Functions in Scala can be defined simply as follows: def fnname (args)={ // function body } Implementing loop can be done in following manner. def whileLoop{ var i = 1 while (i<=3) { println (i)

Semantics with Application by Hanne Riis Nielson & Flemming Nielson

"Semantics with Applications: A Formal Introduction" - by Hanne Riis Nielson and Flemming Nielson presents the fundamental ideas behind the major three approaches to operational, denotational and axiomatic semantics. This book also addresses the relationship by formulating and proving the relevant t