1 January 2020

The book chapter “An Abstract Domain for Objects in Dynamic Programming Languages”, by missing authors, has just been published in “Lecture Notes in Computer Science”! Available here.