Grammar Characterization of Flowgraphs
From MaRDI portal
Publication:3888555
DOI10.1147/RD.246.0756zbMath0444.68069OpenAlexW1998200283MaRDI QIDQ3888555
R. Casajuana, J. L. Becerril, F. Valer, Jorge Bondia
Publication date: 1980
Published in: IBM Journal of Research and Development (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0eaf4459da990274d11d661a6f6c15ccffd6884a
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: Grammar Characterization of Flowgraphs