Results 291 to 300 of about 6,857,309 (337)
Some of the next articles are maybe not open access.
Unified Syntax for Abstract State Machines
2016The 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 +8 more
openaire +4 more sources
Learning-Based Recursive Aggregation of Abstract Syntax Trees for Code Clone Detection
IEEE International Conference on Software Analysis, Evolution, and Reengineering, 2019Code clone detection remains a crucial challenge in maintaining software projects. Many classic approaches rely on handcrafted aggregation schemes, while recent work uses supervised or unsupervised learning.
Lutz Büch, A. Andrzejak
semanticscholar +1 more source
Cross-Language Clone Detection by Learning Over Abstract Syntax Trees
IEEE Working Conference on Mining Software Repositories, 2019Clone detection across programs written in the same programming language has been studied extensively in the literature. On the contrary, the task of detecting clones across multiple programming languages has not been studied as much, and approaches ...
Daniel Perez, S. Chiba
semanticscholar +1 more source
From Concrete Syntax to Abstract Syntax
2012Until now, we have written programs in abstract syntax, which is convenient when handling programs as data.
openaire +2 more sources
fAST: Flattening Abstract Syntax Trees for Efficiency
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019Frequently source code analysis tools need to exchange internal representations of abstract syntax trees (AST) with each other. Conveniently, and intuitively, the externalised representations are in the form of hierarchical trees.
Yijun Yu
semanticscholar +1 more source
Measuring Abstract Mind-Sets Through Syntax: Automating the Linguistic Category Model
Social Psychology and Personality Science, 2020ion in language has critical implications for memory, judgment, and learning and can provide an important window into a person’s cognitive abstraction level.
Kate M. Johnson-Grey +3 more
semanticscholar +1 more source
Some difficulties with abstract and concrete syntax
BIT, 1977Abstract syntax is a useful mechanism in defining the semantics of programming languages as it relieves the semantic definition from text handling and syntactic analysis and shows clearly the semantically essential parts of program texts. Abstract syntax is usually required to have a high quality semantic content and so a straightforward forming of ...
openaire +3 more sources
An Abstract Syntax Tree based static fuzzing mutation for vulnerability evolution analysis
Information and Software Technology, 2023Wei Zheng +3 more
semanticscholar +1 more source
Focusing and higher-order abstract syntax [PDF]
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2008 Focusing is a proof-search strategy, originating in linear logic, that elegantly eliminates inessential nondeterminism, with one byproduct being a correspondence between focusing proofs and programs with explicit evaluation order. Higher-order abstract syntax (HOAS) is a technique for representing higher-order programming language constructs (e.g., λ's)
openaire +1 more source
Micromms: A compact abstract syntax for MMS
Computer Standards & Interfaces, 1999MMS (Manufacturing Message Specification) was initially designed for interconnection of industrial devices in manufacturing and process control applications. MMS can also be applied to new areas such as building automation, field buses and remote meter reading.
openaire +3 more sources