ACM transactions on programming languages and systems

• 

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

  • Semantic Foundations for Typed Assembly Languages

    Amal Ahmed, Andew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan

    pág. 7

    

  • A Termination Analyzer for Java Bytecode Based on Path Length

    Fausto Spoto, Fred Mesnard, Etienne Payet

    pág. 8

    

  • Satin: A High-Level and Efficient Grid Programming Model

    Rob Van Nieuwpoort, Gosia Wrzesinska, Ceriel J. H. Jacobs, Henri E. Bal

    pág. 9