4224 search results - page 86 / 845 » Reasoning about Choice |
115
click to vote
IPMU
2010
Springer
15 years 3 months ago
2010
Springer
Are we interested in choice functions or function for choice? Was it my choice or did I choose? In the end it is all about sorts and operators, terms as given by the term monad ove...
102
click to vote
ISIPTA
1999
IEEE
15 years 9 months ago
1999
IEEE
Inferential problems that arise in the empirical analysis oftreatmentresponseinduceambiguityabouttheidentity of optimal treatment rules. This paper describes a research program th...
113
click to vote
JSYML
2000
15 years 5 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
164
click to vote
FM
2009
Springer
15 years 12 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
181
click to vote
IFM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...