New York / Marina Del Rey / Estates / Oxford / Berlin / Amsterdam / London / Broadway / /
Company
Cambridge University Press / Pergamon Press / MIT Press / Prentice-Hall International Inc. / North-Holland Publishing Company / Computer Sciences / Elsevier North Holland Inc. / University of Cambridge Computer Laboratory / Artificial Intelligence Laboratory / SRI International / American National Standards Institute Inc. / /
Country
Netherlands / United States / /
Facility
AFFIRM Type Library / Stanford University / Courant Institute of Mathematical Sciences / University of Edinburgh / Carnegie-Mellon University / Information Science Institute / University of Texas / Computer Applications The University of Texas / Research Triangle Institute / /
IndustryTerm
heuristic search strategy / integer square root algorithm / communications line / linear time majority vote algorithm / software specifications / program verification technology / software certification / point algorithms / verification systems / unification algorithm / concurrent systems / everyday products / public key encryption algorithm / Mechanical verification systems / /
Organization
Federal Aviation Administration / Cambridge University / University of Texas at Austin / National Science Foundation / USC Information Sciences Institute / MIT / U.S. government / American National Standards Institute / Institute for Advanced Study / Department of Defense Computer Security Center / office of Naval Research Contract N00014-81-K-0634 / Institute for Computing Science / Department of Computer Sciences / Providence / American Mathematical Society / United States Army / Department of Computer Science / University of Edinburgh / Stanford University / Carnegie-Mellon University / National Aeronautics and Space Administration / Research Triangle Institute / Department of Defense / United States of America Standards Institute / Courant Institute of Mathematical Sciences / Information Science Institute / University of Texas / /
Person
Don Good / Lorenzo Di Vito / Richard J. Feiertag / Rey / Robert S. Boyer / David Luckham / /
Position
R. L. Constable / interpreter / King / interpreter for the programming language / /
ProgrammingLanguage
Pascal / LISP / FORTRAN / J / /
ProvinceOrState
Texas / New York / Rhode Island / North Carolina / Massachusetts / /
PublishedMedium
Symposia / Lecture Notes in Computer Science / American Mathematical Monthly / /
Region
North Holland / /
SportsLeague
Stanford University / /
Technology
design verification / Functional Programming / linear time majority vote algorithm / unification algorithm / program verification technology / Communications Protocols / RSA Public Key Encryption Algorithm / operating system / integer square root algorithm / CMP / Majority Vote Algorithm / string searching algorithm / Parsing Algorithm / FORTRAN processor / public key encryption algorithm / floating point algorithms / /
PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese