Suchergebnisse - 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 von Goubault-Larrecq, Jean, König, Barbara

“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext

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 …”
Volltext

A Pure Demand Operational Semantics with Applications to Program Analysis von 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 …”
Volltext

DETECTION OF SCANS von REDON, XAVIER, FEAUTRIER, PAUL

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

K‐Go: An executable formal semantics of Go language in K framework von 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 …”
Volltext

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 …”
Volltext

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 …”
Volltext

Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs von 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 …”
Volltext

Demystifying Loops in Smart Contracts von Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., Dillig, Isil

“… research on program analysis for smart contracts. Based on our findings, we propose a small domain-specific language (DSL …”
Volltext

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II von Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“… ; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II …”
Volltext

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I von Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“… ; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II …”
Volltext

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 I von Weirich, Stephanie

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

Domain-specific tensor languages von BERNARDY, JEAN-PHILIPPE, JANSSON, PATRIK

“… The tensor notation used in several areas of mathematics is a useful one, but it is not widely available to the functional programming community …”
Volltext

Module-Aware Context Sensitive Pointer Analysis von 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 …”
Volltext

Commutative Monads for Probabilistic Programming Languages von 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 …”
Volltext

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 von Weirich, Stephanie

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

Fundamentals of reversible flowchart languages von Yokoyama, Tetsuo, Axelsen, Holger Bock, Glück, Robert

“… ) programming languages in a simple computation model in the same way classical flowcharts do for conventional languages …”
Volltext

CRN++: Molecular programming language von Vasić, Marko, Soloveichik, David, Khurshid, Sarfraz

“… . This paper introduces CRN ++, a new language for programming deterministic (mass-action) chemical kinetics to perform computation …”
Volltext

On multi-language abstraction: Towards a static analysis of multi-language programs von Buro, Samuele, Crole, Roy, Mastroeni, Isabella

“… ) multi-language semantics. As regards static analysis, the heterogeneity of the multi-language context opens up new and unexplored scenarios …”
Volltext

Meaning and Reference in Programming Languages von Angius, Nicola

“… This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages …”
Volltext