ACM Transactions on Programming Languages and Systems Short Title: ACM Trans. Program. Lang. Syst. Publisher: Association for Computing Machinery (ACM), New York, NY ISSN: 0164-0925 Online: http://www.acm.org/pubs/contents/journals/toplas/ Comments: No longer indexed Documents indexed: 203 Publications (1979–1989) all top 5 Latest Issues 11, No. 1 (1989) 10, No. 4 (1988) 10, No. 3 (1988) 10, No. 2 (1988) 10, No. 1 (1988) 9 (1987) 8 (1986) 7 (1985) 6 (1984) 5 (1983) 4 (1982) 3 (1981) 2 (1980) 1 (1979) all top 5 Authors 5 Lamport, Leslie 5 Sharir, Micha 4 Apt, Krzysztof Rafal 4 Francez, Nissim 4 Misra, Jayadev 4 Schneider, Fred B. 4 Schwartz, Jacob Theodore 3 Arvind, Kim P. Gostelow 3 Broy, Manfred 3 Constable, Robert Lee 3 Kieburtz, Richard B. 3 Peterson, Gary L. 3 Pingali, Keshav K. 3 Silberschatz, Abraham 2 Andrews, Gregory R. 2 Backhouse, Roland C. 2 Bernstein, Philip A. 2 Chandy, Kanianthra Mani 2 Clarke, Edmund Melson jun. 2 Demers, Alan J. 2 Dewar, Robert B. K. 2 Donahue, James Edward 2 Gries, David 2 Griswold, Ralph E. 2 Hennessy, John LeRoy 2 Holt, Richard C. 2 Kennedy, Ken 2 LaLonde, Wilf R. 2 Lindstrom, Gary 2 Liskov, Barbara H. 2 Luckham, David C. 2 Manna, Zohar 2 Pepper, Peter 2 Pnueli, Amir 2 Rudolph, Larry 2 Schonberg, Edmond 2 Soisalon-Soininen, Eljas 2 Steensgaard-Madsen, Jorgen 2 Wortman, David B. 2 Yemini, Shaula A. 1 Allen, Randy 1 Alpern, Bowen 1 Anderson, S. O. 1 André, Frédéric 1 Anson, Ed 1 Appelbe, William F. 1 Arsac, Jacques J. 1 Ashcroft, Edward A. 1 Atkinson, Malcolm P. 1 Back, Ralph-Johan 1 Baker, Theodore P. 1 Banatre, Jean-Pierre 1 Banerjee, Debasish 1 Bar-On, Ilan 1 Barnden, John A. 1 Basili, Victor R. 1 Bates, Joseph L. 1 Ben-Ari, Mordechai 1 Bergeretti, Jean-François 1 Bergeron, Janick 1 Bernstein, David H. 1 Berry, Daniel M. 1 Beyer, Eric 1 Bic, Lubomir F. 1 Bird, Richard S. 1 Bobrow, Daniel G. 1 Boehm, Hans-Juergen 1 Bohm, Wim 1 Boom, H.-J. 1 Buckley, Gael N. 1 Budd, Timothy A. 1 Buneman, Peter 1 Burton, F. Warren 1 Cameron, Robert D. 1 Carré, Bernard A. 1 Carson, Scott D. 1 Casanova, Marco Antonio 1 Chandy, Mani K. 1 Chang, Chun-Hyon 1 Chang, Chung-Kuo 1 Charlesworth, Arthur 1 Chirica, Laurian M. 1 Choe, Kwang-Moo 1 Clark, Douglas W. 1 Clark, Keith L. 1 Cohen, Norman H. 1 Colussi, Livio 1 Cordy, James R. 1 Cuny, Janice E. 1 de Bruin, Arie 1 de Roever, Willem-Paul 1 Dekel, Eliezer 1 DeRemer, Franklin L. 1 Dershowitz, Nachum 1 Des Rivieres, Jim 1 Drechsler, Karl-Heinz 1 Dubuque, A. F. 1 Dunlop, Douglas D. 1 Emerson, Ernest Allen 1 Ernst, George W. ...and 181 more Authors Fields 203 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Loading citation profile