Suchergebnisse - "Theory of computation Semantics AND reasoning Program semantics Algebraic semantics"

Compositional Semantics for Probabilistic Programs with Exact Conditioning von 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 …”
Volltext

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning von 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 …”
Volltext

Behavioural Preorders via Graded Monads von 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 …”
Volltext

Fixed-Points for Quantitative Equational Logics von 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 …”
Volltext

An Algebraic Characterisation of First-Order Logic with Neighbour von 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 …”
Volltext

Programs for Cheap von 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 …”
Volltext

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

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

Revisiting Statechart Synthesis with an Algebraic Approach von 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 …”
Volltext

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code von 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 …”
Volltext

A Tool for Writing and Debugging Algebraic Specifications von 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 …”
Volltext

Towards a formal semantics of Parnas tables von 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 …”
Volltext

Ontological Feedback in Multiagent Systems von 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 …”
Volltext

A Denotational Semantics for Deliberation Dialogues von 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 …”
Volltext

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development von 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 …”
Volltext

CCML: A Novel Service Composition Language von 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 …”
Volltext