Richard Gabriel honored by ACM