A Method for the Syntax Directed Design of Multiprograms

DOI10.1109/TSE.1981.234516zbMATH Open0463.68041OpenAlexW2077622743MaRDI QIDQ3914432FDOQ3914432

Derek Coleman, Jane W. Hughes, Malcolm S. Powell

Publication date: 1981

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1981.234516

zbMATH Keywords

software engineeringprogramming methodologymultiprocessingmultiprograms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

This page was built for publication: A Method for the Syntax Directed Design of Multiprograms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3914432)