AFPAC
1997
Springer
14 years 3 months ago
1997
Springer
MPC
1998
Springer
14 years 3 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
14 years 3 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
14 years 3 months ago
1998
Springer
MPC
1998
Springer
14 years 3 months ago
1998
Springer
MPC
1998
Springer
14 years 3 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
14 years 3 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
14 years 3 months ago
1998
Springer
ISSAC
1998
Springer
14 years 3 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
14 years 3 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...