Sciweavers

    2596 search results - page 19 / 520
    » Gradual Typing for Objects
    Sort
    View
    ECOOP
    2003
    Springer
    114views Programming Languages» more  ECOOP 2003»
    Regular Object Types
    15 years 11 months ago
    Regular Object Types
    Download  www.cis.upenn.edu
    Vladimir Gapeyev, Benjamin C. Pierce
    claim paper
    Read More »
    WCRE
    1999
    IEEE
    142views Software Engineering» more  WCRE 1999»
    Type-Check Elimination: Two Object-Oriented Reengineering Patterns
    15 years 10 months ago
    Type-Check Elimination: Two Object-Oriented Reengineering Patterns
    Download  scg.unibe.ch
    In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
    Stéphane Ducasse, Tamar Richner, Robb Nebbe
    claim paper
    Read More »
    OOPSLA
    1998
    Springer
    106views Security Privacy» more  OOPSLA 1998»
    A Type System for Object Initialization in the Java Bytecode Language
    15 years 10 months ago
    A Type System for Object Initialization in the Java Bytecode Language
    Download  www.cs.williams.edu
    Stephen N. Freund, John C. Mitchell
    claim paper
    Read More »
    PODC
    1997
    ACM
    80views Distributed and Parallel Com...» more  PODC 1997»
    On the Power of Shared Object Types to Implement One-Resilient Consensus
    15 years 10 months ago
    On the Power of Shared Object Types to Implement One-Resilient Consensus
    Download  courses.csail.mit.edu
    Wai-Kau Lo, Vassos Hadzilacos
    claim paper
    Read More »
    FSTTCS
    1993
    Springer
    117views Software Engineering» more  FSTTCS 1993»
    A Meta-Language for Typed Object-Oriented Languages
    15 years 10 months ago
    A Meta-Language for Typed Object-Oriented Languages
    Download  www.pps.jussieu.fr
    Giuseppe Castagna
    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.