80 search results - page 11 / 16 » Recursive subtyping revealed |
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
71
Voted
ISMVL
1997
IEEE
15 years 3 months ago
1997
IEEE
The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realiza...
JCB
2007
14 years 11 months ago
2007
The understanding of genome rearrangements is an important endeavor in comparative genomics. A major computational problem in this field is finding a shortest sequence of genome...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Bayesian recursive inference of phase in additive Gaussian noise environments is studied. A tractable conjugate system is established using a von Mises distribution. Its shaping p...
ICFP
2010
ACM
15 years 22 days ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...