Search Sciweavers | Sciweavers

9626 search results - page 117 / 1926

» Invariant Based Programming

162

click to vote

COMPSAC
1999
IEEE

143views Software Engineering» more COMPSAC 1999»

A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs

15 years 9 months ago

Download cs.sookmyung.ac.kr

This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...

Xiaoping Jia, Sotiris Skevoulis

claim paper

Read More »

132

Voted

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

15 years 8 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

123

Voted

ICPR
2006
IEEE

130views computer vision» more ICPR 2006»

Bin-Picking based on Harmonic Shape Contexts and Graph-Based Matching

16 years 6 months ago

Download www.vision.auc.dk

In this work we address the general bin-picking problem where 3D data is available. We apply Harmonic Shape Contexts (HSC) features since these are invariant to translation, scale...

Jakob Kirkegaard, Thomas B. Moeslund

claim paper

Read More »

101

click to vote

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 10 months ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper