ACM Transactions on Programming Languages and Systems (TOPLAS)

• (1979) TOPLAS 1(1) Jan 1979
  Constable, Robert L. and Donahue, James E. (1979)Constable, Robert L. and Donahue, James E. "A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/CS"
  Dewar, Robert K.; Arthur and Ssu-Cheng Liu; and Sc (1979)Dewar, Robert K.; Arthur and Ssu-Cheng Liu; and Schwartz, Jacob T. and Schonberg, Edmond "Programming by Refinement, as Exemplified by the SETL Representation Sublanguage"
• (1979) TOPLAS 1(2) Oct 1979
  Perrott, R.H. (1979)Perrott, R.H. "A Language for Array and Vector Processors,"
• (1980) TOPLAS 2(1) January 1980
  Harel, David (1980)Harel, David "And/Or Programs: A New Approach to Structured Programming"
• (1980) TOPLAS 2(2) April 1980
  Griswold, Ralph E. and Hanson, David R. (1980)Griswold, Ralph E. and Hanson, David R. "An Alternative to the Use of Patterns in String Processing"
• (1980) TOPLAS 2(3) July 1980
  Apt, Krzysztof R.; de Roever Nissim and Willem P. (1980)Apt, Krzysztof R.; de Roever Nissim and Willem P. "A Proof System for Communicating Sequential Processes"
  Casanova, Marco R. and Bernstein, Phillip A. (1980)Casanova, Marco R. and Bernstein, Phillip A. "A Formal System for Reasoning about Programs Accessing a Relational Database" pp386-414
• (1980) TOPLAS 2(4) October 1980
  Ernst, George W.; Ogden; William F. (1980)Ernst, George W.; Ogden; William F. "Specification of Abstract Data Types in Modula"
  Landwehr, Carl E. (1980)Landwehr, Carl E. "n Abstract Type for Statistics Collection in Simula"
• (1981) TOPLAS 3(1) January 1981
  Steensgaard-Madsen, J. (1981)Steensgaard-Madsen, J. " Statement-Oriented Approach to Data Abstraction" pp1-10
• (1981) TOPLAS 3(2) April 1981
  Griswold, Ralph E.; Hanson, David R.; Korb, John T (1981)Griswold, Ralph E.; Hanson, David R.; Korb, John T. "Generators in Icon"
• (1981) TOPLAS 3(3) July 1981
  Rem, Martin (1981)Rem, Martin "Associons: A Program Notation with Tuples Instead of Variables" pp251-262
• (1981) TOPLAS 3(4) Oct 1981
  Andrews, G.R. (1981)Andrews, G.R. "Synchronizing resources" pp405-430
  Borning, Alan (1981)Borning, Alan "The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory"
• (1982) TOPLAS 4(1) January 1982
  Feather, M.S. (1982)Feather, M.S. "A System for Assisting Program Transformation"
  McGraw, James R. (1982)McGraw, James R. "The VAL language: description and analysis"
• (1982) TOPLAS 4(2) April 1982
  Holt, R. C., J. R. Cordy, et al. (1982)Holt, R. C., J. R. Cordy, et al. "An Introduction to S/SL: Syntax/Semantic Language."
  Wetherell, C. S. (1982)Wetherell, C. S. "Error Data Values in the Data-Flow Language VAL."
• (1982) TOPLAS 4(4) October 1982
  Griswold,Ralph E. (1982)Griswold,Ralph E. "The Evaluation of Expressions in Icon"
  Holt, Richard C.; Wortman, David B. (1982)Holt, Richard C.; Wortman, David B. "A Model for Implementing EUCLID Modules and Prototypes" pp552-562
• (1983) TOPLAS 5(1) January 1983
  Freudenberger, Stefan M.; Schwartz, Jacob T.; and (1983)Freudenberger, Stefan M.; Schwartz, Jacob T.; and Micha Sharir "Experience with the SETL Optimizer" pp26-45
• (1983) TOPLAS 5(2) April 1983
• (1983) TOPLAS 5(3) July 1983
  Liskov, B. et al (1983)Liskov, B. et al "Guardians and Actions: Linguistic Support for Robust, Distributed Programs"
• (1983) TOPLAS 5(4) October 1983
• (1984) TOPLAS 6(1) January 1984
• (1984) TOPLAS 6(2) April 1984
• (1984) TOPLAS 6(3) July 1984
• TOPLAS 6(4) October 1984 Lecture Notes in compute (1984) TOPLAS 6(4) October 1984 Lecture Notes in computer science Vol. 174
  Dencker, Peter; Dürre, Karl; Heuft, Johannes (1984)Dencker, Peter; Dürre, Karl; Heuft, Johannes "Optimization of parser tables for portable compilers" pp546-572
  Turini, Franco (1984)Turini, Franco "Magma2: A Language Oriented Toward Experiments in Control" 468-486
• (1985) TOPLAS 7(1) January 1985
  Bates, Joseph L. and Constable, Robert L. (1985)Bates, Joseph L. and Constable, Robert L. "Proofs as programs"
  Gelernter, D. (1985)Gelernter, D. "Generative Communication in Linda"
• TOPLAS 7(2) April 1985 Lecture Notes in computer (1985) TOPLAS 7(2) April 1985 Lecture Notes in computer science Vol. 174
  Milne, G.J. (1985)Milne, G.J. "CIRCAL and the Representation of Communication, Concurrency and Time", pp270-298
• (1985) TOPLAS 7(3) July 1985
• (1985) TOPLAS 7(4) October 1985
  Atkinson, Malcolm P. Morrison, Ronald (1985)Atkinson, Malcolm P. Morrison, Ronald "Procedures as persistent data objects"
  Halstead, Robert H. Jr., (1985)Halstead, Robert H. Jr., "MULTILISP: a language for concurrent symbolic computation"
• (1986) TOPLAS 8(1) January 1986 The MIT Press scientific computation series
  Clark , Keith and Gregory, Steve (1986)Clark , Keith and Gregory, Steve "PARLOG: parallel programming in logic"
• (1986) TOPLAS 8(2) April 1986
  Spooner, C. R. (1986)Spooner, C. R. "The ML approach to the readable all-purpose language" pp215-243
• (1986) TOPLAS 8(3) Jun 1986 The MIT Press scientific computation series
• (1986) TOPLAS 8(4) Aug 1986
• (1987) TOPLAS 9(1) January 1987
• (1987) TOPLAS 9(2) March 1987
• (1987) TOPLAS 9(3) July 1987
• (1987) TOPLAS 9(4) October 1987
• (1988) TOPLAS 10(1) January 1988
• (1988) TOPLAS 10(2) April 1988
• (1988) TOPLAS 10(3) July 1988
• (1988) TOPLAS 10(4) October 1988
• (1989) TOPLAS 11(1) January 1989
• (1989) TOPLAS 11(2) April 1989
  Cameron, Robert D. (1989)Cameron, Robert D. "Efficient high-level iteration with accumulators"
• (1989) TOPLAS 11(3) July 1989
• (1989) TOPLAS 11(4) October 1989
• (1990) TOPLAS 12(1) January 1990
• (1990) TOPLAS 12(2) April 1990
• (1990) TOPLAS 12(3) July 1990
• (1990) TOPLAS 12(4) October 1990
  Dewan, Prasun AND Solomon, Marvin (1990)Dewan, Prasun AND Solomon, Marvin "An approach to support automatic generation of user interfaces"
• (1991) TOPLAS 13(1) January 1991
• (1991) TOPLAS 13(2) April 1991
• (1991) TOPLAS 13(3) July 1991
• (1991) TOPLAS 13(4) October 1991
• (1992) TOPLAS 14(1) January 1992
• (1992) TOPLAS 14(2) April 1992
• (1992) TOPLAS 14(3) July 1992
  Jaffar, Joxan; Michaylov, Spiro; Stuckey, Peter J. (1992)Jaffar, Joxan; Michaylov, Spiro; Stuckey, Peter J.; Yap, Roland H. C. "The CLP( R ) language and system"
• (1992) TOPLAS 14(4) October 1992
  Muller, Robert (1992)Muller, Robert "M-LISP: a representation-independent dialect of LISP with reduction semantics"
