Structuring transformational developments: A case study based on Earley's recognizer

DOI10.1016/0167-6423(84)90010-8zbMath0537.68018OpenAlexW2034542070MaRDI QIDQ792748

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

zbMATH Keywords

transformational programmingprogramming methodologyformulation of transformational program developments

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

This page was built for publication: Structuring transformational developments: A case study based on Earley's recognizer