An algorithm for reasoning about equality
- 期刊名称Communications of the ACM
- 作者Shostak, Robert E.
- 卷第21卷
- 期第7期
- 印刷ISSN0001-0782
- 文件大小2176.13KB
- 发表时间1978-7-1
- DOI10.1145/359545.359570
- 页码583-585
On the readability of COBOL manualsRonald S. Lemos · 1983
Etiquette for the ProfessoriateRonald S. Lemos · Academe · 2007
Strategic Planning for University ComputingLemos, Ronald S. · Journal of Education for Business · 1988
Teaching programming languagesLemos, Ronald S. · ACM SIGCSE Bulletin · 1979
“Free” computer too expensiveLemos, Ronald S. · ACM SIGCSE Bulletin · 1983
Factionalism versus fraternalism in computingLemos, Ronald S. · ACM SIGCSE Bulletin · 1978
Measuring Programming Language ProficiencyLemos, Ronald S. · AEDS Journal · 1980
Microcomputers and the SBI ProgramLemos, Ronald S. · American Journal of Small Business · 1985
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