Sciweavers

    3319 search results - page 3 / 664
    » Type Theoretical Databases
    Sort
    View
    133
    Voted
    PODS
    2002
    ACM
    133views Database» more  PODS 2002»
    Data Integration: A Theoretical Perspective
    16 years 2 months ago
    Data Integration: A Theoretical Perspective
    Download  people.cs.ubc.ca
    Maurizio Lenzerini
    claim paper
    Read More »
    92
    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 8 months ago
    Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation
    Download  www.csie.ntnu.edu.tw
    Yung-Pin Cheng
    claim paper
    Read More »
    94
    Voted
    TLCA
    2005
    Springer
    98views Theoretical Computer Science» more  TLCA 2005»
    Reducibility and TT-Lifting for Computation Types
    15 years 8 months ago
    Reducibility and TT-Lifting for Computation Types
    Download  homepages.inf.ed.ac.uk
    Sam Lindley, Ian Stark
    claim paper
    Read More »
    95
    Voted
    ERSHOV
    2001
    Springer
    98views Theoretical Computer Science» more  ERSHOV 2001»
    Binding-Time Analysis for Polymorphic Types
    15 years 7 months ago
    Binding-Time Analysis for Polymorphic Types
    Download  repository.readscheme.org
    Rogardt Heldal, John Hughes
    claim paper
    Read More »
    93
    Voted
    TLCA
    1997
    Springer
    101views Theoretical Computer Science» more  TLCA 1997»
    Typed Intermediate Languages for Shape Analysis
    15 years 7 months ago
    Typed Intermediate Languages for Shape Analysis
    Download  www.disi.unige.it
    Gianna Bellè, Eugenio Moggi
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.