Search Results - "Programming language semantics"

A Mathematical Theory of Correct Computation.

Authors: Naish, Lee Pope, Bernard Søndergaard, Harald

Source: Mathematics (2227-7390). Sep2026, Vol. 14 Issue 18, p3292. 33p.

Concrete constructions of noncommutative free dcpo semigroups.

Authors: Zhou, Chengyu Luan, Wei Li, Qingguo

Source: Journal of Algebra & Its Applications. Sep2026, Vol. 25 Issue 11, p1-26. 26p.

Multilingual Source Code Vulnerability Detection Using Deep Learning: A Semantic Representation and Transfer Learning Approach.

Authors: Kim, Tuan Nguyen Le Viet, Nin Ho Quang, Chieu Ta

Source: Engineering, Technology & Applied Science Research; Aug2026, Vol. 16 Issue 4, p38045-38051, 7p

A Categorical Model of State Transformations in Programming Languages.

Authors: Kohútová, M. Steingartner, W. Novotný, S.

Source: Journal of Applied Mathematics, Statistics & Informatics. May2026, Vol. 22 Issue 1, p67-80. 14p.

UNIVALENT ENRICHED CATEGORIES AND THE ENRICHED REZK COMPLETION.

Authors: VAN DER WEIDE, NIELS¹, nweide@cs.ru.nl

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-29, 29p

Monadic Intersection Types, Relationally, and Ordered.

Authors: Galal, Zeinab Gavazzo, Francesco Treglia, Riccardo et al.

Source: ACM Transactions on Programming Languages & Systems. Dec2025, Vol. 47 Issue 4, p1-51. 51p.

Early-Stage Graph Fusion with Refined Graph Neural Networks for Semantic Code Search.

Authors: Ao, Longhao Qi, Rongzhi

Source: Applied Sciences (2076-3417); Jan2026, Vol. 16 Issue 1, p12, 19p

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects.

Authors: Zilberstein, Noam¹ (AUTHOR) noamz@cs.cornell.edu

Source: ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-71. 71p.

Understanding code semantics: a benchmark study of LLMs.

Authors: Laneve, Cosimo Spanò, Alvise Ressi, Dalila et al.

Source: International Journal on Software Tools for Technology Transfer. Jun2026, Vol. 28 Issue 3, p329-343. 15p.

Subjects: Programming language semantics, Program transformation, Benchmark problems (Computer science), Python programming language, Language models

A Lightweight Modeling and Verification Framework for Programs Over Weak Memory Models in an Algebraic Semantics Style.

Authors: Xiao, Lili Zhu, Huibiao Bowen, Jonathan P.

Source: Journal of Software: Evolution & Process. Jul2026, Vol. 38 Issue 7, p1-21. 21p.

Subjects: Consistency models (Computers), Programming language semantics, Semantics methodology, ARM microprocessors, Parallel programs (Computer programs), Software verification

Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-Trained Language Models.

Authors: Zhang, Quanjun Fang, Chunrong Zheng, Yi et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-23, 23p

Interfacing Programming Language Semantics and Pragmatics: What Does "Hello, World" Mean?

Authors: Sack, Warren¹ (AUTHOR)

Source: Philosophies. Aug2025, Vol. 10 Issue 4, p86. 23p.

Learning-to-rank-based transferable adversarial attacks for software vulnerability prediction models.

Authors: Wang, Xuanye Lu, Lu

Source: Cluster Computing; Aug2026, Vol. 29 Issue 4, p1-23, 23p

A Unified Deep Learning Based Feature Representation Approach for Effective Software Defect Prediction.

Authors: Malhotra, Ruchika Singh, Priya

Source: Software: Practice & Experience; Aug2026, Vol. 56 Issue 8, p999-1019, 21p

Reduce Dependence for Sound Concurrency Bug Prediction.

Authors: Zhu, Shihao Guo, Yuqi Cai, Yan et al.

Source: ICSE: International Conference on Software Engineering. 2025, p390-402. 13p.

Subjects: Computer software testing, Programming language semantics

On the Interpretation of Denotational Semantics.

Authors: Cardone, Felice¹ (AUTHOR)

Source: Philosophies. Jun2025, Vol. 10 Issue 3, p54-N.PAG. 18p.

Meaning and Reference in Programming Languages.

Authors: Angius, Nicola¹ (AUTHOR)

Source: Philosophies. Apr2025, Vol. 10 Issue 2, p40. 17p.

Bidirectional Program Dependency–Guided Attention for Improved Method‐Level Software Defect Prediction.

Authors: Lin, Jing‐Rong Huang, Chin‐Yu Fang, Chih‐Chiang

Source: Journal of Software: Evolution & Process; May2026, Vol. 38 Issue 5, p1-20, 20p

The Rational Programmer: Investigating Programming Language Pragmatics.

Authors: Dimoulas, Christos Felleisen, Matthias

Source: Communications of the ACM; Jul2025, Vol. 68 Issue 7, p120-130, 11p

Universal Composability Is Robust Compilation.

Authors: Patrignani, Marco Künnemann, Robert Wahby, Riad S. et al.

Source: ACM Transactions on Programming Languages & Systems. Dec2024, Vol. 46 Issue 4, p1-64. 64p.