Výsledky vyhledávání - Theory of computation Semantics AND reasoning Program semantics Algebraic semantics

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

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

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

“… Often, such behavioural preorders are characterized in terms of theory inclusion in dedicated characteristic logics; e.g…”
Získat plný text

Fixed-Points for Quantitative Equational Logics Autor Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon

“…We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras…”
Získat plný text

An Algebraic Characterisation of First-Order Logic with Neighbour Autor Manuel, Amaldev, Nevatia, Dhruv

“…We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words…”
Získat plný text

Programs for Cheap Autor Hackett, Jennifer, Hutton, Graham

“…Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator's definition. I will…”
Získat plný text

Feature-Oriented Programming and the AHEAD Tool Suite Autor Batory, Don

“…, personal computers,automobiles). FOP technology translates suchdeclarative specifications into efficient programs…”
Získat plný text

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code Autor Shashidhar, K. C., Bruynooghe, Maurice, Catthoor, Francky, Janssens, Gerda

“… Designers applying such nontrivial source code transformations are often faced with the problem of ensuring functional equivalence of the original and transformed programs…”
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 specification…”
Získat plný text

Revisiting Statechart Synthesis with an Algebraic Approach Autor Ziadi, Tewfic, Helouet, Loic, Jezequel, Jean-Marc

“… Inspired by the way UML2.0 sequence diagrams can be algebraically composed, we first define an algebraic framework for composing state charts…”
Získat plný text

A Tool for Writing and Debugging Algebraic Specifications Autor Henkel, Johannes, Diwan, Amer

“… To address these issues,we present a tool that helps programmers write anddebug algebraic specifications…”
Získat plný text

A Theorem Proving Approach to Programming Language Semantics Autor Roy, Subhajit

“… We show that once the program and its semantics are encoded, modern proof assistants can prove exciting language features with minimal…”
Získat plný text

A Relational Theory of Monadic Rewriting Systems, Part I Autor Gavazzo, Francesco, Faggian, Claudia

“…Motivated by the study of effectful programming languages and computations, we introduce a relational theory of monadic rewriting systems…”
Získat plný text

Positive First-order Logic on Words Autor Kuperberg, Denis

“…We study FO + , a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is an FO-definable…”
Získat plný text

Abstracting algebraic effects Autor Biernacki, Dariusz, Piróg, Maciej, Polesiuk, Piotr, Sieczkowski, Filip

“…Proposed originally by Plotkin and Pretnar, algebraic effects and their handlers are a leading-edge approach to computational effects…”
Získat plný text

SD-Regular Transducer Expressions for Aperiodic Transformations Autor Dartois, Luc, Gastin, Paul, Krishna, Shankara Narayanan

“…FO transductions, aperiodic deterministic two-way transducers, as well as aperiodic streaming string transducers are all equivalent models for first order…”
Získat plný text

Categorical combinatorics of scheduling and synchronization in game semantics Autor Mellies, Paul-André

“…Game semantics is the art of interpreting types as games and programs as strategies interacting in space and time with their environment…”
Získat plný text

Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch Autor Lee, Jaehyeok, Cha, Sooyoung

“… However, these techniques have typically demonstrated their effectiveness without considering "seeding", which efficiently initializes program states for exploration…”
Získat plný text

Types Are Internal ∞-Groupoids Autor Finster, Eric, Allioux, Antoine, Sozeau, Matthieu

“… coherent algebraic structures. In particular, our approach leads to a definition of ∞-groupoid internal to type theory and we prove that the type…”
Získat plný text

Frex: Dependently Typed Algebraic Simplification Autor Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy

“…We present a new design for an algebraic simplification library structured around concepts from universal algebra…”
Získat plný text