179 search results - page 7 / 36 » A calculus of functional BSP programs |
106
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
150
click to vote
ESOP
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
114
Voted
MPC
1995
Springer
15 years 5 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
117
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
244
click to vote
POPL
2001
ACM
16 years 2 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...