My Story
See Bitching About Cambridge University:
Tom Ridge was not a student of Peter Sewell, he was employed as a Research Assistant.
Scott Owens and Kathy Gray worked at Cambridge, and Scott was also employed as a Research Assistant by Peter Sewell. See https://www.cs.kent.ac.uk/people/staff/sao/pubs.html and https://www.researchgate.net/profile/Kathryn-Gray
Early Parser: https://en.m.wikipedia.org/wiki/Earley_parser
Tom Ridge Parsing: Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars: https://link.springer.com/chapter/10.1007/978-3-642-25379-9_10
Larry Paulson's PhD Thesis (Stanford 1981): https://www.cl.cam.ac.uk/~lp15/papers/Reports/thesis.pdf
Cousot and Cousot: https://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml
Comments
Post a Comment