7109 search results - page 233 / 1422 » Process Algebra with Combinators |
134
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
EUSFLAT
2001
15 years 5 months ago
2001
The main concern of this paper is to introduce and characterize the class of operators on a finite chain L, having the same properties of pseudo-smooth uninorms but without commut...
147
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
157
click to vote
CSDA
2004
15 years 4 months ago
2004
We present an algorithm for computing the probability density function of the product of two independent random variables, along with an implementation of the algorithm in a compu...
141
click to vote
EWC
2000
15 years 4 months ago
2000
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...