MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Constraint Logic Programming for program analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • A Generic Algorithm for CLP Analysis  
  • by Exte Nd Ed, Extended Abstract, Nevin Heintze, Joxan Jaffar
  • …: (constraint) logic programming, program analysis, abstract interpretation This length of the body…
  • Add To MetaCart
  • An optimizing compiler for CLP(R)  
  • by Andrew D. Kelly, Kim Marriott, Andrew MacDonald, Peter J. Stuckey, Roland Yap — 1996 — ACM Transactions on Programming Languages and Systems
  • … Constraint Logic Programming (CLP) languages extend logic programming by allowing the use of constraints from…
  • Cited by 23 (12 self) – Add To MetaCart
  • Efficient negation using abstract interpretation  
  • by Juan Jos'e Moreno, Manuel Hermenegildo — 2001 — In Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI
  • … Programming, Program Analysis, Logic Programming Implementation, Abstract Interpretation. 1 Introduction…
  • Cited by 4 (0 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB