ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. (New York : ACM,Inc..)