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

Publications

(3)

Published
Java bytecode verification via static single assignment form
Publication: Research - peer-review › Journal article – Annual report year: 2008
Published
Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions
Publication: Research - peer-review › Journal article – Annual report year: 1986
Published
Program Transformations in a Denotational Setting
Publication: Research - peer-review › Journal article – Annual report year: 1985

ID: 77319