Searching for authors named "Jules Desharnais" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Abstract relational semantics
- …L’algèbre relationnelle abstraite est utilisée pour donner une définition sémantique d’un langage de programmation impératif simple. A cet effet, divers domaines sont spécifiés par des axiomes relationnels. Certaines spécifications définissent des relations sur les types de base du langage (Booléens…
- Cited by 8 (0 self) – Add To MetaCart
-
Concurrency: A Relational Approach
- …We model processes by means of a mathematical entity that we call a relational process. This model describes a process as an open system from which the description of the process as a closed system can be easily obtained. Also, it represents not only the actions of the process but also the resources…
- Add To MetaCart
-
Modal Kleene Algebra and Applications
- …Modal Kleene algebras are Kleene algebras with forward and backward modal operators, defined via domain and codomain operations. They provide a concise and convenient algebraic framework that subsumes various popular calculi and allows treating quite a number of areas. We survey the basic theory …
- Add To MetaCart
-
Characterizing Determinacy in Kleene Algebras
- …Elements of Kleene algebras can be used, among others, as abstractions of the inputoutput semantics of nondeterministic programs or as models for the association of pointers with their target objects. In the first case, one seeks to distinguish the subclass of elements that correspond to determinist…
- Cited by 10 (5 self) – Add To MetaCart
-
Relational Semantics of Tabular Expressions: Talk Abstract
- …Jules Desharnais D'epartement d'informatique Universit'e Laval Qu'ebec, QC, G1K 7P4 Canada Jules.Desharnais@ift.ulaval.ca Ridha Kh'edri Communications Research Laboratory McMaster University Hamilton, ON, L8S 4K1 Canada khedri@mcserg.crl.mcmaster.ca Ali Mili Institute for Software Research 1000 Tech…
- Add To MetaCart
-
State Transition Diagrams
- …Introduction Graphs and graphic notations play a prominent role in the representation and analysis of software specifications and software designs: From data flow diagrams, to entity-relation diagrams, to modular structure diagrams, to Petri Nets, the range of application of graphs is very wide, as…
- Add To MetaCart
-
Integration of Sequential Scenarios
- …A scenario is a partial description of the interaction between a user and a computer system. Scenarios can be used to support requirements elicitation and specification generation. We give a formal relation-based definition of scenarios and we show how different scenarios can be integrated to obtain…
- Cited by 14 (2 self) – Add To MetaCart
-
Program Construction by Parts
- …. Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we int…
- Cited by 8 (5 self) – Add To MetaCart
-
Towards a Uniform Relational Semantics for Tabular Expressions
- …Introduction Parnas et al. [4, 5, 6] have proposed tabular expressions as a means to represent the complex relations that are used to specify or document software systems. The idea is that a tabular expression is much easier to understand and verify than a long linear formula. Tabular expressions a…
- Cited by 5 (2 self) – Add To MetaCart
-
Universität Augsburg Kleene Algebra with Domain
- …Abstract We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axioms for a domain and a codomain operation, respectively. KAD considerably augments the expressibility of Kleene algebra, in particular for the specification and analysis of state transition sy…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
