نتایج جستجو برای: اسمکتیک c

تعداد نتایج: 1056522  

2006
Patricia Bouyer H S Fabrice Chevalier

In this paper, we survey some of the results which have been obtained the last ten years on the control of hybrid and timed systems.

2003
C C Costas Busch Mukkai S. Krishnamoorthy Malik Magdon-Ismail

Fair cake-cutting is the division of a cake or resource among N users so that each user is content. Users may value a given piece of cake differently, and information about how a user values different parts of the cake can only be obtained by requesting users to “cut” pieces of the cake into specified ratios. Many distributed computing problems which involve resource sharing can be expressed as...

2011
Vasco T. Vasconcelos

We discuss session types independently of any programming language. We then embody the notion in languages from three different paradigms: the pi calculus, a functional language, and an object-oriented language.

2004
Luca Aceto Anna Ingolfsdottir MohammadReza Mousavi Michel A. Reniers

Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.

2011
Vasco T. Vasconcelos

We discuss session types independently of any programming language. We then embody the notion in languages from three different paradigms: the pi calculus, a functional language, and an object-oriented language.

2008
Dale Miller

We review links between three logic formalisms and three approaches to specifying operational semantics. In particular, we show that specifications written with (small-step and big-step) SOS, abstract machines, and multiset rewriting, are closely related to Horn clauses, binary clauses, and (a subset of) linear logic, respectively. We shall illustrate how binary clauses form a bridge between th...

2008
Richard Wettel Michele Lanza

The analysis of large-scale software is difficult in the absence of supporting tools, due to the sheer size and complexity of today’s systems. We present CODECITY, a language-independent interactive 3D visualization tool for the analysis of large object-oriented software systems. Using a city metaphor, it depicts classes as buildings and packages as districts of a “software city”. We start pres...

2006
Bas Luttik

This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Italy in the first week of August 2005.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید