Search Sciweavers | Sciweavers

2687 search results - page 9 / 538

» Formal Analysis of PKCS

166

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 10 months ago

Download impact.crhc.illinois.edu

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

claim paper

Read More »

138

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

15 years 10 months ago

Download www.sti.uniurb.it

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

117

click to vote

FTRTFT
1998
Springer

105views Formal Methods» more FTRTFT 1998»

An Algorithm for the Approximative Analysis of Rectangular Automata

15 years 9 months ago

Download www.cs.berkeley.edu

Jörg Preußig, Stefan Kowalewski, Howard...

claim paper

Read More »

118

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 9 months ago

Download www.cs.ucla.edu

Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...

claim paper

Read More »

113

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers