×

zbMATH — the first resource for mathematics

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

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 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é, Francisco J.
1 Anson, Ed
1 Appelbe, William F.
1 Arsac, Jacques J.
1 Arvind, D. K.
1 Arvind, Kim P. Gostelow
1 Arvind, M. T.
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 Bochmann, Gregor V.
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.
...and 183 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription