ACM transactions on programming languages and systems

• 

  Año 2010, Vol. 32, Número 2

  • JavaCOP: Declarative pluggable types for java

    S. Markstrum, Daniel Marino, Matthew Esquivel, Todd Millstein, Chris Andreae, James Noble

    37 págs.

    

  • A relational approach to interprocedural shape analysis

    Bertrand Jeannet, Alexey Loginov, Thomas Reps, Mooly Sagiv

    52 págs.

    

  • Hybrid type checking

    Kenneth Knowles, Cormac Flanagan

    34 págs.