MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Static Analysis of Logic Programs." – 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
  • A Logic for Variable Aliasing in Logic Programs  
  • by Elena Marchiori — 1994 — Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP '94
  • … of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown…
  • Cited by 2 (1 self) – Add To MetaCart
  • Rapid Prototyping using Formal Specifications  
  • by Michael Winikoff, Philip Dart, Ed. Kazmierczak — 1998 — In Proceedings of the 21st Australasian Computer Science Conference
  • …-executable Z specification executable can be derived using static analysis techniques from logic programming…
  • Cited by 5 (1 self) – Add To MetaCart
  • Design of Abstract Domains using First-order Logic  
  • by Elena Marchiori — 1996 — Proceedings of the 5th International Conference on Algebraic and Logic Programming (ALP’96), volume 1139 of Lecture Notes in Computer Science
  • … of an abstract domain. In order to improve the precision of the static analysis of logic programs, various…
  • Cited by 1 (0 self) – Add To MetaCart
  • Publications in Program Development  
  • by June Journal, R. Barbuti, M. Codish, R. Giacobazzi, G. Levi, Modelling The, Journal Logic, P. Van Hentenryck, K. Marriott, H. Sondergaard Difference-list
  • … and practical static analysis for logic programs. In Cousot et al. [12], pages 111--111. [36] D. S. Warren…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB