MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Programs are Predicates." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 530 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Predicative Programming  
  • by Eric C. R. Hehner — 1984 — Communications of the ACM
  • …Probabilistic Predicative Programming Eric C.R. Hehner Department of Computer Science, University…
  • Cited by 39 (2 self) – Add To MetaCart
  • Probabilistic Predicative Programming  
  • by Eric Hehner Department, Eric C. R. Hehner — 1984 — Communications of the ACM
  • …Probabilistic Predicative Programming Eric C.R. Hehner Department of Computer Science, University…
  • Add To MetaCart
  • Pushing Constraint Selections  
  • by Divesh Srivastava, Raghu Ramakrishnan — 1992 — Journal of Logic Programming
  • … of constraints to the body of each rule defining a predicate yields a program P 0 such that hP; Qi is query…
  • Cited by 49 (7 self) – Add To MetaCart
  • An Empirical Study of Predicate Dependence Levels and Trends  
  • by David Binkley Mark, Mark Harman — 2003 — In 25 th IEEE International Conference and Software Engineering (ICSE 2003
  • …. This paper reports results from an empirical study of the interdependences involving program predicates…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB