2272 search results - page 332 / 455 » A Calculus for |
113
click to vote
PLDI
1989
ACM
15 years 4 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
110
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
115
Voted
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
100
Voted
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
82
Voted
AICT
2006
IEEE
15 years 4 months ago
2006
IEEE
Generally, the real-time applications exchange information on dedicated network and the other traffic is supported by another communication system. The differentiation of these tw...