Results 41 to 50 of about 6,857,309 (337)
Programming type-safe transformations using higher-order abstract syntax
Journal of Formalized Reasoning, 2015 When verifying that compiler phases preserve some property of the compiled program, a major difficulty resides in how to represent and manipulate variable bindings, often imposing extra complexity both on the compiler writer and the verification effort ...
Olivier Savary Belanger +2 more
doaj +1 more source
Deep Forest and Pruned Syntax Tree-Based Classification Method for Java Code Vulnerability
Mathematics, 2023 The rapid development of J2EE (Java 2 Platform Enterprise Edition) has brought unprecedented severe challenges to vulnerability mining. The current abstract syntax tree-based source code vulnerability classification method does not eliminate irrelevant ...
Jiaman Ding, Weikang Fu, Lianyin Jia
doaj +1 more source
Abstract Syntax Tree Based Source Code Antiplagiarism System for Large Projects Set
IEEE Access, 2020 The paper deals with the issue of detecting plagiarism in source code, which we unfortunately encounter when teaching subjects dealing with programming and software development.
Michal Duracik +3 more
doaj +1 more source
Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo
Journal of Information and Organizational Sciences, 2019 YAJCo is a tool for the development of software languages based on an annotated language model. The model is represented by Java classes with annotations defining their mapping to concrete syntax. This approach to language definition enables the abstract
Sergej Chodarev, Michaela Bačíková
doaj +1 more source
JACLNet:Application of adaptive code length network in JavaScript malicious code detection.
PLoS ONE, 2022 Currently, JavaScript malicious code detection methods are becoming more and more effective. Still, the existing methods based on deep learning are poor at detecting too long or too short JavaScript code.
Zhining Zhang +5 more
doaj +1 more source
An abstract view on syntax with sharing [PDF]
Journal of Logic and Computation, 2011 26 pages; v2: final journal ...
openaire +3 more sources
ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking [PDF]
IEEE Transactions on Software Engineering, 2019 Commit messages record code changes (e.g., feature modifications and bug repairs) in natural language, and are useful for program comprehension. Due to the frequent updates of software and time cost, developers are generally unmotivated to write commit ...
Shangqing Liu +4 more
semanticscholar +1 more source
Generic conversions of abstract syntax representations [PDF]
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012 In this paper we present a datatype-generic approach to syntax with variable binding. A universe specifies the binding and scoping structure of object languages, including binders that bind multiple variables as well as sequential and recursive scoping.
Keuchel, Steven, Jeuring, Johan T.
openaire +6 more sources
Abstract Syntax: Substitution and Binders [PDF]
Electronic Notes in Theoretical Computer Science, 2007 We summarise Fiore et al's paper on variable substitution and binding, then axiomatise it. Generalising their use of the category F of finite sets to model untyped cartesian contexts, we let S be an arbitrary pseudo-monad on Cat and consider (S1)^o^p: this generality includes linear contexts, affine contexts, and contexts for the Logic of Bunched ...
openaire +2 more sources
Code Embedding Method Based on Neural Network [PDF]
Jisuanji kexue, 2023 There are many application scenarios for code analysis and research,such as code plagiarism detection and software vulnerability search.With the development of artificial intelligence,neural network technology has been widely used in code analysis and ...
SUN Xuekai, JIANG Liehui
doaj +1 more source