1392 search results - page 12 / 279 » A Calculus for Dynamic Linking |
121
Voted
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
156
click to vote
FMOODS
2003
15 years 5 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
103
Voted
TCS
2010
14 years 10 months ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...
119
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
134
Voted
LCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Network calculus is a recently developed theory dealing with queuing systems found in computer networks with focus on service guarantee analysis. In the current network calculus...