Results 301 to 310 of about 7,112,330 (356)

A Heterogeneous Graph to Abstract Syntax Tree Framework for Text-to-SQL

IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023
Text-to-SQL is the task of converting a natural language utterance plus the corresponding database schema into a SQL program. The inputs naturally form a heterogeneous graph while the output SQL can be transduced into an abstract syntax tree (AST ...
Ruisheng Cao, Lu Chen, Jieyu Li, Hanchong Zhang, Hongshen Xu, Wangyou Zhang, Kai Yu   +6 more
semanticscholar   +1 more source

Smart Contract Vulnerability Detection based on Abstract Syntax Tree

2022 8th International Symposium on System Security, Safety, and Reliability (ISSSR), 2022
Smart contracts are computer programs running on the blockchain, and their security issues have received widespread attentions. However, existing vulnerability detection techniques such as static analysis, symbol execution, and fuzz testing could be ...
Huiwen Yang, Jiaming Zhang, Xiguo Gu, Zhanqi Cui   +3 more
semanticscholar   +1 more source

Automatic Equivalent Mutants Classification Using Abstract Syntax Tree Neural Networks

International Conference on Software Testing, Verification and Validation Workshops, 2021
Mutation testing is a testing technique that is effective at designing tests and evaluating an existing test suite. Even though mutation testing has been developed to be applicable and effective towards different types of software systems and programing ...
Samuel Peacock, Lin Deng, J. Dehlinger, Suranjan Chakraborty   +3 more
semanticscholar   +1 more source

A Novel Neural Source Code Representation Based on Abstract Syntax Tree

International Conference on Software Engineering, 2019
Exploiting machine learning techniques for analyzing programs has attracted much attention. One key problem is how to represent code fragments well for follow-up analysis.
Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Kaixuan Wang, Xudong Liu   +5 more
semanticscholar   +1 more source

Efficient Vulnerability Detection based on abstract syntax tree and Deep Learning

Conference on Computer Communications Workshops, 2020
The automatic vulnerability detection on program source code is an important research topic. With the development of artificial intelligence, deep learning has been applied to vulnerability detection.
Hantao Feng, Xiaotong Fu, Hongyu Sun, He Wang, Yuqing Zhang   +4 more
semanticscholar   +1 more source

Combining higher-order abstract syntax with first-order abstract syntax in ATS

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, 2005
Encodings based on higher-order abstract syntax represent the variables of an object-language as the variables of a meta-language. Such encodings allow for the reuse of α-conversion, substitution and hypothetical judgments already defined in the meta-language and thus often lead to simple and natural formalization.
Kevin Donnelly, Hongwei Xi
openaire   +2 more sources

AST[AR] – Towards Using Augmented Reality and Abstract Syntax Trees for Teaching Data Structures To Novice Programmers

International Conference on Advanced Learning Technologies, 2020
Augmented Reality (AR) is one of the emerging technologies which helps in enhancing user experience by providing a composite view of the real-world objects.
Vartika Agrahari, S. Chimalakonda
semanticscholar   +1 more source

Abstract syntax and variable binding

Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 2003
We develop a theory of abstract syntax with variable binding. To every binding signature we associate a category of models consisting of variable sets endowed with compatible algebra and substitution structures. The syntax generated by the signature is the initial model. This gives a notion of initial algebra semantics encompassing the traditional one;
Daniele Turi, Marcelo Fiore, Gordon Plotkin   +2 more
openaire   +2 more sources

Abstractness and Generative Syntax

Studies in Hispanic and Lusophone Linguistics, 2009
Abstract In the field of generative syntax, abstractness has a crucial role in how the field is defined and in how it is practiced. This article discusses four ways in which abstractness is essential to progress in the field. First, abstractness is crucial to the formulation of grammars of individual languages.
openaire   +2 more sources

Unified Syntax for Abstract State Machines

2016
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines ASMs, based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and verification tools.
Arcaini, Paolo, Bonfanti, Silvia, Dausend, Marcel, Gargantini, Angelo Michele, Mashkoor, Atif, Raschke, Alexander, Riccobene, Elvinia, Scandurra, Patrizia, Stegmaier, Michael   +8 more
openaire   +4 more sources