Search Sciweavers | Sciweavers

31387 search results - page 205 / 6278

» Abstracts

130

click to vote

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

15 years 10 months ago

Download www.cs.bris.ac.uk

Germán Puebla, Manuel V. Hermenegildo, John...

claim paper

Read More »

105

click to vote

ICRA
1998
IEEE

86views Robotics» more ICRA 1998»

Complexity Reduction in Geometric Selective Disassembly using the Wave Propagation Abstraction

15 years 10 months ago

Download wireless.ucla.edu

Hari Srinivasan, Rajit Gadh

claim paper

Read More »

138

click to vote

ICSM
1998
IEEE

113views Software Engineering» more ICSM 1998»

Clone Detection Using Abstract Syntax Trees

15 years 10 months ago

Download www.semdesigns.com

Ira D. Baxter, Andrew Yahin, Leonardo Mendon&ccedi...

claim paper

Read More »

155

click to vote

SAFECOMP
1999
Springer

168views Security Privacy» more SAFECOMP 1999»

Automated Black-Box Testing with Abstract VDM Oracles

15 years 10 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

159

click to vote

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers