Structuring transformational developments: A case study based on earley's recognizer
- 30 April 1984
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 4 (1) , 17-44
- https://doi.org/10.1016/0167-6423(84)90010-8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Algebraic implementations preserve program correctnessScience of Computer Programming, 1986
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A System for Assisting Program TransformationACM Transactions on Programming Languages and Systems, 1982
- A Transformational Derivation of a Parsing Algorithm in a High-Level LanguageIEEE Transactions on Software Engineering, 1981
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- An Improved Context-Free RecognizerACM Transactions on Programming Languages and Systems, 1980
- A synthesis of several sorting algorithmsActa Informatica, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Formal development of correct algorithmsACM SIGPLAN Notices, 1972
- An efficient context-free parsing algorithmCommunications of the ACM, 1970