MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Logic of subtyping." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Logic of subtyping  
  • by Pavel Naumov — 2005 — Theoretical Computer Science
  • …Abstract Logic of Subtyping Pavel Naumov Department of Mathematics and Computer Science Mc…
  • Cited by 3 (2 self) – Add To MetaCart
  • A Logic of Subtyping  
  • by Giuseppe Longo, Kathleen Milsted, Sergei Soloviev — 1996
  • … ________________________ ________________________ UPERIEURE S ORMALE N ECOLE CNRS URA 1327 A Logic of Subtyping Giuseppe LONGO Kathleen MILSTED Sergei…
  • Cited by 13 (4 self) – Add To MetaCart
  • Coherence and Transitivity of Subtyping as Entailment  
  • by Giuseppe Longo, Uperieure S Ormale, Sergei SOLOVIEV, N Ecole, Of Subtyping As Entailment, Of Subtyping As Entailment, Kathleen MILSTED, Kathleen Milsted — 1996
  • … calculus for subtyping as logical entailment. This allows us to derive a complete and coherent approach…
  • Cited by 8 (3 self) – Add To MetaCart
  • Polymorphically Typed Logic Programs  
  • by Eyal Yardeni, Thom Fruehwirth, Ehud Shapiro — 1991 — Types in Logic Programming
  • …-order predicates [Han89]. Smolka [Smo88] developed a typed predicate logic with subtyping relation. Based on it he…
  • Cited by 24 (2 self) – Add To MetaCart
  • Toward Software Plug-and-Play  
  • by Francois Bronsard, Douglas Bryan, W. (voytek Kozaczynski, Edy S. Liongosari, Jim Q. Ning, Ásgeir Ólafsson, John W. Wetterstr — 1997 — In Proceedings of the 1997 Symposium on software reusability SSR’97
  • … describe logical subtyping which we introduce to analyze if two interfaces are bindable. For more detailed…
  • Cited by 7 (1 self) – Add To MetaCart
  • Equational Reasoning with Subtypes  
  • by Gary Leavens And, Copyright Gary, T. Leavens, Gary T. Leavens, Gary T. Leavens, Don Pigozzi, Don Pigozzi, Don Pigozzi — 2002 — Iowa State University
  • …: behavioral subtype, subtyping, equational logic, proof theory. 2001 CR Categories: D.3.3 [Programming…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB