Search Sciweavers | Sciweavers

1143 search results - page 19 / 229

» Abstract Syntax and Logic Programming

120

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

15 years 10 months ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

109

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 9 months ago

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

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

claim paper

Read More »

162

Voted

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 8 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

121

click to vote

DCOSS
2006
Springer

90views Distributed And Parallel Com...» more DCOSS 2006»

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

15 years 7 months ago

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

Voted

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers