Search Sciweavers | Sciweavers

28888 search results - page 363 / 5778

» Computability and complexity in analysis

134

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

16 years 7 days ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

144

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

16 years 3 days ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

137

click to vote

CSMR
2003
IEEE

103views Software Engineering» more CSMR 2003»

Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels

16 years 2 days ago

Download web.soccerlab.polymtl.ca

Ettore Merlo, Giuliano Antoniol, Pierre-Luc Brunel...

claim paper

Read More »

228

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

15 years 12 months ago

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

133

click to vote

POPL
1996
ACM

105views Programming Languages» more POPL 1996»

A Modal Analysis of Staged Computation

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers