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 define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct. We give operational, denotational…”
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…”
Získat plný text

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

“…Like notions of process equivalence, behavioural preorders on processes come in many flavours, ranging from fine-grained comparisons such as ready simulation…”
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. Unlike previous related…”
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. For this, we consider languages of finite words over…”
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

“…Feature Oriented Programming (FOP) is an emerging paradigmfor application synthesis, analysis, and optimization. Atarget application is specified declaratively…”
Získat plný text

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

“…The idea of synthesizing statecharts out of a collection of scenarios has received a lot of attention in recent years. However due to the poor expressive power…”
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

“…Development of energy and performance-efficient embedded software is increasingly relying on application of complex transformations on the critical parts of…”
Získat plný text

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

“…Despite their benefits, programmers rarely use formalspecifications, because they are difficult to write and theyrequire an up front investment in time. To…”
Získat 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. In this method, tabular expressions (or tables) are…”
Získat plný text

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

“…In this paper, we present a computational framework for the detection of ontological discrepancies in multiagent systems. The framework is developed as a basis…”
Získat 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…”
Získat plný text

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

“…It is now widely accepted that formal methods are helpful for many issues raised in the web services area. In this paper, we advocate the use of process…”
Získat plný text

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

“…This paper presents a novel service composition language called CCML. Its distinct advantage from conventional composition languages is its ability to describe…”
Získat plný text