Search Sciweavers | Sciweavers

525 search results - page 2 / 105

» Static Interpretation of Modules

click to vote

GI
2007
Springer

151views Theoretical Computer Science» more GI 2007»

Test Automation Meets Static Analysis

14 years 13 days ago

Download www.informatik.uni-bremen.de

: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...

Jan Peleska, Helge Löding, Tatiana Kotas

claim paper

Read More »

click to vote

EACL
1993
ACL Anthology

88views Natural Language Processing» more EACL 1993»

A Strategy for Dynamic Interpretation: a Fragment and an Implementation

13 years 7 months ago

Download acl.ldc.upenn.edu

The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...

Olivier Bouchez, Jan van Eijck, Olivier Istace

claim paper

Read More »

click to vote

CADE
2007
Springer

189views Logical Reasoning» more CADE 2007»

Logical Interpretation: Static Program Analysis Using Theorem Proving

14 years 6 months ago

Download www.csl.sri.com

Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...

Ashish Tiwari, Sumit Gulwani

claim paper

Read More »

click to vote

FOSAD
2009
Springer

117views Security Privacy» more FOSAD 2009»

Certified Static Analysis by Abstract Interpretation

13 years 10 months ago

Download www.irisa.fr

d Static Analysis by Abstract Interpretation Fr

Frédéric Besson, David Cachera, Thom...

claim paper