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 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 Anson, Ed 1 Appelbe, William F. 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 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 Alan 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 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. 1 Feather, Martin S. 1 Ferrante, Jeanne 1 Fischer, Charles N. 1 Foulk, Clinton R. ...and 174 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 all cited Publications top 5 cited Publications Citations contained in zbMATH Open 156 Publications have been cited 2,352 times in 2,330 Documents Cited by ▼ Year ▼ Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027Clarke, E. M.; Emerson, E. A.; Sistla, A. P. 256 1986 The Byzantine generals problem. Zbl 0483.68021Lamport, Leslie; Shostak, Robert; Pease, Marshall 189 1982 An efficient unification algorithm. Zbl 0478.68093Martelli, Alberto; Montanari, Ugo 143 1982 Simplification by cooperating decision procedures. Zbl 0452.68013Nelson, Greg; Oppen, Derek C. 131 1979 Ten years of Hoare’s logic: A survey - Part 1. Zbl 0471.68006Apt, Krzysztof R. 93 1981 A distributed algorithm for minimum-weight spanning trees. Zbl 0498.68040Gallager, R. G.; Humblet, P. A.; Spira, P. M. 81 1983 Generative communication in Linda. Zbl 0559.68030Gelernter, David 72 1985 Proving liveness properties of concurrent programs. Zbl 0483.68013Owicki, Susan; Lamport, Leslie 63 1982 A proof system for communicating sequential processes. Zbl 0468.68023Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P. 54 1980 Tentative steps toward a development method for interfering programs. Zbl 0517.68032Jones, C. B. 53 1983 A deductive approach to program synthesis. Zbl 0468.68009Manna, Zohar; Waldinger, Richard 41 1980 On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040Peterson, Gary L. 40 1982 Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030Manna, Zohar; Wolper, Pierre 39 1984 Ultracomputers. Zbl 0468.68027Schwartz, J. T. 38 1980 The program dependence graph and its use in optimization. Zbl 0623.68012Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D. 37 1987 Specifying concurrent program modules. Zbl 0516.68010Lamport, Leslie 37 1983 Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 35 1982 The specification statement. Zbl 0825.68302Morgan, Carroll 34 1988 PARLOG: Parallel programming in logic. Zbl 0592.68016Clark, Keith; Gregory, Steve 33 1986 A fast algorithm for finding dominators in a flowgraph. Zbl 0449.68024Lengauer, Thomas; Tarjan, Robert Endre 32 1979 The concept of a supercompiler. Zbl 0598.68016Turchin, Valentin F. 31 1986 Termination of probabilistic concurrent programs. Zbl 0511.68009Hart, Sergiu; Sharir, Micha; Pnueli, Amir 30 1983 Multilisp: A language for concurrent symbolic computation. Zbl 0581.68037Halstead, Robert H. jun. 29 1985 Distributed cooperation with action systems. Zbl 0663.68028Back, R. J. R.; Kurki-Suonio, R. 23 1988 Automatic translation of FORTRAN programs to vector form. Zbl 0631.68019Allen, Randy; Kennedy, Ken 18 1987 CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017Milne, George J. 18 1985 Programming with equations. Zbl 0481.68008Hoffmann, Christoph M.; O’Donnell, Michael J. 18 1982 Efficient computation of LALR(1) look-ahead sets. Zbl 0489.68074DeRemer, Frank; Pennello, Thomas 18 1982 Optimal parallel generation of a computation tree form. Zbl 0564.68037Bar-on, Ilan; Vishkin, Uzi 17 1985 Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017Misra, J. 17 1986 Distributed termination. Zbl 0468.68025Francez, Nissim 17 1980 Parameterized specifications: Parameter passing and imlementation with respect to observability. Zbl 0511.68010Ganzinger, Harald 17 1983 Concurrent reading while writing. Zbl 0498.68010Peterson, Gary L. 16 1983 An effective implementation for the generalized input-output construct of CSP. Zbl 0516.68026Buckley, G. N.; Silberschatz, A. 16 1983 An improved context-free recognizer. Zbl 0461.68084Graham, Susan L.; Harrison, Michael A.; Ruzzo, Walter L. 16 1980 Distributed algorithms for finding centers and medians in networks. Zbl 0543.68051Korach, E.; Rotem, D.; Santoro, N. 14 1984 An axiomatic approach to information flow in programs. Zbl 0468.68034Andrews, Gregory R.; Reitman, Richard P. 13 1980 Finite differencing of computable expressions. Zbl 0484.68009Paige, Robert; Koenig, Shaye 13 1982 Axiomatic semantics of communicating sequential processes. Zbl 0542.68013Soundararajan, N. 12 1984 On the algebraic definition of programming languages. Zbl 0627.68009Broy, Manfred; Wirsing, Martin; Pepper, Peter 12 1987 A new analysis of LALR formalisms. Zbl 0549.68083Park, Joseph C. H.; Choe, K. M.; Chang, C. H. 12 1985 Deriving target code as a representation of continuation semantics. Zbl 0483.68070Wand, Mitchell 12 1982 Finaly data types and their specification. Zbl 0498.68008Kamin, Samuel 12 1983 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017Lamport, Leslie; Schneider, Fred B. 12 1984 The promotion and accumulation strategies in transformational programming. Zbl 0542.68006Bird, R. S. 11 1984 Assignment and procedure call proof rules. Zbl 0468.68006Gries, David; Levin, Gary 11 1980 Verifying temporal properties without temporal logic. Zbl 0676.68003Alpern, Bowen; Schneider, Fred B. 11 1989 Program transformations in a denotational setting. Zbl 0566.68013Nielson, Flemming 10 1985 On the construction of submodule specifications and communication protocols. Zbl 0498.68009Merlin, Philip; Bochmann, Gregor V. 10 1983 Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc 9 1988 Director strings as combinators. Zbl 0669.68013Kennaway, Richard; Sleep, Ronan 9 1988 A distributed graph algorithm: Knot detection. Zbl 0489.68061Misra, J.; Chandy, K. M. 9 1982 A weaker precondition for loops. Zbl 0492.68014Boom, H. J. 9 1982 Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. Zbl 0511.68012Gottlieb, Allan; Lubachevsky, B. D.; Rudolph, Larry 9 1983 Guardians and actions: Linguistic support for robust, distributed programs. Zbl 0512.68027Liskov, Barbara; Scheifler, Robert 9 1983 Proofs as programs. Zbl 0555.68003Bates, Joseph L.; Constable, Robert L. 8 1985 Methods for computing LALR(k) lookahead. Zbl 0454.68100Kristensen, Bent Bruun; Madsen, Ole Lehrmann 8 1981 A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022Lamport, Leslie 8 1979 The multiway rendezvous. Zbl 0623.68024Charlesworth, Arthur 7 1987 A formal approach to Undo operations in programming languages. Zbl 0592.68015Leeman, George B. jun. 7 1986 Proving liveness for networks of communicating finite state machines. Zbl 0593.68016Gouda, Mohamed G.; Chang, Chung-Kuo 7 1986 A system for assisting program transformation. Zbl 0479.68014Feather, Martin S. 7 1982 Writing Larch interface language specifications. Zbl 0627.68014Wing, Jeannette M. 6 1987 Information-flow and data-flow analysis of while-programs. Zbl 0559.68014Bergeretti, Jean-François; Carré, Bernard A. 6 1985 Detecting global variables in denotational specifications. Zbl 0562.68008Schmidt, David A. 6 1985 An example of stepwise refinement of distributed programs: quiescence detection. Zbl 0598.68031Chandy, Mani; Misra, Jayadev 6 1986 A mathematical approach to nondeterminism in data types. Zbl 0825.68330Hesselink, Wim H. 6 1988 Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. Zbl 0471.68007Greif, Irene; Meyer, Albert R. 6 1981 A new solution to Lamport’s concurrent programming problem using small shared variables. Zbl 0498.68011Peterson, Gary L. 6 1983 Postpass code optimization of pipeline constraints. Zbl 0525.68020Hennessy, John; Gross, Thomas 6 1983 Eliminating redundant recursive calls. Zbl 0526.68004Cohen, Norman H. 6 1983 Algorithms for on-the-fly garbage collection. Zbl 0536.68030Ben-Ari, Mordechai 6 1984 A language for array and vector processors. Zbl 0449.68004Perrott, R. H. 6 1979 Verification of array, record, and pointer operations in Pascal. Zbl 0452.68014Luckham, David C.; Suzuki, Norihisa 6 1979 The geometry of semaphore programs. Zbl 0627.68022Carson, Scott D.; Reynolds, Paul F. jun. 5 1987 Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020Loeckx, Jacques 5 1987 Analysis of functional programs to detect run-time garbage cells. Zbl 0663.68021Inoue, Katsuro; Seki, Hiroyuki; Yagi, Hikaru 5 1988 Scheduling expressions on a pipelined processor with a maximal delay of one cycle. Zbl 0666.68028Bernstein, David; Gertner, Izidor 5 1989 Some techniques for recursion removal from recursive functions. Zbl 0547.68009Arsac, J.; Kodratoff, Y. 5 1982 Side effects and aliasing can have simple axiomatic descriptions. Zbl 0575.68011Boehm, Hans-Juergen 5 1985 Correctnss proofs of distributed termination algorithms. Zbl 0599.68017Apt, Krzysztof R. 5 1986 R for semantics. Zbl 0478.68083Ashcroft, E. A.; Wadge, W. W. 5 1982 On the development of the algebra of functional programs. Zbl 0492.68018Williams, John H. 5 1982 The type theory of PL/CV3. Zbl 0522.68020Constable, Robert L.; Zlatin, Daniel R. 5 1984 Real-time synchronization of interprocess communications. Zbl 0536.68021Reif, John H.; Spirakis, Paul G. 5 1984 Translation of attribute grammars into procedures. Zbl 0554.68014Katayama, Takuya 4 1984 Toward compiler implementation correctness proofs. Zbl 0591.68014Chirica, Laurian M.; Martin, David F. 4 1986 Proving systolic systems correct. Zbl 0598.68030Hennessy, Matthew 4 1986 Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025Misra, Jayadev; Chandy, K. M. 4 1982 Some observations concerning formal differentiation of set theoretic expressions. Zbl 0481.68005Sharir, Micha 4 1982 Assessing test data adequacy through program inference. Zbl 0517.68031Weyuker, Elaine J. 4 1983 Control flow aspects of semantics-directed compiling. Zbl 0517.68046Sethi, Ravi 4 1983 Parallel generation of postfix and tree forms. Zbl 0525.68017Dekel, Eliezer; Sahni, Sartaj 4 1983 Annotations to control parallelism and reduction order in the distributed evaluation of functional programs. Zbl 0536.68022Burton, F. Warren 4 1984 Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023Schlichting, Richard D.; Schneider, Fred B. 4 1984 Noncanonical SLR(1) grammars. Zbl 0449.68045Tai, Kuo-Chung 4 1979 Incremental parsing. Zbl 0449.68046Ghezzi, Carlo; Mandrioli, Dino 4 1979 An automatic technique for selection of data representations in SETL programs. Zbl 0452.68010Schonberg, Edmond; Schwartz, Jacob T.; Sharir, Micha 4 1981 Programming by refinement, as exemplified by the SETL representation sublanguage. Zbl 0463.68014Dewar, Robert B. K.; Grand, Arthur; Liu, Ssu-Cheng; Schwartz, Jacob T.; Schonberg, Edmond 4 1979 Embedding continuations in procedural objects. Zbl 0631.68006Haynes, Christopher T.; Friedman, Daniel P. 3 1987 Verifying temporal properties without temporal logic. Zbl 0676.68003Alpern, Bowen; Schneider, Fred B. 11 1989 Scheduling expressions on a pipelined processor with a maximal delay of one cycle. Zbl 0666.68028Bernstein, David; Gertner, Izidor 5 1989 Typed representation of objects by functions. Zbl 0669.68014Steensgaard-Madsen, J. 3 1989 The specification statement. Zbl 0825.68302Morgan, Carroll 34 1988 Distributed cooperation with action systems. Zbl 0663.68028Back, R. J. R.; Kurki-Suonio, R. 23 1988 Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc 9 1988 Director strings as combinators. Zbl 0669.68013Kennaway, Richard; Sleep, Ronan 9 1988 A mathematical approach to nondeterminism in data types. Zbl 0825.68330Hesselink, Wim H. 6 1988 Analysis of functional programs to detect run-time garbage cells. Zbl 0663.68021Inoue, Katsuro; Seki, Hiroyuki; Yagi, Hikaru 5 1988 A solution to a problem with Morel and Revoise’s “Global optimization by suppression of partial redundancies”. Zbl 0663.68026Drechsler, Karl-Heinz; Stadel, Manfred P. 2 1988 Type extensions. Zbl 0664.68024Wirth, N. 2 1988 A note on the drinking philosophers problem. Zbl 0652.68022Murphy, Sandra L.; Shankar, A. Udaya 1 1988 The program dependence graph and its use in optimization. Zbl 0623.68012Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D. 37 1987 Automatic translation of FORTRAN programs to vector form. Zbl 0631.68019Allen, Randy; Kennedy, Ken 18 1987 On the algebraic definition of programming languages. Zbl 0627.68009Broy, Manfred; Wirsing, Martin; Pepper, Peter 12 1987 The multiway rendezvous. Zbl 0623.68024Charlesworth, Arthur 7 1987 Writing Larch interface language specifications. Zbl 0627.68014Wing, Jeannette M. 6 1987 The geometry of semaphore programs. Zbl 0627.68022Carson, Scott D.; Reynolds, Paul F. jun. 5 1987 Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020Loeckx, Jacques 5 1987 Embedding continuations in procedural objects. Zbl 0631.68006Haynes, Christopher T.; Friedman, Daniel P. 3 1987 An axiomatic treatment of exception handling in an expression-oriented language. Zbl 0623.68010Yemini, Shaula; Berry, Daniel M. 1 1987 A methodology for snythesis of recursive functional programs. Zbl 0623.68013Banerjee, Debasish 1 1987 Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005Reps, Thomas; Demers, Alan 1 1987 Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027Clarke, E. M.; Emerson, E. A.; Sistla, A. P. 256 1986 PARLOG: Parallel programming in logic. Zbl 0592.68016Clark, Keith; Gregory, Steve 33 1986 The concept of a supercompiler. Zbl 0598.68016Turchin, Valentin F. 31 1986 Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017Misra, J. 17 1986 A formal approach to Undo operations in programming languages. Zbl 0592.68015Leeman, George B. jun. 7 1986 Proving liveness for networks of communicating finite state machines. Zbl 0593.68016Gouda, Mohamed G.; Chang, Chung-Kuo 7 1986 An example of stepwise refinement of distributed programs: quiescence detection. Zbl 0598.68031Chandy, Mani; Misra, Jayadev 6 1986 Correctnss proofs of distributed termination algorithms. Zbl 0599.68017Apt, Krzysztof R. 5 1986 Toward compiler implementation correctness proofs. Zbl 0591.68014Chirica, Laurian M.; Martin, David F. 4 1986 Proving systolic systems correct. Zbl 0598.68030Hennessy, Matthew 4 1986 Efficient demand-driven evaluation. II. Zbl 0596.68024Pingali, Keshav; Arvind 2 1986 Generative communication in Linda. Zbl 0559.68030Gelernter, David 72 1985 Multilisp: A language for concurrent symbolic computation. Zbl 0581.68037Halstead, Robert H. jun. 29 1985 CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017Milne, George J. 18 1985 Optimal parallel generation of a computation tree form. Zbl 0564.68037Bar-on, Ilan; Vishkin, Uzi 17 1985 A new analysis of LALR formalisms. Zbl 0549.68083Park, Joseph C. H.; Choe, K. M.; Chang, C. H. 12 1985 Program transformations in a denotational setting. Zbl 0566.68013Nielson, Flemming 10 1985 Proofs as programs. Zbl 0555.68003Bates, Joseph L.; Constable, Robert L. 8 1985 Information-flow and data-flow analysis of while-programs. Zbl 0559.68014Bergeretti, Jean-François; Carré, Bernard A. 6 1985 Detecting global variables in denotational specifications. Zbl 0562.68008Schmidt, David A. 6 1985 Side effects and aliasing can have simple axiomatic descriptions. Zbl 0575.68011Boehm, Hans-Juergen 5 1985 Optimal prepaging and font caching. Zbl 0559.68047Fuchs, David R.; Knuth, Donald E. 3 1985 Generalizing specifications for uniformly implemented loops. Zbl 0559.68003Dunlop, Douglas D.; Basili, Victor R. 2 1985 The denotational semantics of dynamic networks of processes. Zbl 0577.68041De Bruin, Arie; Böhm, Wim 2 1985 Editing by example. Zbl 0578.68081Nix, Robert P. 2 1985 Noncorrecting syntax error recovery. Zbl 0604.68099Richter, Helmut 2 1985 Efficient demand-driven evaluation. I. Zbl 0562.68006Pingali, Keshav; Arvind 1 1985 Data types are values. Zbl 0566.68016Donahue, James; Demers, Alan 1 1985 Symmetric intertask communication. Zbl 0575.68024Francez, Nissim; Yemini, Shaula A. 1 1985 Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030Manna, Zohar; Wolper, Pierre 39 1984 Distributed algorithms for finding centers and medians in networks. Zbl 0543.68051Korach, E.; Rotem, D.; Santoro, N. 14 1984 Axiomatic semantics of communicating sequential processes. Zbl 0542.68013Soundararajan, N. 12 1984 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017Lamport, Leslie; Schneider, Fred B. 12 1984 The promotion and accumulation strategies in transformational programming. Zbl 0542.68006Bird, R. S. 11 1984 Algorithms for on-the-fly garbage collection. Zbl 0536.68030Ben-Ari, Mordechai 6 1984 The type theory of PL/CV3. Zbl 0522.68020Constable, Robert L.; Zlatin, Daniel R. 5 1984 Real-time synchronization of interprocess communications. Zbl 0536.68021Reif, John H.; Spirakis, Paul G. 5 1984 Translation of attribute grammars into procedures. Zbl 0554.68014Katayama, Takuya 4 1984 Annotations to control parallelism and reduction order in the distributed evaluation of functional programs. Zbl 0536.68022Burton, F. Warren 4 1984 Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023Schlichting, Richard D.; Schneider, Fred B. 4 1984 Modeling the distributed termination convention of CSP. Zbl 0536.68018Apt, Krzysztof R.; Francez, Nissim 3 1984 Selective and locally controlled transport of privileges. Zbl 0547.68033Minsky, Naftaly H. 1 1984 Transformations and reduction strategies for typed lambda expressions. Zbl 0555.68007Georgeff, Michael 1 1984 Recursion as an effective step in program development. Zbl 0522.68016Colussi, L. 1 1984 Proving failure-free properties of concurrent systems using temporal logic. Zbl 0536.68015Karp, Richard Alan 1 1984 An APL compiler for a vector processor. Zbl 0536.68028Budd, Timothy A. 1 1984 A distributed algorithm for minimum-weight spanning trees. Zbl 0498.68040Gallager, R. G.; Humblet, P. A.; Spira, P. M. 81 1983 Tentative steps toward a development method for interfering programs. Zbl 0517.68032Jones, C. B. 53 1983 Specifying concurrent program modules. Zbl 0516.68010Lamport, Leslie 37 1983 Termination of probabilistic concurrent programs. Zbl 0511.68009Hart, Sergiu; Sharir, Micha; Pnueli, Amir 30 1983 Parameterized specifications: Parameter passing and imlementation with respect to observability. Zbl 0511.68010Ganzinger, Harald 17 1983 Concurrent reading while writing. Zbl 0498.68010Peterson, Gary L. 16 1983 An effective implementation for the generalized input-output construct of CSP. Zbl 0516.68026Buckley, G. N.; Silberschatz, A. 16 1983 Finaly data types and their specification. Zbl 0498.68008Kamin, Samuel 12 1983 On the construction of submodule specifications and communication protocols. Zbl 0498.68009Merlin, Philip; Bochmann, Gregor V. 10 1983 Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. Zbl 0511.68012Gottlieb, Allan; Lubachevsky, B. D.; Rudolph, Larry 9 1983 Guardians and actions: Linguistic support for robust, distributed programs. Zbl 0512.68027Liskov, Barbara; Scheifler, Robert 9 1983 A new solution to Lamport’s concurrent programming problem using small shared variables. Zbl 0498.68011Peterson, Gary L. 6 1983 Postpass code optimization of pipeline constraints. Zbl 0525.68020Hennessy, John; Gross, Thomas 6 1983 Eliminating redundant recursive calls. Zbl 0526.68004Cohen, Norman H. 6 1983 Assessing test data adequacy through program inference. Zbl 0517.68031Weyuker, Elaine J. 4 1983 Control flow aspects of semantics-directed compiling. Zbl 0517.68046Sethi, Ravi 4 1983 Parallel generation of postfix and tree forms. Zbl 0525.68017Dekel, Eliezer; Sahni, Sartaj 4 1983 A syntax-error-handling technique and its experimental analysis. Zbl 0527.68058Sippu, Seppo; Soisalon-Soininen, Eljas 3 1983 Experience with the SETL optimizer. Zbl 0498.68007Freudenberger, Stefan M.; Schwartz, Jacob T.; Sharir, Micha 2 1983 Correctness proofs of communicating processes: Three illustrative examples from the literature. Zbl 0517.68054Ossefort, Marty 2 1983 Generation of compiler symbol processing mechanisms from specifications. Zbl 0516.68029Reiss, Steven P. 1 1983 A formal framework for the derivation of machine-specific optimizers. Zbl 0526.68024Giegerich, Robert 1 1983 The Byzantine generals problem. Zbl 0483.68021Lamport, Leslie; Shostak, Robert; Pease, Marshall 189 1982 An efficient unification algorithm. Zbl 0478.68093Martelli, Alberto; Montanari, Ugo 143 1982 Proving liveness properties of concurrent programs. Zbl 0483.68013Owicki, Susan; Lamport, Leslie 63 1982 On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040Peterson, Gary L. 40 1982 Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 35 1982 Programming with equations. Zbl 0481.68008Hoffmann, Christoph M.; O’Donnell, Michael J. 18 1982 Efficient computation of LALR(1) look-ahead sets. Zbl 0489.68074DeRemer, Frank; Pennello, Thomas 18 1982 Finite differencing of computable expressions. Zbl 0484.68009Paige, Robert; Koenig, Shaye 13 1982 Deriving target code as a representation of continuation semantics. Zbl 0483.68070Wand, Mitchell 12 1982 ...and 56 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,493 Authors 19 Meseguer Guaita, José 17 Vardi, Moshe Ya’akov 13 Raynal, Michel 12 Bergstra, Jan A. 12 Kupferman, Orna 12 Owe, Olaf 12 Tinelli, Cesare 10 de Boer, Frank S. 10 Hesselink, Wim H. 10 Pnueli, Amir 10 Zavattaro, Gianluigi 9 Baier, Christel 9 Bonacina, Maria Paola 9 Choe, Kwang-Moo 9 De Nicola, Rocco 9 De Schreye, Danny 9 Francez, Nissim 9 Ghilardi, Silvio 9 Grumberg, Orna 9 Halpern, Joseph Yehuda 9 Hayes, Ian J. 9 Johnsen, Einar Broch 9 Pelc, Andrzej 9 Peleg, David 9 Pugliese, Rosario 9 Ranise, Silvio 9 Ringeissen, Christophe 9 Sannella, Donald T. 9 Tarlecki, Andrzej 8 Barrett, Clark W. 8 Clarke, Edmund Melson jun. 8 Fontaine, Pascal 8 Glück, Robert 8 Kwiatkowska, Marta Z. 8 Lynch, Nancy Ann 8 Peled, Doron A. 8 Pettorossi, Alberto 8 Schmidt-Schauß, Manfred 8 Vidal, Germán 7 Busi, Nadia 7 Cohen, Ran 7 Duan, Zhenhua 7 Garay, Juan A. 7 Gorla, Daniele 7 Guerraoui, Rachid 7 Herlihy, Maurice P. 7 Kutten, Shay 7 Masuzawa, Toshimitsu 7 Morgan, Carroll C. 7 Nielson, Flemming 7 Roşu, Grigore 7 Santoro, Nicola 7 Silva, Josep 7 Talcott, Carolyn L. 7 Zhang, Nan 6 Abdulla, Parosh Aziz 6 Apt, Krzysztof Rafal 6 Back, Ralph-Johan 6 Bruttomesso, Roberto 6 Cimatti, Alessandro 6 Colvin, Robert J. 6 Dovland, Johan 6 Georgiadis, Loukas 6 Gnesi, Stefania 6 Gurfinkel, Arie 6 Harman, Mark 6 Hoare, C. A. R. Tony 6 Jamroga, Wojciech 6 Katz, Shmuel 6 Korman, Amos 6 Kryvyi, Serhiĭ L. 6 Lamport, Leslie 6 Neiger, Gil 6 Olderog, Ernst-Rüdiger 6 Penczek, Wojciech 6 Proietti, Maurizio 6 Steffen, Martin 6 Tian, Cong 6 Tucker, John V. 5 Anderson, James H. 5 Baader, Franz 5 Bermudez, Manuel E. 5 Bidoit, Michel 5 Birkedal, Lars 5 Carro, Manuel 5 Clarke, Dave 5 Damiani, Ferruccio 5 Danicic, Sebastian 5 Dezani-Ciancaglini, Mariangiola 5 Dolev, Shlomi 5 Fauconnier, Hugues 5 Fraigniaud, Pierre 5 Gallier, Jean H. 5 Gorrieri, Roberto 5 Harel, David 5 Hennicker, Rolf 5 Henzinger, Thomas A. 5 Hermenegildo, Manuel V. 5 Iranzo, Pascual Julián 5 Italiano, Giuseppe Francesco ...and 3,393 more Authors all top 5 Cited in 177 Journals 373 Theoretical Computer Science 120 Formal Aspects of Computing 119 Information Processing Letters 112 Distributed Computing 100 Information and Computation 83 Acta Informatica 56 Formal Methods in System Design 55 Journal of Computer and System Sciences 50 Journal of Automated Reasoning 48 Journal of Functional Programming 43 Journal of Symbolic Computation 36 MSCS. Mathematical Structures in Computer Science 35 Theory and Practice of Logic Programming 33 International Journal of Parallel Programming 32 Science of Computer Programming 29 The Journal of Logic and Algebraic Programming 26 International Journal of Foundations of Computer Science 26 Higher-Order and Symbolic Computation 25 Artificial Intelligence 22 Algorithmica 21 New Generation Computing 21 Journal of Logical and Algebraic Methods in Programming 19 Information Sciences 18 Annals of Mathematics and Artificial Intelligence 16 Journal of Computer Science and Technology 16 International Journal of Computer Mathematics 14 BIT 12 Cybernetics and Systems Analysis 11 RAIRO. Informatique Théorique et Applications 11 ACM Transactions on Computational Logic 10 Programming and Computer Software 10 Annals of Pure and Applied Logic 10 Journal of Parallel and Distributed Computing 10 Computer Languages, Systems & Structures 9 Automatica 8 Discrete Applied Mathematics 8 Mathematical Systems Theory 8 Journal of Cryptology 8 Theory of Computing Systems 7 Journal of Applied Non-Classical Logics 7 Constraints 6 The Journal of Symbolic Logic 6 Software. Practice & Experience 6 Real-Time Systems 6 Sādhanā 6 Computer Science Review 5 Computing 5 Fuzzy Sets and Systems 5 SIAM Journal on Computing 5 Studia Logica 5 Applicable Algebra in Engineering, Communication and Computing 5 Diagrammes 5 Parallel Algorithms and Applications 5 Logical Methods in Computer Science 4 Computers & Mathematics with Applications 4 International Journal of Theoretical Physics 4 Applied Mathematics and Computation 4 Computers & Operations Research 4 Discrete Event Dynamic Systems 4 The Bulletin of Symbolic Logic 4 European Journal of Control 4 Journal of Combinatorial Optimization 4 Concurrency and Computation: Practice & Experience 4 Journal of Applied Logic 3 International Journal of Control 3 International Journal of Computer & Information Sciences 3 Networks 3 International Journal of Approximate Reasoning 3 Concurrency: Practice and Experience 3 Automation and Remote Control 3 European Journal of Operational Research 3 Journal of Discrete Algorithms 3 Science China. Information Sciences 3 Frontiers of Computer Science 2 ACM Transactions on Mathematical Software 2 Kybernetes 2 Kybernetika 2 Linguistics and Philosophy 2 Notre Dame Journal of Formal Logic 2 SIAM Journal on Control and Optimization 2 Synthese 2 Cybernetics 2 Machine Learning 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 International Journal of Computational Geometry & Applications 2 The Journal of Supercomputing 2 Journal of Mathematical Sciences (New York) 2 Journal of Scheduling 2 Journal of the ACM 2 Wuhan University Journal of Natural Sciences (WUJNS) 2 New Journal of Physics 2 International Journal of Applied Mathematics and Computer Science 2 Fundamenta Informaticae 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Parallel Processing Letters 2 International Journal of Parallel, Emergent and Distributed Systems 2 Algorithms 2 Frontiers of Computer Science in China 1 ACM Computing Surveys 1 Computer Physics Communications ...and 77 more Journals all top 5 Cited in 31 Fields 2,171 Computer science (68-XX) 444 Mathematical logic and foundations (03-XX) 68 Information and communication theory, circuits (94-XX) 57 Combinatorics (05-XX) 57 Operations research, mathematical programming (90-XX) 35 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 Numerical analysis (65-XX) 31 Systems theory; control (93-XX) 23 Category theory; homological algebra (18-XX) 15 General algebraic systems (08-XX) 15 Biology and other natural sciences (92-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 11 Number theory (11-XX) 9 Quantum theory (81-XX) 8 History and biography (01-XX) 8 Probability theory and stochastic processes (60-XX) 5 Group theory and generalizations (20-XX) 3 General and overarching topics; collections (00-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Algebraic topology (55-XX) 3 Statistics (62-XX) 3 Mathematics education (97-XX) 2 Field theory and polynomials (12-XX) 2 Partial differential equations (35-XX) 2 General topology (54-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year