An algebraic approach to the design of compilers for object-oriented languages Adolfo DuranAna CavalcantiAugusto Sampaio Original Article 13 October 2009 Pages: 489 - 535
Solutions of equations in languages Wim H. Hesselink Original Article Open access 02 October 2009 Pages: 537 - 545
Blaming the client: on data refinement in the presence of pointers Ivana FilipovićPeter O’HearnHongseok Yang Original Article 02 October 2009 Pages: 547 - 583
A game-theoretic framework for specification and verification of cryptographic protocols Mohamed SalehMourad Debbabi OriginalPaper 30 October 2009 Pages: 585 - 609
An elementary and unified approach to program correctness Jaime A. Bohórquez V Original Article 17 November 2009 Pages: 611 - 627
Structured derivations: a unified proof style for teaching mathematics Ralph-Johan Back Original Article 26 November 2009 Pages: 629 - 661