Search Results - "Theory of computation Semantics and reasoning Program semantics Algebraic semantics"

Compositional Semantics for Probabilistic Programs with Exact Conditioning by 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…”
Get full text

Behavioural Preorders via Graded Monads by 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…”
Get full text

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning by 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…”
Get full text

Fixed-Points for Quantitative Equational Logics by 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…”
Get full text

An Algebraic Characterisation of First-Order Logic with Neighbour by 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…”
Get full text

Programs for Cheap by 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…”
Get full text

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

“…Feature Oriented Programming (FOP) is an emerging paradigmfor application synthesis, analysis, and optimization. Atarget application is specified declaratively…”
Get full text

Revisiting Statechart Synthesis with an Algebraic Approach by 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…”
Get full text

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code by 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…”
Get full text

A Tool for Writing and Debugging Algebraic Specifications by 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…”
Get full text

Towards a formal semantics of Parnas tables by 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…”
Get full text

Ontological Feedback in Multiagent Systems by 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…”
Get full text

A Denotational Semantics for Deliberation Dialogues by 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…”
Get full text

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development by 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…”
Get full text

CCML: A Novel Service Composition Language by 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…”
Get full text