Sciweavers

1023 search results - page 12 / 205

» A Formal Method for Program Slicing

23

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

13 years 11 months ago

Using predicate abstraction to reduce object-oriented programs for model checking

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

22

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

13 years 11 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

19

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

13 years 11 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 »

21

TYPES
1995
Springer

106views Formal Methods» more TYPES 1995»

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

13 years 11 months ago

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

Download www.mathematik.uni-muenchen.de

Ulrich Berger, Helmut Schwichtenberg

claim paper

Read More »

19

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

13 years 11 months ago

Directional Type Checking of Logic Programs

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

« Prev « First page 12 / 205 Last » Next »