Sciweavers

    3708 search results - page 57 / 371
    » Programming with C Exceptions
    Sort
    View
    Efficient parallel programming in Poly/ML and Isabelle/ML
    236 views 85 votes 15 years 8 months ago  POPL 2010»
    claim paper
    David C. J. Matthews, Makarius Wenzel
    The Weird World of Bi-directional Programming
    96 views 111 votes 15 years 4 months ago  ESOP 2006»
    claim paper
    Benjamin C. Pierce
    Abstract Processes in Orchestration Languages
    105 views 56 votes 15 years 8 months ago  ESOP 2009»
    claim paper
    Maria Grazia Buscemi, Hernán C. Melgratti
    Regular Object Types
    114 views 73 votes 15 years 6 months ago  ECOOP 2003»
    claim paper
    Vladimir Gapeyev, Benjamin C. Pierce
    A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
    90 views 91 votes 15 years 6 months ago  ECOOP 2003»
    claim paper
    Patrick Lam, Martin C. Rinard
    An Approach to Measuring the Performance of a Large-Scale Collaboration
    108 views 64 votes 15 years 5 months ago  IFIP 2009»
    claim paper
    Ronald C. Beckett
    Symbolic bounds analysis of pointers, array indices, and accessed memory regions
    89 views 104 votes 15 years 5 months ago  PLDI 2000»
    claim paper
    Radu Rugina, Martin C. Rinard
    Hardware Synthesis from Term Rewriting Systems
    116 views 92 votes 15 years 5 months ago  IFIP 1999»
    claim paper
    James C. Hoe, Arvind
    A truly implementation independent GUI development tool
    75 views 80 votes 15 years 5 months ago  SIGADA 1999»
    claim paper
    Martin C. Carlisle
    The Design and Implementation of a Certifying Compiler
    109 views 91 votes 15 years 5 months ago  PLDI 1998»
    claim paper
    George C. Necula, Peter Lee
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.