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
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007