Jump Minimization in Linear Time
From MaRDI portal
Publication:3330482
DOI10.1145/1780.357262zbMATH Open0542.68005OpenAlexW2093832962MaRDI QIDQ3330482FDOQ3330482
M. V. S. Ramanath, Marvin Solomon
Publication date: 1984
Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1780.357262
Recommendations
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (3)
This page was built for publication: Jump Minimization in Linear Time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3330482)