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