4 search results - page 1 / 1 » An Interactive Algebra Course with Formalised Proofs and Def... |
MKM
2005
Springer
13 years 10 months ago
2005
Springer
AAECC
2002
Springer
13 years 4 months ago
2002
Springer
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
LICS
1994
IEEE
13 years 9 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...