| SPACE |
SEMANTICS,
PROGRAM
ANALYSIS, AND
COMPUTING ENVIRONMENTS FOR MEMORY MANAGEMENT |
| INDEX | |
| o | SPACE |
| o | WORKSHOPS |
| o SPACE 2001 | |
| o SPACE 2004 | |
| o SPACE 2006 | |
| o | MAILING LIST |
| o | PEOPLE |
| o | BIBLIOGRAPHY |
| o | ABOUT |
H
H
The aim of the SPACE workshops is to bring together researchers for a fruitful exchange of ideas on semantics, program analysis and computing environments for memory management.
The third SPACE workshop was held in connection with POPL 2006 in Charleston, South Carolina.
The second SPACE workshop was held in connection with POPL 2004 in Venice, Italy.
The first SPACE workshop was held in connection with POPL 2001 in London, UK.
These pages collect material from the SPACE workshop(s) as well as other material (notably a list of people and a bibliography) relevant to this area of research.