Looks like those would be under "Software systems."

Seems like at best 1 out of 10 in that category qualifies.. but yes, this is just 2006, so hard to tell.

Should be easy. Just look for ALGOL, LISP, Pascal (or Wirth), BCPL/C, ML, Haskell, Prolog, and META II. They should all be there since tons of CompSci work and many commercial products came from these. About six also establish a new or altered paradigm of programming, too. If it doesn't have most of them, then the list is bullshit. If it does, then it's solid.

Note: They all came way before 2006, too. Should've been easy for authors to find. :)