Sciweavers

5255 search results - page 28 / 1051

» Formal Methods for Privacy

94

SAS
2004
Springer

110views Formal Methods» more SAS 2004»

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

15 years 8 months ago

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

Download www.lsi.upc.edu

Enric Rodríguez-Carbonell, Deepak Kapur

claim paper

Read More »

102

TYPES
2004
Springer

83views Formal Methods» more TYPES 2004»

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

15 years 8 months ago

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

Download gallium.inria.fr

Yves Bertot, Benjamin Grégoire, Xavier Lero...

claim paper

Read More »

94

TYPES
2004
Springer

94views Formal Methods» more TYPES 2004»

Surreal Numbers in Coq

15 years 8 months ago

Surreal Numbers in Coq

Download types2004.lri.fr

Lionel Elie Mamane

claim paper

Read More »

85

TYPES
2004
Springer

78views Formal Methods» more TYPES 2004»

Interfaces as Games, Programs as Strategies

15 years 8 months ago

Interfaces as Games, Programs as Strategies

Download types2004.lri.fr

Markus Michelbrink

claim paper

Read More »

87

TLDI
2003
ACM

105views Formal Methods» more TLDI 2003»

Garbage collection safety for region-based memory management

15 years 8 months ago

Garbage collection safety for region-based memory management

Download www.itu.dk

Martin Elsman

claim paper

Read More »

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