المؤلفون: Vercammen, Sten, Demeyer, Serge, Borg, Markus, Pettersson, Niklas, Hedin, Görel

المصدر: Software Testing Verification and Reliability ELLIIT: the Linköping-Lund initiative on IT and mobile communication. 34(1)

مصطلحات موضوعية: C++, CLANG, mutant schemata, mutation testing, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datorteknik, Natural Sciences, Computer and Information Science, Computer Engineering

URL الوصول: https://lup.lub.lu.se/record/d82edfca-0236-4c94-a798-f919e7296b2d
http://dx.doi.org/10.1002/stvr.1865

المؤلفون: Abigail Alling, Carol Milner, Mark Van Thillo, Tilak Priyadarshana Dodampe Gamage

المصدر: Ruhuna Journal of Science, Vol 14, Iss 1, Pp 66-74 (2023)

مصطلحات موضوعية: bull, calves, clang, driftnet, jaw clap, Science (General), Q1-390

وصف الملف: electronic resource

Relation: https://www.rjs.ruh.ac.lk/index.php/rjs/article/view/5572/380; https://doaj.org/toc/2536-8400

URL الوصول: https://doaj.org/article/e4bd6af17c30421490f2ff7ddf699b19

المؤلفون: Umann, Kristóf, Horváth, Gábor, Porkoláb, Zoltán

المصدر: Acta Cybernetica; Accepted Papers ; 2676-993X ; 0324-721X

مصطلحات موضوعية: static analysis, symbolic execution, control dependency analysis, reaching definitions analysis, Clang Static Analyzer, report generation, code comprehension

وصف الملف: application/pdf

Relation: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4345/4081; https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4345

الاتاحة: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4345
https://doi.org/10.14232/actacyb.299805

المؤلفون: Vercammen, Sten, Demeyer, Serge, Borg, Markus

المصدر: Software Impacts. 16

مصطلحات موضوعية: AST, C++, Clang, Mutation testing tool

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-64317
https://doi.org/10.1016/j.simpa.2023.100500

المؤلفون: Langdon, William, Al-Subaihin, Afnan, Blot, Aymeric, Clark, David

المساهمون: University College of London London (UCL), Laboratoire d'Informatique Signal et Image de la Côte d'Opale (LISIC), Université du Littoral Côte d'Opale (ULCO), Pappa, Gisele, Giacobini, Mario, Vasicek, Zdenek

المصدر: Genetic Programming : 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings ; 26th European Conference on Genetic Programming (EuroGP) ; https://hal.science/hal-04215737 ; 26th European Conference on Genetic Programming (EuroGP), Apr 2023, Brno, Czech Republic. pp.244-259, ⟨10.1007/978-3-031-29573-7_16⟩ ; https://www.evostar.org/2023/eurogp/

مصطلحات موضوعية: Genetic programming (GP), linear representation, Clang, static single assignment (SSA), mutational robustness, SBSE, software resilience, automatic code optimisation, world wide location, plus codes, zip code, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Brno, Czech Republic

Relation: hal-04215737; https://hal.science/hal-04215737; https://hal.science/hal-04215737/document; https://hal.science/hal-04215737/file/langdon_eurogp_2023.pdf

الاتاحة: https://hal.science/hal-04215737
https://hal.science/hal-04215737/document
https://hal.science/hal-04215737/file/langdon_eurogp_2023.pdf
https://doi.org/10.1007/978-3-031-29573-7_16

المؤلفون: Sara Khan, Muhammad Asif Ikram Anjum

المصدر: Journal of Communication and Cultural Trends, Vol 5, Iss 1 (2023)

مصطلحات موضوعية: clang, encyclopedic, mental lexicon, paradigmatic, syntagmatic, word association (WA) test, Language. Linguistic theory. Comparative grammar, P101-410, Oral communication. Speech, P95-95.6

وصف الملف: electronic resource

Relation: https://journals.umt.edu.pk/index.php/jcct/article/view/2936; https://doaj.org/toc/2706-9141; https://doaj.org/toc/2706-915X

URL الوصول: https://doaj.org/article/87512a5c109b45bd856348e155d6fa54

المؤلفون: Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar

المساهمون: Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar

المصدر: ISSTA'23, ACM SIGSOFT International Symposium on Software Testing and Analysis, US, 17-21, July, 2023

مصطلحات موضوعية: Greybox fuzzing, Compilers, Program analysers, Code mutators, LibFuzzer, Clang, LLVM, GCC, MSVC, Frama-C, GrayC Fuzzer

Relation: https://doi.org/10.1145/3597926.3598130; https://zenodo.org/record/7977197; https://github.com/srg-imperial/GrayC; https://doi.org/10.5281/zenodo.7948109; https://doi.org/10.5281/zenodo.7978251; oai:zenodo.org:7978251

الاتاحة: https://doi.org/10.5281/zenodo.7978251

المؤلفون: Langdon, WB, Al-Subaihin, A, Blot, A, Clark, D

المصدر: In: European Conference on Genetic Programming (Part of EvoStar). (pp. pp. 244-259). Springer Nature (2023)

مصطلحات موضوعية: Genetic programming, GP, linear representation, Clang, static single assignment (SSA), mutational robustness, SBSE, software resilience, automatic code optimisation, world wide location, plus codes, zip code

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10168843/1/langdon_2023_EuroGP.pdf; https://discovery.ucl.ac.uk/id/eprint/10168843/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10168843/1/langdon_2023_EuroGP.pdf
https://discovery.ucl.ac.uk/id/eprint/10168843/

المؤلفون: Fülöp Endre, Pataki Norbert

المصدر: Open Computer Science, Vol 11, Iss 1, Pp 107-115 (2020)

مصطلحات موضوعية: static analysis, clang, finite state automata, domain-specific language, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2299-1093

URL الوصول: https://doaj.org/article/b96dbc6f0b084d07950d4be5737f3dba

المساهمون: Lethin, Richard [Reservoir Labs, Inc., New York, NY (United States)]

المصدر: Other Information: Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler, Meifeng Lin, Eric Papenhausen, M. Harper Langston, Benoit Meister, Muthu Baskaran, Taku Izubuchi, Chulwoo Jung, Proceedings of the 33rd International Symposium on Lattice Field Theory, July 14 -18, 2015, Kobe, JapanJournal ref: PoS(LATTICE 2015)022http://arxiv.org/abs/1512.01542

وصف الملف: Medium: ED; Size: 138 p.

URL الوصول: http://www.osti.gov/scitech/servlets/purl/1252959

المؤلفون: Wentao Li, Jianhua Sun, Hao Chen

المصدر: IEEE Access, Vol 7, Pp 182559-182572 (2019)

مصطلحات موضوعية: code, convert, C/C++, CUDA C, clang, gcc, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/8905996/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/c2f3c6f6e03e4681af30425065bfbad8

المؤلفون: Troiani Vargas, Walter José

المساهمون: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Rivero Almeida, José Miguel, Ferrer Ibáñez, Roger

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Programació, Compilers (Computer programs), OpenMP (Application program interface), Parallelizing compilers, LLVM, Clang, ClangIR, Compiladors, OpenMP, Paral·lelisme, MLIR, Compilers, Parallelism, Compiladors (Programes d'ordinador)

وصف الملف: application/pdf

Relation: http://hdl.handle.net/2117/411611; 188517

الاتاحة: http://hdl.handle.net/2117/411611

المؤلفون: Pavel Dovgalyuk, Vladimir Makarov

المصدر: Труды Института системного программирования РАН, Vol 28, Iss 5, Pp 55-72 (2018)

مصطلحات موضوعية: переполнение буфера, стековая канарейка, gcc, msvc, clang, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/169; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

URL الوصول: https://doaj.org/article/0e584b418ab142058c34cb89335d0636

المؤلفون: A. . Dergachev, A. . Sidorin

المصدر: Труды Института системного программирования РАН, Vol 28, Iss 1, Pp 41-62 (2018)

مصطلحات موضوعية: статический анализ, символьное выполнение, межпроцедурный анализ, контекстно-чувствительный анализ, резюме, c, c++, clang static analyzer, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/26; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

URL الوصول: https://doaj.org/article/3299b07a12134cc98ad43cbb4a8644d4

المؤلفون: Horváth, Gábor, Kovács, Réka Nikolett, Szécsi, Péter

المصدر: Acta Cybernetica; Vol 25 No 4 (2022): Special Issue of the Conference on Software Technology and Cyber Security; 781-795 ; 2676-993X ; 0324-721X

مصطلحات موضوعية: static analysis, symbolic execution, Clang, testing

وصف الملف: application/pdf

Relation: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4099/4013; https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4099

الاتاحة: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4099
https://doi.org/10.14232/actacyb.282831

المؤلفون: Kim, Jeong-lae, Shin, Moon-sam

المصدر: International Journal of Intelligent Systems and Applications in Engineering; Vol. 10 No. 1s (2022); 136 – 140

مصطلحات موضوعية: Sonant sensing imagery, Clang blasting, Fulgurate sensing rate, Clang sensing system

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=issn21476799::ef54fcb077d129f48db75c2ccbfd226a
https://www.ijisae.org/index.php/IJISAE/article/view/2248

المؤلفون: Resell, Christian Fredrik Fossum

المصدر: Resell, Christian Fredrik Fossum. Forward-Edge and Backward-Edge Control-Flow Integrity Performance in the Linux Kernel. Master thesis, University of Oslo, 2020

الاتاحة: http://hdl.handle.net/10852/79829
https://www.duo.uio.no/bitstream/handle/10852/79829/8/master.pdf

المؤلفون: Bolívar Osorio, Rosa María

مصطلحات موضوعية: Formación de docentes, Teaching education, Práctica pedagógica, Teaching practice, Práctica reflexiva, Formación de docentes - investigación, http://vocabularies.unesco.org/thesaurus/concept9331, http://vocabularies.unesco.org/browser/thesaurus/en/page/concept14127?clang=es

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10495/15536

الاتاحة: http://hdl.handle.net/10495/15536
https://doi.org/10.17227/pys.num51-2881

المؤلفون: Réka KOVÁCS, Gábor HORVÁTH

المصدر: Studia Universitatis Babes-Bolyai: Series Informatica, Vol 63, Iss 2 (2018)

مصطلحات موضوعية: Static analysis, symbolic execution, Clang, SMT solver., Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://193.231.18.162/index.php/subbinformatica/article/view/4155; https://doaj.org/toc/2065-9601

URL الوصول: https://doaj.org/article/6ed23c7113e84764af7b08cb767328b2

المؤلفون: Valery Ignatyev

المصدر: Труды Института системного программирования РАН, Vol 22, Iss 0 (2018)

مصطلحات موضوعية: стандарты написания исходного текста программ, статический анализ, llvm, clang, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1009; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

URL الوصول: https://doaj.org/article/5490f0831af840e6a55c682a83a63358