AFPAC
1997
Springer
13 years 11 months ago
1997
Springer
MPC
1998
Springer
13 years 11 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
MPC
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...
MPC
1998
Springer
13 years 11 months ago
1998
Springer
MPC
1998
Springer
13 years 11 months ago
1998
Springer
MPC
1998
Springer
13 years 11 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
MPC
1998
Springer
13 years 11 months ago
1998
Springer
Program derivation methodology is applied to reconstruct Euler's proof that every prime congruent to 1 modulo 4 is the sum of two squares.
MPC
1998
Springer
13 years 11 months ago
1998
Springer
ISSAC
1998
Springer
13 years 11 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
ISSAC
1998
Springer
13 years 11 months ago
1998
Springer
A technique to expedite iterative computations which is based on multidimensional chains of recurrences MCR is presented. Algorithms for MCR construction, interpretation and MCR-b...