Search Sciweavers | Sciweavers

4770 search results - page 42 / 954

» Flexible Type Analysis

Voted

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

15 years 9 months ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

101

click to vote

SCOPES
2004
Springer

96views System Software» more SCOPES 2004»

Fast Points-to Analysis for Languages with Structured Types

15 years 8 months ago

Download www.edaa.com

Michael Jung, Sorin A. Huss

claim paper

Read More »

110

Voted

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

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

15 years 8 months ago

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

102

Voted

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

15 years 8 months ago

Download repository.readscheme.org

Rogardt Heldal, John Hughes

claim paper

Read More »

Voted

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers