A language for inquiring about the run-time behaviour of programs
From MaRDI portal
Publication:4134903
DOI10.1002/SPE.4380070403zbMATH Open0361.68017OpenAlexW2000380406MaRDI QIDQ4134903FDOQ4134903
Authors: Jacques Cohen, Neal Carpenter
Publication date: 1977
Published in: Software: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/spe.4380070403
General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25)
Cites Work
Cited In (1)
This page was built for publication: A language for inquiring about the run-time behaviour of programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4134903)