1321 search results - page 5 / 265 » Subtyping in Logical Form |
82
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
RECOMB
2004
Springer
15 years 2 months ago
2004
Springer
Transcription factor binding sites often contain several subtypes of sequences that follow not just one but several different patterns. We developed a novel sensitive method based ...
JFP
2010
14 years 7 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
154
click to vote
NIL
1991
15 years 28 days ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
FMOODS
2003
14 years 10 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...