ACM transactions on programming languages and systems

• 

  Año 1997, Vol. 19, Número 5

  • Toward a complete transformational toolkit for compilers

    J. Field, J.A. Bergstra, J. Heering, T.B. Dinesh

    págs. 639-684

    

  • Proving current constraint programs correct

    Frank S. De Boer, Maurizio Gabbrielli, Catuscia Palamidessi, Elena Marchiori

    págs. 685-725

    

  • Verifying parameterized networks

    O. Grumberg, E.M. Clarke, S. Jha

    págs. 726-750

    

  • Disjunctive program analysis for algebraic data types

    Thomas Jensen

    págs. 751-803

    

  • Mobile objects in distributed Oz

    Seif Haridi, Peter Van Roy, Gert Smolka, Per Brand, Michael Mehl, Ralf Scheidhauer

    págs. 804-851