Sciweavers

5255 search results - page 40 / 1051

» Formal Methods for Privacy

22

IFM
2000
Springer

111views Formal Methods» more IFM 2000»

A Concurrent and Compositional Petri Net Semantics of Preemption

13 years 11 months ago

A Concurrent and Compositional Petri Net Semantics of Preemption

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

15

SAS
2000
Springer

105views Formal Methods» more SAS 2000»

Abstract Interpretation of Probabilistic Semantics

13 years 11 months ago

Abstract Interpretation of Probabilistic Semantics

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

22

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 »

22

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 »

21

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

A Systematic Construction of Abstract Domains

13 years 11 months ago

A Systematic Construction of Abstract Domains

Download lirias.kuleuven.be

Dmitri Boulanger, Maurice Bruynooghe

claim paper

Read More »

« Prev « First page 40 / 1051 Last » Next »