Zobrazeno 1 - 10
of 1 692
pro vyhledávání: '"F.3.2"'
Autor:
Cagne, Pierre, Johann, Patricia
Relational parametricity was first introduced by Reynolds for System F. Although System F provides a strong model for the type systems at the core of modern functional programming languages, it lacks features of daily programming practice such as com
Externí odkaz:
http://arxiv.org/abs/2411.00589
Publikováno v:
EPTCS 410, 2024, pp. 18-37
We develop denotational and operational semantics designed with continuations for process calculi based on CCS extended with mechanisms offering support for multiparty interactions. We investigate the abstractness of this continuation semantics. We s
Externí odkaz:
http://arxiv.org/abs/2410.23761
In response to challenges in software supply chain security, several organisations have created infrastructures to independently build commodity open source projects and release the resulting binaries. Build platform variability can strengthen securi
Externí odkaz:
http://arxiv.org/abs/2410.08427
Autor:
Paltenghi, Matteo, Pradel, Michael
Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises quantum programs, implementing algorithms, and platforms like IBM Qisk
Externí odkaz:
http://arxiv.org/abs/2410.00650
Publikováno v:
EPTCS 408, 2024, pp. 1-20
Formal verification methods for concurrent systems cannot always be scaled-down or tailored in order to be applied on specific subsystems. We address such an issue in a MultiParty Session Types setting by devising a partial type assignment system for
Externí odkaz:
http://arxiv.org/abs/2410.00537
The fusion of Large Language Models (LLMs) and robotic systems has led to a transformative paradigm in the robotic field, offering unparalleled capabilities not only in the communication domain but also in skills like multimodal input handling, high-
Externí odkaz:
http://arxiv.org/abs/2409.16900
Autor:
Lee, Gwangmu
While fuzzing is widely accepted as an efficient program testing technique, it is still unclear how to measure the comparative quality of different fuzzers. The current de facto quality metrics are edge coverage and the number of discovered bugs, but
Externí odkaz:
http://arxiv.org/abs/2409.14987
Autor:
Smith, Ian
Recovering high-level type information in binaries is a key task in reverse engineering and binary analysis. Binaries contain very little explicit type information. The structure of binary code is incredibly flexible allowing for ad-hoc subtyping and
Externí odkaz:
http://arxiv.org/abs/2409.01841
Programs written in C/C++ often include inline assembly: a snippet of architecture-specific assembly code used to access low-level functionalities that are impossible or expensive to simulate in the source language. Although inline assembly is widely
Externí odkaz:
http://arxiv.org/abs/2408.17208
The development of quantum algorithms and protocols calls for adequate modelling and verification techniques, which requires abstracting and focusing on the basic features of quantum concurrent systems, like CCS and CSP have done for their classical
Externí odkaz:
http://arxiv.org/abs/2408.15087