Výsledky vyhľadávania - Theory of computation Semantics AND reasoning Program semantics Algebraic semantics*

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I Autor Silva, Alexandra, Leino, K. Rustan M

“…This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021…”
Získať plný text

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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text

Towards a formal semantics of Parnas tables Autor Janicki, Ryszard

“…In Parnas at al. advocate the use of relational model for documenting the intended behaviour of programs…”
Získať plný text

Ontological Feedback in Multiagent Systems Autor Beun, Robbert-Jan, van Eijk, Rogier M., Prust, Huub

“… with the recipientýs ontology, which is expressed in type theory. Discrepancies are detected by the receiving agent if it notices type conflicts, particular inconsistencies or ontological gaps…”
Získať plný text

A Denotational Semantics for Deliberation Dialogues Autor McBurney, Peter, Parsons, Simon

“…We present a denotational semantics for agent deliberation dialogues, i.e., dialogues over proposed actions, conducted under a broad class of interaction protocols…”
Získať plný text

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development Autor Chirichiello, Antonella, Salaun, Gwen

“… From such formal descriptions, reasoning tools can be used to validate their correct execution. We define some guidelines to encode abstract specifications of services-to-be written using these calculi into executable web services…”
Získať plný text

CCML: A Novel Service Composition Language Autor Zhang, Xiuguo, Zhang, Weishi

“… Interaction rules among services rely on a cooperative computation model, i.e. KPN (Kahn Process Network…”
Získať plný text