ACM Transactions on Programming Languages and Systems

161	--	176	Kenneth E. Iverson. Operators
177	--	195	Ronald H. Perrott. A Language for Array and Vector Processors
196	--	217	Noah S. Prywes, Amir Pnueli, S. Shastry. Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development
218	--	225	Richard B. Kieburtz, Abraham Silberschatz. Comments on Communicating Sequential Processes
226	--	244	David C. Luckham, Norihisa Suzuki. Verification of Array, Record, and Pointer Operations in Pascal
245	--	257	Greg Nelson, Derek C. Oppen. Simplification by Cooperating Decision Procedures
258	--	265	David Gries. Is Sometimes Ever Better Than Alway?
266	--	286	Daniel G. Bobrow, Douglas W. Clark. Compact Encodings of List Structure
287	--	294	Eric Beyer, Peter Buneman. A Space Efficient Dynamic Allocation Algorithm for Queuing Messages
295	--	320	Kuo-Chung Tai. Noncanonical SLR(1) Grammars

External Links