Sciweavers

    10871 search results - page 92 / 2175
    » A stable programming language
    Sort
    View
    TOOLS
    1994
    IEEE
    86views Programming Languages» more  TOOLS 1994»
    Object-Oriented Software Engineering
    15 years 10 months ago
    Object-Oriented Software Engineering
    Download  www.site.uottawa.ca
    Ivar Jacobson
    claim paper
    Read More »
    PLDI
    2010
    ACM
    219views Programming Languages» more  PLDI 2010»
    Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
    15 years 10 months ago
    Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
    Download  people.csail.mit.edu
    Jean Yang, Chris Hawblitzel
    claim paper
    Read More »
    ECOOP
    1993
    Springer
    85views Programming Languages» more  ECOOP 1993»
    Encapsulating Plurality
    15 years 10 months ago
    Encapsulating Plurality
    Download  web.cecs.pdx.edu
    Andrew P. Black, Mark P. Immel
    claim paper
    Read More »
    FPCA
    1993
    73views Programming Languages» more  FPCA 1993»
    A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
    15 years 10 months ago
    A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
    Download  web.cecs.pdx.edu
    Mark P. Jones
    claim paper
    Read More »
    ECOOP
    1994
    Springer
    91views Programming Languages» more  ECOOP 1994»
    Patterns Generate Architectures
    15 years 10 months ago
    Patterns Generate Architectures
    Download  www.diku.dk
    Kent Beck, Ralph E. Johnson
    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.