Search Results - "Programming language semantics"

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

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.

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

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.

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.

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.

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

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

融合静态和动态信息特征的代码漏洞检测研究. (Chinese)

Authors: 陈万其 昝风彪 刘 昕

Source: Modern Electronic Technology; 2026, Vol. 49 Issue 7, p74-82, 9p

INFRASTRUKTURA LINVAST ZA JEZIČKI-INVARIJANTNA APSTRAKTNA SINTAKSIČKA STABLA PROGRAMA. (Bosnian)

Authors: Ristović, Ivan¹, ivan.ristovic@matf.bg.ac.rs

Source: InfoM; 2025, Issue 81/82, p47-54, 8p

Tail recursion modulo context: An equational approach (extended version).

Authors: LEIJEN, DAAN LORENZEN, ANTON FELIX

Source: Journal of Functional Programming. 2025, Vol. 35, p1-68. 68p.

Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq.

Authors: CHAPPE, NICOLAS HE, PAUL HENRIO, LUDOVIC et al.

Source: Journal of Functional Programming. 2025, Vol. 35, p1-61. 61p.

A contextual formalization of structural coinduction.

Authors: DOWNEN, PAUL ARIOLA, ZENA M.

Source: Journal of Functional Programming. 2025, Vol. 35, p1-59. 59p.

Formalising and analysing SMMT models using the mCRL2 toolset.

Authors: van Laarhoven, J. E. P. M. Bunte, O. van Gool, L. C. M. et al.

Source: International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p511-532. 22p.

Subjects: Software verification, Programming language semantics, Software validation, Code generators, Finite state machines, Computer software

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

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.