• (1993) TOPLAS 15(1) January 1993
• (1993) TOPLAS 15(2) April 1993
• (1993) TOPLAS 15(3) July 1993
  Richardson, Joel E.; Carey, Michael J.; Schuh, Dan (1993)Richardson, Joel E.; Carey, Michael J.; Schuh, Daniel T. "The design of the E programming language" pp494-534
• (1993) TOPLAS 15(4) September 1993
• (1993) TOPLAS 15(5) November 1993
• (1994) TOPLAS 16(1) January 1994
• (1994) TOPLAS 16(2) March 1994
• (1994) TOPLAS 16(3) May 1994
• (1994) TOPLAS 16(4) July 1994
• (1994) TOPLAS 16(5) September 1994
• (1994) TOPLAS 16(6) November 1994
• (1995) TOPLAS 17(1) January 1995
• (1995) TOPLAS 17(2) March 1995
• (1995) TOPLAS 17(3) May 1995
• (1995) TOPLAS 17(4) July 1995
• (1995) TOPLAS 17(5) September 1995
• (1995) TOPLAS 17(6) November 1995
• (1996) TOPLAS 18(1) January 1996
• (1996) TOPLAS 18(2) March 1996
• (1996) TOPLAS 18(3) May 1996
• (1996) TOPLAS 18(4) July 1996
• (1996) TOPLAS 18(5) September 1996
• (1996) TOPLAS 18(6) November 1996
• (1997) TOPLAS 19(1) January 1997
• (1997) TOPLAS 19(2) March 1997
• (1997) TOPLAS 19(3) May 1997
• (1997) TOPLAS 19(4) July 1997
• (1997) TOPLAS 19(5) September 1997
• (1997) TOPLAS 19(6) November 1997
• (1998) TOPLAS 20(1) January 1998
• (1998) TOPLAS 20(2) March 1998
• (1998) TOPLAS 20(3) May 1998
  Rinard, Martin C.; Lam, Monica S. (1998)Rinard, Martin C.; Lam, Monica S. "The design, implementation, and evaluation of Jade" pp483-545
• (1998) TOPLAS 20(4) July 1998
  Tofte, Mads and Birkedal, Lars (1998)Tofte, Mads and Birkedal, Lars "A Region Inference Algorithm"
• (1998) TOPLAS 20(5) Sept 1998
  Apt, Krzysztof R.; Brunekreef, Jacob; Partington, (1998)Apt, Krzysztof R.; Brunekreef, Jacob; Partington, Vincent; Schaerf, Andrea "Alma-O: an imperative language that supports declarative programming"
• (1998) TOPLAS 20(6) November 1998
• (1999) TOPLAS 21(1) January 1999
• (1999) TOPLAS 21(2) March 1999
• (1999) TOPLAS 21(3) May 1999
• (1999) TOPLAS 21(4) July 1999
• (1999) TOPLAS 21(5) September 1999
• (1999) TOPLAS 21(6) November 1999
• (2000) TOPLAS 22(1) January 2000
• (2000) TOPLAS 22(2) March 2000
• (2000) TOPLAS 22(3) May 2000
• (2000) TOPLAS 22(4) July 2000
• (2000) TOPLAS 22(5) September 2000
• (2000) TOPLAS 22(6) November 2000
• (2001) TOPLAS 23(1) January 2001
• (2001) TOPLAS 23(2) March 2001
• (2001) TOPLAS 23(3) May 2001
• (2001) TOPLAS 23(4) July 2001
• (2001) TOPLAS 23(5) September 2001
• (2001) TOPLAS 23(6) November 2001
• (2002) TOPLAS 24(1) January 2002
• (2002) TOPLAS 24(2) March 2002
• (2002) TOPLAS 24(3) May 2002
• (2002) TOPLAS 24(4) July 2002
• (2002) TOPLAS 24(5) September 2002
• (2002) TOPLAS 24(6) November 2002
• (2003) TOPLAS 25(1) January 2003
• (2003) TOPLAS 25(2) March 2003
• (2003) TOPLAS 25(3) May 2003