-
1مؤتمر
المؤلفون: Pavlu, Viktor, Schordan, Markus, Krall, Andreas
المصدر: 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation (SCAM), 2011 11th IEEE International Working Conference on. :25-34 Sep, 2011
Relation: 2011 11th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM)
-
2كتاب إلكتروني
المؤلفون: Singh, Abhishek Kr.Aff4, Natarajan, RajaAff4
المساهمون: Mohanty, Hrushikesha, editorAff1, Mohanty, J. R., editorAff2, Balakrishnan, Arunkumar, editorAff3
المصدر: Trends in Software Testing. :89-109
-
3دورية أكاديمية
المؤلفون: Lavrentii Tsvetkov, Anton Spivak
المصدر: Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 664, Iss 18, Pp 345-350 (2016)
مصطلحات موضوعية: static code analysis, type systems, vulnerability analysis, dependent types, memory safety, pointer aliasing, Telecommunication, TK5101-6720
وصف الملف: electronic resource
-
4
المؤلفون: Dongmin Yoo, Heekuck Oh, Sami Ullah, Wenhui Jin
المصدر: IEEE Access, Vol 9, Pp 90153-90169 (2021)
مصطلحات موضوعية: General Computer Science, Pointer aliasing, Computer science, General Engineering, Denial-of-service attack, computer.software_genre, TK1-9971, Kernel (linear algebra), Identification (information), Test case, static analysis, Null pointer dereference, vulnerability detection, Test suite, General Materials Science, data dependency, Electrical engineering. Electronics. Nuclear engineering, Data mining, Electrical and Electronic Engineering, binary analysis, computer, TRACE (psycholinguistics), Vulnerability (computing)
-
5كتاب إلكتروني
المؤلفون: Hermenegildo, ManuelAff1
المساهمون: Lengauer, Christian, editor, Griebl, Martin, editor, Gorlatch, Sergei, editor
المصدر: Euro-Par'97 Parallel Processing : Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings. 1300:31-45
-
6دورية أكاديمية
المؤلفون: Filipović, Ivana, O’Hearn, Peter, Torp-Smith, Noah, Yang, Hongseok
المصدر: Formal Aspects of Computing: Applicable Formal Methods. September 2010 22(5):547-583
-
7
المؤلفون: Alexander J. Summers
المصدر: FTfJP@ECOOP
مصطلحات موضوعية: Correctness, Pointer aliasing, Computer science, Dangling pointer, Programming language, Compiler, Aliasing (computing), computer.software_genre, computer, Formal verification, Software verification, Rust (programming language), computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b917bf96fe80c93009dbede05d80cc3e
https://doi.org/10.1145/3427761.3432348 -
8
المؤلفون: Derek Dreyer, Hoang-Hai Dang, Ralf Jung, Jeehoon Kang
المصدر: Proceedings of the ACM on Programming Languages
مصطلحات موضوعية: 010302 applied physics, Pointer aliasing, Programming language, Computer science, Program transformation, 020207 software engineering, 02 engineering and technology, computer.software_genre, 01 natural sciences, Alias analysis, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Compiler, Memory model, Aliasing (computing), Safety, Risk, Reliability and Quality, computer, Software, Undefined behavior, Rust (programming language), computer.programming_language
وصف الملف: application/pdf
-
9
المؤلفون: Rokiatou Diarra
المصدر: ASE
مصطلحات موضوعية: Pointer aliasing, Alias, Programming language, Computer science, Optimizing compiler, 020207 software engineering, 02 engineering and technology, Program optimization, computer.software_genre, Alias analysis, CUDA, Procedural programming, restrict, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Pointer (computer programming), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Aliasing (computing), Programmer, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7a06f6df9289906c27727d23f5ed31a5
https://doi.org/10.1145/3238147.3241533 -
10
المؤلفون: Rokiatou Diarra, Alain Merigot, Bastien Vincke
المصدر: SCAM
مصطلحات موضوعية: Alias, Pointer aliasing, Programming language, Computer science, Optimizing compiler, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Alias analysis, CUDA, 010201 computation theory & mathematics, restrict, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Programmer, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::09fb76c4dc51017ad4949097913fd27e
https://doi.org/10.1109/scam.2018.00029