Search Results - Semantics of Programming Languages- Program analysis

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

DETECTION OF SCANS by REDON, XAVIER, FEAUTRIER, PAUL

“… Dependence analysis is mainly a syntactical process, in which the actual data transformations are ignored…”
Get full text

A Pure Demand Operational Semantics with Applications to Program Analysis by Smith, Scott, Zhang, Robert

“…This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as the complete state information…”
Get full text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs by Xia, Li-yao, Israel, Laura, Kramarz, Maite, Coltharp, Nicholas, Claessen, Koen, Weirich, Stephanie, Li, Yao

“… In this paper, we propose a bidirectional demand semantics that allows for extrinsic reasoning about the computation cost of lazy programs without relying on special program logics…”
Get full text

K‐Go: An executable formal semantics of Go language in K framework by Zhao, Can, Liu, Qin, Hu, Zonghua, Yu, Ze, Wang, Dejun, Meng, Bo

“… A formal semantics plays an important role in program synthesis, analysis and verification…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

“…; methods and tools to specify and reason about programs and languages; programming language foundations…”
Get full text

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications by Ugo Dal Lago, de Paiva, Valeria

“… On the practical side there is certainly work on program analysis, operational semantics, logic programming languages, program transformations, and efficient…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

“…; methods and tools to specify and reason about programs and languages; programming language foundations…”
Get full text

Compositional Semantics for Probabilistic Programs with Exact Conditioning by Stein, Dario, Staton, Sam

“…We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct…”
Get full text

Graph semantic similarity-based automatic assessment for programming exercises by Xiang, Chengguan, Wang, Ying, Zhou, Qiyun, Yu, Zhen

“… The algorithm assigns assessment scores based on the program dependency graph structure and the program semantic similarity, but does not actually need to run the student’s program…”
Get full text

Commutative Monads for Probabilistic Programming Languages by Jia, Xiaodong, Lindenhovius, Bert, Mislove, Michael, Zamdzhiev, Vladimir

“…A long-standing open problem in the semantics of programming languages supporting probabilistic choice is to find a commutative monad for probability on the category DCPO…”
Get full text

Module-Aware Context Sensitive Pointer Analysis by Li, Haofeng, Shi, Chenghang, Lu, Jie, Li, Lian, Zhao, Zixuan

“… However, existing pointer analyses fail to leverage the semantics of JPMS. This paper presents a novel module-aware approach to improving the performance of pointer analysis…”
Get full text

Revealing the Semantics of Data Wrangling Scripts With Comantics by Xiong, Kai, Luo, Zhongsu, Fu, Siwei, Wang, Yongheng, Xu, Mingliang, Wu, Yingcai

“… However, the understanding is challenging for novice data workers due to the variety of programming languages, functions, and parameters…”
Get full text

Verified from Scratch: Program Analysis for Learners' Programs by Stahlbauer, Andreas, Fradrich, Christoph, Fraser, Gordon

“…Block-based programming languages like Scratch support learners by providing high-level constructs that hide details and by preventing syntactically incorrect programs…”
Get full text

Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs…”
Get full text

A domain theory for statistical probabilistic programming by Vákár, Matthijs, Kammar, Ohad, Staton, Sam

“…We give an adequate denotational semantics for languages with recursive higher-order types, continuous probability distributions, and soft constraints…”
Get full text

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis by Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio

“… We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm…”
Get full text

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications by Ehrhard, Thomas, Fernández, Maribel, de Paiva, Valeria, Lorenzo Tortora de Falco

“… On the practical side there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis…”
Get full text

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Weirich, Stephanie

“…: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation…”
Get full text