144
click to vote
AFP
2015
Springer
9 years 12 months ago
2015
Springer
In this work, we formally proved Descartes Rule of Signs, which relates the number of positive real roots of a polynomial with the number of sign changes in its coefficient list. ...
158
click to vote
AFP
2015
Springer
9 years 12 months ago
2015
Springer
The necessary and sufficient condition for CSP noninterference security stated by the Ipurge Unwinding Theorem is expressed in terms of a pair of event lists varying over the set ...
125
click to vote
AFP
2015
Springer
9 years 12 months ago
2015
Springer
Among the various mathematical tools introduced in his outstanding work on Communicating Sequential Processes, Hoare has defined ”interleaves” as the predicate satisfied by ...
138
click to vote
AFP
2015
Springer
9 years 12 months ago
2015
Springer
Applicative functors augment computations with effects by lifting function application to types which model the effects [5]. As the structure of the computation cannot depend on...
131
click to vote
AFP
2015
Springer
9 years 12 months ago
2015
Springer
We provide a framework for registering automatic methods to derive class instances of datatypes, as it is possible using Haskell’s “deriving Ord, Show, . . . ” feature. We f...