Search Sciweavers | Sciweavers

750 search results - page 4 / 150

» Program Chair's Message

click to vote

ECCC
2007

115views more ECCC 2007»

A (De)constructive Approach to Program Checking

13 years 6 months ago

Download www.cs.ust.hk

Program checking, program self-correcting and program selftesting were pioneered by [Blum and Kannan] and [Blum, Luby and Rubinfeld] in the mid eighties as a new way to gain con�...

Shafi Goldwasser, Dan Gutfreund, Alexander Healy, ...

claim paper

Read More »

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

13 years 10 months ago

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

click to vote

ERLANG
2007
ACM

79views Programming Languages» more ERLANG 2007»

Priority messaging made easy

13 years 10 months ago

Download delivery.acm.org

Jan Henry Nystrom

claim paper

Read More »

click to vote

CC
2003
Springer

250views System Software» more CC 2003»

Automatic Detection of Uninitialized Variables

13 years 11 months ago

Download www.mimuw.edu.pl

vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...

Thi Viet Nga Nguyen, François Irigoin, Cori...

claim paper

Read More »

click to vote

SIGADA
1998
Springer

71views Programming Languages» more SIGADA 1998»

A Specification and Code Generation Tool for Message Translation and Validation

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers