ePrints

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

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Jones CB

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: ACM Conference on Proving Assertions about Programs

Year of Conference: 1972

Pages: 150-169

ISSN: 1523-2867

Publisher: ACM

Notes: Proceedings published as ACM SIGPLAN Notices vol.7, no.1, January,1972; also ACM SIGACT News no.14, January,1972.

Share