Compiler Optimization Correctness by Temporal Logic David LaceyNeil D. JonesCarl Christian Frederiksen OriginalPaper Open access Pages: 173 - 206
Implementing Coloured Petri Nets Using a Functional Programming Language Lars Michael KristensenSøren Christensen OriginalPaper Pages: 207 - 243
A Retrospective on Region-Based Memory Management Mads TofteLars BirkedalNiels Hallenberg OriginalPaper Open access Pages: 245 - 265