Sciweavers

4722 search results - page 105 / 945

» Representation-independent program analysis

95

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 7 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

86

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 7 months ago

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

92

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

15 years 7 months ago

An Algebraic Approach to Sharing Analysis of Logic Programs

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

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

112

CADE
1994
Springer

190views Logical Reasoning» more CADE 1994»

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

15 years 7 months ago

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

Download repository.readscheme.org

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

87

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 7 months ago

Sequentialization of Parallel Logic Programs with Mode Analysis

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

« Prev « First page 105 / 945 Last » Next »