4 search results - page 1 / 1 » An Interactive Algebra Course with Formalised Proofs and Def... |
MKM
2005
Springer
15 years 6 months ago
2005
Springer
AAECC
2002
Springer
15 years 12 days 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 ...
105
Voted
LICS
1994
IEEE
15 years 4 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...
196
Voted
POPL
2008
ACM
16 years 25 days 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...