MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification of Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

38 documents found, showing 1 through 10. Next 10 →

ATOM

Verification of Logic Programs
by Dino Pedreschi, Salvatore Ruggieri — 1997 — JOURNAL OF LOGIC PROGRAMMING
…: +39-50-887111. FAX: +39-50-887226 Verification of Logic Programs Dino Pedreschi and Salvatore…
Cited by 8 (2 self) – Add To MetaCart

Verification of Logic Programs and Imperative Programs
by Lee Naish — 1993 — Constructing Logic Programs
…Verification of logic programs and imperative programs Lee Naish Technical Report 90/6 (Revised May…
Cited by 6 (1 self) – Add To MetaCart

Verification of Logic Programs with Delay Declarations
by Krzysztof Apt, Ingrid Luitjes — 1995 — Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology, (AMAST'95), Lecture Notes in Computer Science
…Verification of Logic Programs with Delay Declarations Krzysztof R. Apt 1;2 and Ingrid Luitjes 2…
Cited by 27 (1 self) – Add To MetaCart

Abstract Interpretation based Verification of Logic Programs
by Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe — 2000 — Science of Computer Programming
…Abstract Interpretation based Verification of Logic Programs Marco Comini, Roberta Gori, Giorgio…
Cited by 11 (5 self) – Add To MetaCart

Forward versus Backward Verification of Logic Programs
by Andy King, Lunjin Lu — 2003 — Proceedings of Nineteenth International Conference on Logic Programming, volume 2916 of Lecture Notes in Computer Science
…Forward versus Backward Verification of Logic Programs Andy King and Lunjin Lu 1 Computing…
Cited by 3 (1 self) – Add To MetaCart

Formal Verification of Logic Programs: Foundations and Implementation
by Robert F. Stärk — 1997 — In Logical Foundations of Computer Science LFCS '97 --- Logic at Yaroslavl
…Formal verification of logic programs: foundations and implementation Robert F. Stärk Institute…
Cited by 4 (0 self) – Add To MetaCart

VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications
by Marco Comini — 2002 — Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming, number UDMI/18/2002/RR in Research Reports
…VeriPolyTypes: a tool for Verification of Logic Programs w.r.t. Type Specifications Marco Comini…
Cited by 3 (2 self) – Add To MetaCart

A Logic Programming and Verification System for Recursive Quantificational Logic
by Frank M. Brown — 1985 — Proceedings of the Nth International Joint Conference on Artificial Intelligence(IJCAI-85
…A Logic Programming and Verification System for Recursive Quantificational Logic Frank M. Brown…
Cited by 1 (1 self) – Add To MetaCart

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
by Paolo Volpe — 2000 — Properties of Logic Programs. Science of Computer Programming
… to the verification of properties of logic programs, a formal language is required that allows to express…
Cited by 4 (1 self) – Add To MetaCart

Decision Problems in Ordered Rewriting
by Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michael Rusinowitch — 1997 — In 13th IEEE Symposium on Logic in Computer Science (LICS
… synthesis and verification, and logic programming among others. Two fundamental properties of TRS…
Cited by 15 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB