The ACM election has ended. Here are the results for SIGLOG: Chair: Prakash Panangaden Vice-Chair: Luke Ong Secretary: Alexandra Silva Treasurer: Amy Felty The positions are hold for or the term of 1 July 2016 – 30 June 2019. All…
Newsletter July 2016
Dear SIGLOG Members, The July issue of the SIGLOG Newsletter appeared. In this issue We have four technical columns! Emmanuel Filiot and Pierre-Alain Reynier survey word functions and transducers in Mikołaj Bojánczyk’s Automata column. In the Complexity column edited by…
Teaching Denotational Semantics
By Achim Jung , University of Birmingham Appeared in SIGLOG News Volume 1, Number 2, October 2014 1. Introduction In 1969 Dana Scott suggested, , that a Tarskian semantics could be given to programming languages by employing ordered structures…