Structuring transformational developments: A case study based on Earley's recognizer
DOI10.1016/0167-6423(84)90010-8zbMATH Open0537.68018OpenAlexW2034542070MaRDI QIDQ792748FDOQ792748
Authors: Helmut Partsch
Publication date: 1984
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(84)90010-8
Recommendations
programming methodologytransformational programmingformulation of transformational program developments
General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)
Cited In (2)
This page was built for publication: Structuring transformational developments: A case study based on Earley's recognizer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792748)