Formal development of correct algorithms: An example based on Earley's recogniser
- C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
4 results for C.B. Jones
Formal development of correct algorithms: An example based on earley's recogniser
- C.B. Jones
- 1972
- ACM SIGPLAN Notices
Constructing a theory of a data structure as an aid to program development
- C.B. Jones
- 1979
- Acta Informatica
Dynamic syntax: A concept for the definition of the syntax of programming languages
- K.V. Hanford
- C.B. Jones
- 1973
- Annual Review in Automatic Programming