Search Sciweavers | Sciweavers

3319 search results - page 3 / 664

» Type Theoretical Databases

142

Voted

PODS
2002
ACM

133views Database» more PODS 2002»

Data Integration: A Theoretical Perspective

16 years 4 months ago

Download people.cs.ubc.ca

Maurizio Lenzerini

claim paper

Read More »

101

click to vote

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 »

105

click to vote

TLCA
2005
Springer

98views Theoretical Computer Science» more TLCA 2005»

Reducibility and TT-Lifting for Computation Types

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Sam Lindley, Ian Stark

claim paper

Read More »

105

click to vote

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 »

102

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers