Search Sciweavers | Sciweavers

4036 search results - page 34 / 808

» Formal Methods

click to vote

SAS
2005
Springer

99views Formal Methods» more SAS 2005»

A Relational Abstraction for Functions

15 years 7 months ago

Download www.irisa.fr

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

claim paper

Read More »

click to vote

SAS
2004
Springer

85views Formal Methods» more SAS 2004»

Partially Disjunctive Heap Abstraction

15 years 7 months ago

Download www.cs.tau.ac.il

Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, ...

claim paper

Read More »

126

click to vote

SAS
2004
Springer

239views Formal Methods» more SAS 2004»

Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis

15 years 7 months ago

Download impact.crhc.illinois.edu

Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu

claim paper

Read More »

click to vote

TLDI
2003
ACM

115views Formal Methods» more TLDI 2003»

Deciding validity in a spatial logic for trees

15 years 7 months ago

Download lucacardelli.name

Cristiano Calcagno, Luca Cardelli, Andrew D. Gordo...

claim paper

Read More »

101

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers