750 search results - page 4 / 150 » Program Chair's Message |
ECCC
2007
14 years 9 months ago
2007
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ï¬...
PLDI
1990
ACM
15 years 1 months ago
1990
ACM
ERLANG
2007
ACM
15 years 1 months ago
2007
ACM
CC
2003
Springer
15 years 2 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
SIGADA
1998
Springer
15 years 1 months ago
1998
Springer