Formal development of correct algorithms: an example based on Earley’s recogniser

  1. Lookup NU author(s)
  2. Professor Cliff Jones
Author(s)Jones CB
Publication type Conference Proceedings (inc. Abstract)
Conference NameACM Conference on Proving Assertions about Programs
Conference LocationNew Mexico State University, Las Cruces, New Mexico
Year of Conference1972
Legacy Date6-7 January 1972
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
NotesProceedings published as ACM SIGPLAN Notices vol.7, no.1, January,1972; also ACM SIGACT News no.14, January,1972.