Výsledky vyhledávání - "Journal of logical and algebraic methods in programming"

Reversibility and asymmetric conflict in event structures Autor Phillips, Iain, Ulidowski, Irek

Získat plný text

Programming with algebraic effects and handlers Autor Bauer, Andrej, Pretnar, Matija

Získat plný text

When causality meets fairness: A survey Autor Makhlouf, Karima, Zhioua, Sami, Palamidessi, Catuscia

“…Addressing the problem of fairness is crucial to safely using machine learning algorithms to support decisions that have a critical impact on people's lives,…”
Získat plný text

From probability monads to commutative effectuses Autor Jacobs, Bart

Získat plný text

Weighted automata extraction and explanation of recurrent neural networks for natural language tasks Autor Wei, Zeming, Zhang, Xiyue, Zhang, Yihao, Sun, Meng

“…Recurrent Neural Networks (RNNs) have achieved tremendous success in processing sequential data, yet understanding and analyzing their behaviours remains a…”
Získat plný text

Comparing type systems for deadlock freedom Autor Dardha, Ornela, Pérez, Jorge A.

“…Message-passing software systems exhibit non-trivial forms of concurrency and distribution; they are expected to follow intended protocols among communicating…”
Získat plný text

Kind inference for the FreeST programming language Autor Almeida, Bernardo, Mordido, Andreia, Vasconcelos, Vasco T.

“…FreeST is a message-passing concurrent functional programming language where messages are exchanged on channels governed by context-free session types. Thus…”
Získat plný text

Hoare-style logic for unstructured programs Autor Lundberg, Didrik, Guanciale, Roberto, Lindner, Andreas, Dam, Mads

Získat plný text

Nominal anti-unification modulo equational theories Autor Baumgartner, Alexander, Nantes-Sobrinho, Daniele

“…This paper investigates nominal anti-unification, i.e., the problem of computing least general generalizations of terms in the presence of binding structures…”
Získat plný text

Transforming concurrent programs with semaphores into logically constrained term rewrite systems Autor Kojima, Misaki, Nishida, Naoki, Matsubara, Yutaka

“…In this paper, as a first step of modeling concurrent programs by logically constrained term rewrite systems (LCTRSs, for short), we show transformations of…”
Získat plný text

Algebraic reasoning for timeliness-guided system design Autor Haeri, Seyed Hossein, Van Roy, Peter, Apfelmus, Heinrich, Thompson, Peter W., Davies, Neil J., Haveraaen, Magne, Barash, Mikhail, Hammond, Kevin, Chapman, James, Šinkarovs, Artjoms

“…Designing distributed systems to have predictable performance under all loads is difficult because of resource exhaustion, nonlinearity, and stochastic…”
Získat plný text

Makina: A QuickCheck state machine library Autor Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Benac-Earle, Clara, Mariño, Julio

“…This article presents Makina, a library written in the Elixir programming language, and a domain specific language for writing property-based testing models…”
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

Counterpart-based Quantified Temporal Logics Autor Gadducci, Fabio, Laretto, Andrea, Trotta, Davide

“…The aim of this work is to present counterpart-based quantified temporal logics from several points of view. We start by introducing a set-based semantics for…”
Získat plný text

Unified opinion formation analysis in rewriting logic Autor Olarte, Carlos, Ramírez, Carlos, Rocha, Camilo, Valencia, Frank

“…Processes of opinion formation rooted in social dynamics can significantly contribute to the polarization of social, political, and democratic interaction…”
Získat plný text

Combining sequential test cases into an equivalent set of adaptive test cases Autor Hierons, Robert M., Merayo, Mercedes G., Núñez, Manuel

“…When testing a state-based system one might use a set of (negative) test cases in which each test case is a sequence of events that should not occur. Testing…”
Získat plný text

Fair termination of multiparty sessions Autor Ciccone, Luca, Dagnino, Francesco, Padovani, Luca

“…There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed…”
Získat plný text

Fundamentals of compositional rewriting theory Autor Behr, Nicolas, Harmer, Russ, Krivine, Jean

“…A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties that collectively induce…”
Získat plný text

Computational Modelling for Combinatorial Game Strategies Autor Diaconescu, Răzvan

Získat plný text

Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022) Autor Julián-Iranzo, Pascual

Získat plný text