Search Sciweavers | Sciweavers

1143 search results - page 19 / 229

» Abstract Syntax and Logic Programming

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

14 years 2 months ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

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

14 years 25 days ago

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

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

claim paper

Read More »

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

13 years 11 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

click to vote

DCOSS
2006
Springer

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

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

13 years 11 months ago

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers