A C M Transactions on Programming Languages and Systems

ISSNs: 0164-0925

Association for Computing Machinery, Inc., United States

FI (2012): 2, ISI indexed (2012): yes

Central database

Journal

  1. 2008
  2. Published

    Java bytecode verification via static single assignment form. / Gal, Andreas; Probst, Christian W.; Franz, Michael.

    In: ACM Transactions on Programming Languages and Systems, Vol. 30, No. 4, 2008, p. 1-21.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

  3. 1986
  4. Published

    Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions. / Nielson, Flemming; Nielson, Hanne Riis.

    In: A C M Transactions on Programming Languages and Systems, Vol. 8, No. 3, 1986, p. 406-407.

    Publication: Research - peer-reviewJournal article – Annual report year: 1986

  5. 1985
  6. Published

    Program Transformations in a Denotational Setting. / Nielson, Flemming.

    In: ACM Transactions on Programming Languages and Systems, Vol. 7, No. 3, 1985, p. 359-379.

    Publication: Research - peer-reviewJournal article – Annual report year: 1985

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word