Search Sciweavers | Sciweavers

1194 search results - page 22 / 239

» A Calculus for Predicative Programming

135

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

15 years 11 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

157

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

15 years 10 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

118

Voted

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

128

click to vote

SPDP
1992
IEEE

91views Distributed And Parallel Com...» more SPDP 1992»

Debugging Dynamic Distributed Programs Using Global Predicates

15 years 10 months ago

Download www.brl.ntt.co.jp

Yoshifumi Manabe, Shigemi Aoyagi

claim paper

Read More »

130

Voted

AMAI
2007
Springer

95views Artificial Intelligence» more AMAI 2007»

Complexity results for answer set programming with bounded predicate arities and implications

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers