Search Sciweavers | Sciweavers

3319 search results - page 3 / 664

» Type Theoretical Databases

164

click to vote

PODS
2002
ACM

133views Database» more PODS 2002»

Data Integration: A Theoretical Perspective

16 years 5 months ago

Download people.cs.ubc.ca

Maurizio Lenzerini

claim paper

Read More »

115

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

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

124

Voted

TLCA
2005
Springer

98views Theoretical Computer Science» more TLCA 2005»

Reducibility and TT-Lifting for Computation Types

15 years 11 months ago

Download homepages.inf.ed.ac.uk

Sam Lindley, Ian Stark

claim paper

Read More »

120

click to vote

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

15 years 10 months ago

Download repository.readscheme.org

Rogardt Heldal, John Hughes

claim paper

Read More »

123

Voted

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers