Search Sciweavers | Sciweavers

3708 search results - page 57 / 371

» Programming with C Exceptions

Efficient parallel programming in Poly/ML and Isabelle/ML

236 views 97 votes 15 years 9 months ago POPL 2010»

claim paper

David C. J. Matthews, Makarius Wenzel

The Weird World of Bi-directional Programming

96 views 120 votes 15 years 6 months ago ESOP 2006»

claim paper

Benjamin C. Pierce

Abstract Processes in Orchestration Languages

105 views 61 votes 15 years 9 months ago ESOP 2009»

claim paper

Maria Grazia Buscemi, Hernán C. Melgratti

Regular Object Types

114 views 81 votes 15 years 7 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 100 votes 15 years 7 months ago ECOOP 2003»

claim paper

Patrick Lam, Martin C. Rinard

An Approach to Measuring the Performance of a Large-Scale Collaboration

108 views 75 votes 15 years 7 months ago IFIP 2009»

claim paper

Ronald C. Beckett

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

89 views 112 votes 15 years 6 months ago PLDI 2000»

claim paper

Radu Rugina, Martin C. Rinard

Hardware Synthesis from Term Rewriting Systems

116 views 99 votes 15 years 6 months ago IFIP 1999»

claim paper

James C. Hoe, Arvind

A truly implementation independent GUI development tool

75 views 89 votes 15 years 6 months ago SIGADA 1999»

claim paper

Martin C. Carlisle

The Design and Implementation of a Certifying Compiler

109 views 101 votes 15 years 6 months ago PLDI 1998»

claim paper

George C. Necula, Peter Lee

« Prev « First page 57 / 371 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers