logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

SYMBOLIC EXECUTION AND PROGRAM TESTING

delete1976-07-01
delete1.9K
delete
OA
AI
K
KING, JC
DOI：10.1145/360248.360252delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Communications of the ACM cover
Communications of the ACM
IF:
12.2
Papers:
1.2W
Citations:
3.7W

Organization

No organization information available
Cited Papers

Cited Papers

The resistance and intrinsic time constant of glass electrodes
errJournal of Electroanalytical Chemistry and Interfacial Electrochemistry
IF0
err1969-10-01
err0
PREAI
errAnders Wikby; Gillis Johansson
errShare
errSave
Influence of Flow and Temperature on Survival of Wild Subyearling Fall Chinook Salmon in the Snake River
errNorth American Journal of Fisheries Management
IF0
err2003-05-01
err0
PREAI
errWilliam P. Connor; Howard L. Burge; John R. Yearsley; Theodore C. Bjornn
errShare
errSave
The incidence of magnetic fields in massive stars: An overview of the MiMeS survey component
errAIP Conference Proceedings
IF0
err2012-01-01
err0
errOAAI
errJ. H. Grunhut; G. A. Wade; MiMeS Collaboration
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
Anomalous Circulation in July 2019 Resulting in Mass Loss on the Greenland Ice Sheet
errGeophysical Research Letters
IF0
err2020-09-07
err0
errOAAI
errRichard I. Cullather; Lauren C. Andrews; Michael J. Croteau; Nicolo E. Digirolamo; Dorothy K. Hall; Young‐Kwon Lim; Bryant D. Loomis; Christopher A. Shuman; Sophie M. J. Nowicki
errShare
errSave
Glass surface characterization by electrical measurements
errJournal of Non-Crystalline Solids
IF0
err1975-12-01
err0
PREAI
errM. Tomozawa; C.H. Kim; R.H. Doremus
errShare
errSave
no more