Publication | Closed Access
Detecting equality of variables in programs
426
Citations
13
References
1988
Year
Unknown Venue
Program CheckingEngineeringVerificationSoftware AnalysisFormal VerificationLogic ProgrammingData SciencePrograms AuthorsEquivalence CheckingCompilersProgramming LanguagesProgramming Language TheoryDetecting EqualityAbstract InterpretationComputer ScienceTheory Of ComputingProgram AnalysisAutomated ReasoningFormal MethodsSymbolic Execution
Article Free Access Share on Detecting equality of variables in programs Authors: B. Alpern IBM Thomas J. Watson Research Center, Yorktown Heights, NY IBM Thomas J. Watson Research Center, Yorktown Heights, NYView Profile , M. N. Wegman IBM Thomas J. Watson Research Center, Yorktown Heights, NY IBM Thomas J. Watson Research Center, Yorktown Heights, NYView Profile , F. K. Zadeck Department of Computer Science, Brown University, Providence, RI Department of Computer Science, Brown University, Providence, RIView Profile Authors Info & Claims POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languagesJanuary 1988 Pages 1–11https://doi.org/10.1145/73560.73561Published:13 January 1988Publication History 264citation2,559DownloadsMetricsTotal Citations264Total Downloads2,559Last 12 Months137Last 6 weeks21 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
| Year | Citations | |
|---|---|---|
Page 1
Page 1