Automatic predicate abstraction of C programs
- 期刊名称ACM SIGPLAN Notices
- 作者Ball, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K.
- 卷第36卷
- 期第5期
- 印刷ISSN0362-1340
- 文件大小1385.32KB
- 发表时间2001-05-01
- DOI10.1145/381694.378846
- 页码203-213
The Educational WhirlSamuel Walker, C. W. Roberts, Naomi John White, Effa E. Preston, Joseph Burton Vasché, R. Elizabeth Reynolds, Helen Halter, Grace Lawrence and W. S. McColley · The Clearing House · 1939
ReviewsSamuel, Richard; Bramsted, Ernest; Turner, Ian; Godfrey, A. W. W.; Mackie, J. A. C.; Sundhausen, Ulf; Buesst, Tristan; Reynolds, John; Corbett, David · Australian Outlook · 1966
SERVICE PIPES OF VARIOUS MATERIALS [with DISCUSSION]R. W. Reynolds, J. E. Gibson, Stephen H. Taylor, William Luscombe, James E. Gibson, W. C. Hawley, Samuel B. Morris, Mr. Nelson and T. J. Skinker · Journal (American Water Works Association) · 1931
The Educational WhirlWalker, Samuel; Roberts, C. W.; White, Naomi John; Preston, Effa E.; Vasché, Joseph Burton; Reynolds, R. Elizabeth; Halter, Helen; Lawrence, Grace; McColley, W. S. · The Clearing House: A Journal of Educational Strategies, Issues and Ideas · 1939
TENTATIVE STANDARD SPECIFICATIONS FOR LAYING CAST-IRON PIPEW. C. Mabee, Thomas J. Skinker, Clinton L. Bogert, Samuel E. Killam, William M. Rapp, J. B. Winder, Frank Y. Dorrance, B. A. Poole, Willaim W. Hurlbut, Ralph W. Reynolds, George W. Pracy, Eugene T. Cranch, George T. Routlege and H. Lloyd Nelson · Journal (American Water Works Association) · 1938
The Educational WhirlJoseph Burton Vasché, R. Elizabeth Reynolds, Maude Dexter, Samuel Walker, Robert B. Nixon, Effa E. Preston, C. W. Roberts, Naomi John White, Walter S. McColley, Grace Lawrence, Frederick Gordon Lyle, Helen Halter and Nora McCaffrey Law · The Clearing House · 1939
REPORT OF THE COMMITTEE ON REPORTS AND DIGESTSEdward Q. Keasbey, Sigmund Zeisler, Thomas H. Reynolds, John W. Davis and Samuel P. Goldman · American Bar Association Journal · 1919
A measure of controlArmour, Phillip G. · Communications of the ACM · 2012
Lightweight modular stagingRompf, Tiark; Odersky, Martin · Communications of the ACM · 2012
Why ACM?Vardi, Moshe Y. · Communications of the ACM · 2012
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
The five orders of ignoranceArmour, Phillip G. · Communications of the ACM · 2000
Compiling techniquesCheatham, Thomas E. · Communications of the ACM · 1966
RooflineWilliams, Samuel; Waterman, Andrew; Patterson, David · Communications of the ACM · 2009
A fast string searching algorithmBoyer, Robert S.; Moore, J. Strother · Communications of the ACM · 1977