Search Sciweavers | Sciweavers

899 search results - page 6 / 180

» A CTL-Based Logic for Program Abstractions

click to vote

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

13 years 8 months ago

Download repository.readscheme.org

Neil D. Jones

claim paper

Read More »

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

14 years 1 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 23 days ago

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

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

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

LPAR
1991
Springer

127views Automated Reasoning» more LPAR 1991»

Abstract Syntax and Logic Programming

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers