A language for inquiring about the run-time behaviour of programs

DOI10.1002/spe.4380070403zbMath0361.68017OpenAlexW2000380406MaRDI QIDQ4134903

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01)

Related Items

Bibliography on the evaluation of numerical software

Cites Work

• Unnamed Item
• Unnamed Item