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
Editor(s)
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
Volume
Pages150-169
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherACM
NotesProceedings published as ACM SIGPLAN Notices vol.7, no.1, January,1972; also ACM SIGACT News no.14, January,1972.