Lixi Zhou, Jiaqing Chen, et al.
VLDB
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
Optimization algorithms for energy-efficient data centers
Hendrik F. Hamann
InterPACK 2013
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998