Leo Liberti, James Ostrowski
Journal of Global Optimization
Paper
An experiment in automatic verification of programs
Abstract
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?. © 1963, ACM. All rights reserved.
Related
Conference paper
Placement of multimedia blocks on zoned disks
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Lixi Zhou, Jiaqing Chen, et al.
VLDB
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine