Search Sciweavers | Sciweavers

4116 search results - page 43 / 824

» Type Analysis for CHIP

click to vote

SCOPES
2004
Springer

96views System Software» more SCOPES 2004»

Fast Points-to Analysis for Languages with Structured Types

14 years 2 months ago

Download www.edaa.com

Michael Jung, Sorin A. Huss

claim paper

Read More »

click to vote

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

14 years 1 months ago

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

14 years 1 months ago

Download repository.readscheme.org

Rogardt Heldal, John Hughes

claim paper

Read More »

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

14 years 24 days ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

14 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers