A System to Automatically Analyze Assembled Programs

DOI10.1109/TSE.1983.236599zbMath0505.68012OpenAlexW1988507565MaRDI QIDQ4742294

No author found.

Publication date: 1983

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

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

zbMATH Keywords

program debuggingmachine program analysisprogram transferreal-time robot controlresources optimization

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A System to Automatically Analyze Assembled Programs