| 1980 | A "Fast Implementation" of a Multidimensional Storage into a Tree Storage. Rüdiger Reischuk |
| 1980 | A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. Jan A. Bergstra, John V. Tucker |
| 1980 | A Constructive Approach to Compiler Correctness. Peter D. Mosses |
| 1980 | A Note on Sweeping Automata. Piotr Berman |
| 1980 | A Representation Theorem for Models of *-Free PDL. Dexter Kozen |
| 1980 | A Shifting Algorithm for Min-Max Tree Partitioning. Ronald I. Becker, Yehoshua Perl, Stephen R. Schach |
| 1980 | A Theory of Nondeterminism. Richard Kennaway, C. A. R. Hoare |
| 1980 | A Transaction Model. Jim Gray |
| 1980 | A Worst-Case Analysis of Nearest Neighbor Searching by Projection. Christos H. Papadimitriou, Jon Louis Bentley |
| 1980 | Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz |
| 1980 | An Almost Linaer Time Algorithm for Computing a Dependency Basis in a Relational Data Base. Zvi Galil |
| 1980 | An Improved Program for Constructing Open Hash Tables. Jeanette P. Schmidt, Eli Shamir |
| 1980 | Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings J. W. de Bakker, Jan van Leeuwen |
| 1980 | Bipolar Synchronization Systems. Hartmann J. Genrich, P. S. Thiagarajan |
| 1980 | Border Rank of a pxqx2 Tensor and the Optimal Approximation od a Pair of Bilinear Forms. Dario Bini |
| 1980 | Characterizations of the LL(k) Property. Seppo Sippu, Eljas Soisalon-Soininen |
| 1980 | Characterizing Correctness Properties of Parallel Programs Using Fixpoints. E. Allen Emerson, Edmund M. Clarke |
| 1980 | Computability in Categories. Michael B. Smyth |
| 1980 | Cryptocomplexity and NP-Completeness. Shimon Even, Yacov Yacobi |
| 1980 | DOS Systems and Languages. Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 1980 | Derivations et Redutions dans les Grammaires Algebriques. Luc Boasson |
| 1980 | Formal Properties of One-Visit and Multi-Pass Attribute Grammars. Joost Engelfriet, Gilberto Filé |
| 1980 | Functions Equivalent to Integer Multiplication. Helmut Alt |
| 1980 | Generating and Searching Sets Induced by Networks. Greg N. Frederickson, Donald B. Johnson |
| 1980 | Grammatical Families. Arto Salomaa |
| 1980 | How to Get Rid of Pseudoterminals. Werner Ainhirn |
| 1980 | Languages with Homomorphic Replacements. Jürgen Albert, Lutz M. Wegner |
| 1980 | Languages with Reducing Reflective Types. Egidio Astesiano, Gerardo Costa |
| 1980 | Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. Johann A. Makowsky |
| 1980 | On Observing Nondeterminism and Concurrency. Matthew Hennessy, Robin Milner |
| 1980 | On Some Properties of Local Testability. Aldo de Luca, Antonio Restivo |
| 1980 | On the Analysis of Tree-Matching Algorithms. Philippe Flajolet, Jean-Marc Steyaert |
| 1980 | On the Optimal Assignment of Attributes to Passes in Multi-Pass Attribute Evaluators. Kari-Jouko Räihä, Esko Ukkonen |
| 1980 | On the Power of Commutativity in Cryptography. Adi Shamir |
| 1980 | On the Power of Real-Time Machines Under Varying Specifications (Extended Abstract). Paul M. B. Vitányi |
| 1980 | On the Size Complexity of Monotone Formulas. Marc Snir |
| 1980 | Optimal Unbounded Search Strategies. Jean-Claude Raoult, Jean Vuillemin |
| 1980 | Parameterized Data Types in Algebraic Specification Languages (Short Version). Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1980 | Partitioned Chain Grammars. Peter Schlichtiger |
| 1980 | Pebbling Moutain Ranges and its Application of DCFL-Recognition. Kurt Mehlhorn |
| 1980 | Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. Hans Langmaack, Ernst-Rüdiger Olderog |
| 1980 | Proprietes syntactiques du produit non ambigu. Jean-Eric Pin |
| 1980 | Reversible Computing. Tommaso Toffoli |
| 1980 | Semantic Analysis of Communicating Sequential Processes (Shortened Version). Patrick Cousot, Radhia Cousot |
| 1980 | Semantics of Unbounded Nondeterminism. Ralph-Johan Back |
| 1980 | Semantics: Algebras, Fixed Points, Axioms. Mila E. Majster-Cederbaum |
| 1980 | Space-Restricted Attribute Grammars. Erik Meineche Schmidt |
| 1980 | Symmetric Space-Bounded Computation (Extended Abstract). Harry R. Lewis, Christos H. Papadimitriou |
| 1980 | Terminal Algebra Semantics and Retractions for Abstract Data Types. Günter Hornung, Peter Raulefs |
| 1980 | Test Sets for Homomorphism Equivalence on Context Free Languages. Jürgen Albert, Karel Culík II |
| 1980 | Testing of Properties of Finite Algebras. A. Goralciková, Pavel Goralcik, Václav Koubek |
| 1980 | The Complexity of Semilinear Sets. Thiet-Dung Huynh |
| 1980 | The Complexity of the Inequivalence Problem for Regular Expressions with Intersection. Martin Fürer |
| 1980 | The Use of Metasystem Transition in Theorem Proving and Program Optimization. Valentin F. Turchin |