• Skip to main navigation
  • Skip to main content
  • Skip to footer
ACM Special Interest Group on Logic and Computation

ACM Special Interest Group on Logic and Computation

  • News
  • About
    • Chair’s statement
    • Bylaws of SIGLOG
  • People
  • Conferences
    • SIGLOG’s Diversity Policy
    • SIGLOG In-Cooperation Proposal 
    • SIGLOG Sponsorship Proposal
    • SIGLOG Conference Anti-Harassment Policy
  • Awards
    • Alonzo Church Award
  • Publications
  • Membership
  • Skip to menu toggle button
  • Facebook
  • Back to top ↑

Author: siglog (page 5)

Newsletter July 2016

Posted on: 1 July 2016 Last updated on: 20 November 2016 Written by: siglog
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…
Continue reading “Newsletter July 2016”…

Teaching Denotational Semantics

Posted on: 1 October 2014 Last updated on: 25 April 2017 Written by: siglog
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…
Continue reading “Teaching Denotational Semantics”…
« Previous page 1 … 3 4 5

Search

Calendar

There are no upcoming events.

Social

  • Facebook
© 2023 ACM Special Interest Group on Logic and Computation | Using Reykjavik WordPress theme. | Back to top ↑
  • Facebook
  • Back to top ↑