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
Sort by: Publication year
- 2008
- 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-review › Journal article – Annual report year: 2008
- 1986
- 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-review › Journal article – Annual report year: 1986
- 1985
- 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-review › Journal article – Annual report year: 1985