Výsledky vyhledávání - Semantics of computation

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

“… We give operational, denotational and equational semantics for this language, establishing convenient properties like exchangeability of conditions…”
Získat plný text

Crossroads semantics : computation, experiment and grammar Autor 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…”
Získat plný text

On the inner structure of multirelations Autor 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…”
Získat plný text

A Logic for Locally Complete Abstract Interpretations Autor 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…”
Získat plný text

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning Autor 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…”
Získat plný text

Commutative Monads for Probabilistic Programming Languages Autor 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…”
Získat plný text

PyCG: Practical Call Graph Generation in Python Autor 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…”
Získat plný text

ϵ-Semantics computations on biological systems Autor 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…”
Získat plný text

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning Autor 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…”
Získat plný text

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

“…A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability…”
Získat plný text

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus Autor 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…”
Získat plný text

Enhancing Code Safety in Quantum Intermediate Representation Autor 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…”
Získat plný text

Behavioural Preorders via Graded Monads Autor 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…”
Získat plný text

Log Parsing: How Far Can ChatGPT Go? Autor 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…”
Získat plný text

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation Autor 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…”
Získat plný text

Module-Aware Context Sensitive Pointer Analysis Autor 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…”
Získat plný text

Static Analysis of Remote Procedure Call in Java Programs Autor 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…”
Získat plný text

Context Debloating for Object-Sensitive Pointer Analysis Autor 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,…”
Získat plný text

Generative Type Inference for Python Autor 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…”
Získat plný text

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques Autor 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…”
Získat plný text