Results 351 to 360 of about 37,485,858 (384)
Some of the next articles are maybe not open access.
Transformational program analysis
Software Testing, Verification and Reliability, 1994AbstractThis paper describes an approach to the semantic analysis of procedural code. The techniques differ from those adopted in current static analysis tools such as MALPAS (Bramson, 1984) and SPADE (Clutterbuck and Carré, 1988) in two key respects: (1) A database is used, together with language‐specific and language‐independent data models, as a ...
openaire +1 more source
LLVM: a compilation framework for lifelong program analysis & transformation
International Symposium on Code Generation and Optimization, 2004. CGO 2004., 2004Chris Lattner, Vikram S. Adve
semanticscholar +1 more source
Pin: building customized program analysis tools with dynamic instrumentation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2005C. Luk +8 more
semanticscholar +1 more source
Transactions of the IRE Professional Group on Electron Devices, 1954
Summary form only given, as follows. Investigations on receiving-type electron tube processing methods were made because of high rate of electroh tube failures experienced in USAF electronic equipment subjected to high temperatures. The tube type selected for these investigations was the 6AR6 tried in two versions, distinguished from each other only by
openaire +1 more source
Summary form only given, as follows. Investigations on receiving-type electron tube processing methods were made because of high rate of electroh tube failures experienced in USAF electronic equipment subjected to high temperatures. The tube type selected for these investigations was the 6AR6 tried in two versions, distinguished from each other only by
openaire +1 more source
Program Analysis in Program Analysis in Detection
2018Danfeng Daphne Yao +3 more
openaire +1 more source
OLEX2: a complete structure solution, refinement and analysis program
, 2009O. Dolomanov +4 more
semanticscholar +1 more source
Principles of Program Analysis
Springer Berlin Heidelberg, 1999F. Nielson, H. R. Nielson, C. Hankin
semanticscholar +1 more source
Static Program Analysis as a Fuzzing Aid
International Symposium on Recent Advances in Intrusion Detection, 2017Bhargava Shastry +8 more
semanticscholar +1 more source