Results 71 to 80 of about 210,399 (315)
Static Analysis Based on the Unified Abstract Syntax Tree
Proceedings of the Institute for System Programming of the RAS, 2023 The paper describes a unified representation for an abstract syntax tree (AST) suitable for static analysis of several programming languages. The proposed analysis scheme consists of saving an intermediate representation in the form of a unified AST from compilers of the corresponding languages and subsequent analysis of the saved trees.
Vitaly Olegovich Afanasyev +3 more
openaire +1 more source
Advanced Experiment Design Strategies for Drug Development
Advanced Intelligent Discovery, EarlyView.Wang et al. analyze 592 drug development studies published between 2020 and 2024 that applied design of experiments methodologies. The review surveys both classical and emerging approaches—including Bayesian optimization and active learning—and identifies a critical gap between advanced experimental strategies and their practical adoption in ...
Fanjin Wang +3 more
wiley +1 more source
Deobfuscating JavaScript Code Using Character-Based Tokenization
Studia Universitatis Babes-Bolyai: Series Informatica, 2023 The JavaScript code deployed goes through the process of minification, in which variables are renamed using single-character names and spaces are removed in order for the files to have a smaller size, thus loading faster.
Alexandru-Gabriel SÎRBU
doaj +1 more source
Wind‐driven seed dispersal differentially promotes seed trapping and retention across alpine plants
American Journal of Botany, EarlyView.Abstract Premise Seed dispersal can mediate species interactions between plants across life stages. Plants can physically stop seed movement (seed trapping) and prevent further dispersal following entrapment (seed retention). We therefore hypothesized seed trapping and retention rates depend on the physical attributes of interacting seeds and plants ...
Courtenay A. Ray +7 more
wiley +1 more source
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing
, 2013 This paper is about understanding the nature of bug fixing by analyzing thousands of bug fix transactions of software repositories. It then places this learned knowledge in the context of automated program repair.
Martinez, Matias, Monperrus, Martin
core +1 more source
Syntax and Semantics of Abstract Binding Trees
, 2016 The contribution of this paper is the development of the syntax and semantics of multi-sorted nominal abstract binding trees (abts), an extension of second order universal algebra to support symbol-indexed families of operators. Nominal abts are essential for correctly treating the syntax of languages with generative phenomena, including exceptions and
Sterling, Jonathan, Morrison, Darin
openaire +2 more sources
On the Prospects for African Philosophy in Australia
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper grapples with the situation of people of African descent in Australia by working through the constitution of the body of academic philosophy in the country. It contends with the parochialism of the Australian philosophical community and the prospects for the cultivation of greater pluralism. Taking African philosophy as one possible
Bryan Mukandi
wiley +1 more source
Specification and Construction of Control Flow Semantics [PDF]
, 2006 In this paper we propose a visual language CFSL for specifying control flow semantics of programming languages. We also present a translation from CFSL to graph production systems (GPS) for flow graph construction; that is, any CFSL specification, say ...
Kastenberg, H., Rensink, A., Smelik, R.
core +4 more sources
The As and Bs of titi monkey linguistics: why emotional communication is not the enemy
Biological Reviews, EarlyView.ABSTRACT The alarm call sequences of titi monkeys (genera Plecturocebus, Callicebus and Cheracebus) have sparked important debates over whether they exhibit parallels with human language. Some researchers consider these sequences to involve both semantics and syntax, while others argue that the sequences convey semantic information without syntax.
Mélissa Berthet +2 more
wiley +1 more source
Static Detection Method for Dockerfile Temporary Files Based on Rule Validation [PDF]
Jisuanji gongchengThe temporary file issue in the Dockerfile causes the Docker image to pack unnecessary file resources beyond its functional requirements, resulting in an increase in image size and affecting the efficiency of image transmission and deployment.
SU Hui, ZHANG Jianhui, ZENG Junjie, CHU Xiaoxi
doaj +1 more source