from Hacker News

Abstract Interpretation as a Programming Language (2013)

by Hirrolot on 5/15/24, 8:52 AM with 6 comments

• by fjfaase on 5/15/24, 2:18 PM

  Most of the references in this article are from decades ago. It feels like denotational semantics has not become the success is claimed to be. I studied the book: 'The Denotational Description of Programming Languages: An Introduction' by Michael J. C. Gordon from 1979 while studying computer science in the eighties.

  One of the references in the article, is a reference to the book: 'Denotational Semantics: A Methodology for Language Development' https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/D...

• by Jtsummers on 5/15/24, 3:29 PM

  https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?DSS2013

  Other essays from the same occasion.

• by zvr on 5/15/24, 8:44 PM

  Needs a "(2013)" in the HN title.