Výsledky vyhľadávania - "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ískať 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í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…”
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. Unlike previous related…”
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. For this, we consider languages of finite words over…”
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

“…Feature Oriented Programming (FOP) is an emerging paradigmfor application synthesis, analysis, and optimization. Atarget application is specified declaratively…”
Získať 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í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

“…Development of energy and performance-efficient embedded software is increasingly relying on application of complex transformations on the critical parts of…”
Získať 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í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. In this method, tabular expressions (or tables) are…”
Získať 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í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…”
Získať 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ískať 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ískať plný text