Search Sciweavers | Sciweavers

28888 search results - page 363 / 5778

» Computability and complexity in analysis

152

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

16 years 1 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

153

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

16 years 29 days ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

161

click to vote

CSMR
2003
IEEE

103views Software Engineering» more CSMR 2003»

Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels

16 years 27 days ago

Download web.soccerlab.polymtl.ca

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

claim paper

Read More »

253

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

16 years 25 days ago

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

151

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