17 papers · ranked by Valyu relevance
David Knothe, Oliver Bringmann
Verified compilers aim to guarantee that compilation preserves the observable behavior of source programs. While small-step semantics are widely used in such compilers, they are not always the most convenient framework for structural transformations such as loop optimizations. This paper proposes an approach that…
Roberto M. Amadio
| | Preface | 7 | |---|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|----------------------------------------| | |…
Moida Praneeth Jain, Venkatesh Choppella
Misconceptions about program execution hinder many novice programmers. We introduce SimpliPy, a notional machine designed around a carefully chosen Python subset to clarify core control flow and scoping concepts. Its foundation is a precise operational semantics that explicitly tracks source code line numbers for each…
Jiatong Wu, Sen Wang, Kai Niu, Yifei She + 2 more
Classical Algorithmic Information Theory (AIT) provides a rigorous foundation for information-based similarity measurement, but classical formulations and their compression-based approximations largely operate at the syntactic level, making them sensitive to surface-level variation and insufficient for semantic…
Ming-Feng Yeh, Ching-Chuan Luo, Cheng-Lin Lu, Nianbo Liu
Smart manufacturing relies on programmable logic controllers (PLCs) that translate sensor inputs into actuator commands. Generating PLC programs in legacy textual languages such as Mitsubishi FX-series Instruction List (IL) remains an expert-only task, and IL’s deprecation in IEC 61131-3 Edition 3.0 leaves it…
Thomas Bagrel
La programmation par passage de destination introduit le concept de destination, qui représente l'adresse d'une cellule mémoire encore vierge sur laquelle on ne peut écrire qu'une fois. Ces destinations peuvent être passées en tant que paramètres de fonction, permettant à l'appelant de garder le contrôle de la gestion…
Zichen Zhang, Simon Oddershede Gregersen, Joseph Tassarotti
One strategy for reasoning about programs that have certain kinds of effects is to use program logics that provide specialized rules for reasoning about these effects. However, developing program logics requires skills that are distinct from those needed for using program logics, making the development of new logics…
Francisco Pinto-Santos, Carolina Zato, Héctor Quintián, Tian Cheng Li + 1 more
Software vulnerability analysis is critical for maintaining secure and reliable systems, yet traditional Deep Learning (DL) models often act as “black boxes,” lacking transparency and failing to leverage the explicit structural semantics of code. In this paper, we propose KG-HiAttention, a novel neuro-symbolic…
Zi Wang, Xiaoyu Zhu, Hongqiang Wang, Yichun Yu + 2 more
Formal verification ensures software correctness but faces challenges in kernel specification writing, which is labor-intensive, expertise-dependent, and limited to specific targets. For complex microkernels like seL4, these issues significantly reduce the practicality of formal methods. To address this, we propose…
Qianwen Chang, Elizabeth Jefferies, Rebecca L. Jackson
The relationship between semantics and syntax is highly contested. Neuroimaging evidence has offered conflicting views on whether these domains are neurally separable, in part because prior work has not distinguished two key components of semantic cognition: semantic representation and semantic control. In this study…
Attila Egri-Nagy
Programming languages tend to evolve over time to use more and more concepts from theoretical computer science. Still, there is a gap between programming and pure mathematics. Not all theoretical results have realized their promising applications. The algebraic decomposition of finite state automata (Krohn-Rhodes…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…
Sahil Imtiyaz
Biological organisation is inherently multi-level: molecular processes, membrane dynamics, cellular geometry and tissue context reciprocally constrain one another, often through boundary-mediated feedback. A recurring theme in theoretical biology is that such organisation is not well captured by models that assume a…
Robert Hoehndorf, Paul N. Schofield, Georgios V. Gkoutos
Computational physiology needs representations that connect traits across biological scales while distinguishing causal, constitutive, and mathematical dependencies. We present PhysioMap, an ontology-grounded knowledge base of contextualized physiological traits and precisely defined relation types. A versioned…
Authors not listed
We present an open source collection of scripts and programs for the setup, management and evaluation of calculations with the Vienna ab-initio simulation package (VASP), called utils4VASP. It contains 20 independent Python scripts and Fortran programs, all with a unified and intuitive handling concept based on command…
Gina F. Humphreys, Matthew A. Lambon Ralph
This study integrates three literatures typically examined in isolation: single-concept semantics, combinatorial semantics, and theory of mind (ToM). We argue that these domains share overlapping computational principles and neuroanatomical networks. Here, we report three major investigations with converging…
Joyce Reimer, Pranta Saha, Kira Comfort, Zahed Khatooni + 6 more
A lethal DNA virus with significant economic impact on livestock farmers worldwide, the pathogenesis of African swine fever virus (ASFV) infection is complex and continues to challenge the development of effective vaccine candidates. The requirement for high-containment conditions further complicates its study…