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

14 years 10 months ago

Download repository.readscheme.org

Neil D. Jones

claim paper

Read More »

Voted

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

15 years 4 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

15 years 2 months 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers