Search Results - Semantics of computation

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

“… We give operational, denotational and equational semantics for this language, establishing convenient properties like exchangeability of conditions…”
Get full text

On the inner structure of multirelations by Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg

“…Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or…”
Get full text

A Logic for Locally Complete Abstract Interpretations by Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Ranzato, Francesco

“…We introduce the notion of local completeness in abstract interpretation and define a logic for proving both the correctness and incorrectness of some program…”
Get full text

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning by Mio, Matteo, Sarkis, Ralph, Vignudelli, Valeria

“…We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics…”
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

PyCG: Practical Call Graph Generation in Python by Salis, Vitalis, Sotiropoulos, Thodoris, Louridas, Panos, Spinellis, Diomidis, Mitropoulos, Dimitris

“…Call graphs play an important role in different contexts, such as profiling and vulnerability propagation analysis. Generating call graphs in an efficient…”
Get full text

ϵ-Semantics computations on biological systems by Casagrande, A., Dreossi, T., Fabriková, J., Piazza, C.

“…-semantics were introduced in this spirit. In this paper we investigate the use of ϵ-semantics deeper, in the context of reachability analysis of hybrid automata…”
Get full text

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning by Zheng, Yan, Liu, Yi, Xie, Xiaofei, Liu, Yepang, Ma, Lei, Hao, Jianye, Liu, Yang

“…Web testing has long been recognized as a notoriously difficult task. Even nowadays, web testing still mainly relies on manual efforts in many cases while…”
Get full text

From Multisets over Distributions to Distributions over Multisets by Jacobs, Bart

“…A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability…”
Get full text

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus by Pistone, Paolo

“…Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave…”
Get full text

Enhancing Code Safety in Quantum Intermediate Representation by Luo, Junjie, Zhao, Jianjun

“…Quantum Intermediate Representation (QIR) is an LLVM-based intermediate representation developed by Microsoft for quantum program compilers. QIR is designed to…”
Get full text

Crossroads semantics : computation, experiment and grammar by Reckman, Hilke

“…If we want to fully understand the phenomenon of language meaning, we must not limit our research to lexical semantics, syntax-induced meaning or pragmatics…”
Get full text

Behavioural Preorders via Graded Monads by Ford, Chase, Milius, Stefan, Schroder, Lutz

“… We introduce a unified semantic framework for behavioural preorders and their characteristic logics in which we parametrize the system type as a functor on the category Pos of partially ordered sets…”
Get full text

Log Parsing: How Far Can ChatGPT Go? by Le, Van-Hoang, Zhang, Hongyu

“…Software logs play an essential role in ensuring the reliability and maintainability of large-scale software systems, as they are often the sole source of…”
Get full text

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation by Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro

“…A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be…”
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

Static Analysis of Remote Procedure Call in Java Programs by Cui, Baoquan, Qu, Rong, Tang, Zhen, Zhang, Jian

“…The Remote Procedure Call (RPC) is commonly used for inter-process communications over network, allowing a program to invoke a procedure in another address…”
Get full text

Context Debloating for Object-Sensitive Pointer Analysis by He, Dongjie, Lu, Jingbo, Xue, Jingling

“…We Introduce a new approach, Conch, for debloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages,…”
Get full text

Generative Type Inference for Python by Peng, Yun, Wang, Chaozheng, Wang, Wenxuan, Gao, Cuiyun, Lyu, Michael R.

“…Python is a popular dynamic programming language, evidenced by its ranking as the second most commonly used language on GitHub. However, its dynamic type…”
Get full text

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques by Kucuk, Yigit, Henderson, Tim A. D., Podgurski, Andy

“…Statistical fault localization (SFL) techniques use execution profiles and success/failure information from software executions, in conjunction with…”
Get full text