| 1979 | A Characterization of Abstract Data as Model-Theoretic Invariants. Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli |
| 1979 | A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. Faith E. Fich, Janusz A. Brzozowski |
| 1979 | A Comparison Between Two Variations of a Pebble Game on Graphs. Friedhelm Meyer auf der Heide |
| 1979 | A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs. Sorin Istrail |
| 1979 | A Formal Semantics for Concurrent Systems. M. W. Shields, Peter E. Lauer |
| 1979 | A Generalization of Ginsburg and Rose's Characterization of G-S-M Mappings. Christian Choffrut |
| 1979 | A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers. Esko Ukkonen |
| 1979 | A Rational Theory of AFLS. Jonathan Goldstine |
| 1979 | A String Matching Algorithm Fast on the Average. Beate Commentz-Walter |
| 1979 | A Systematic Approach to Formal Language Theory Through Parallel Rewriting. Grzegorz Rozenberg |
| 1979 | A Unique Termination Theorem for a Theory with Generalised Commutative Axioms. Hans-Josef Jeanrond |
| 1979 | An Aximatic Treatment of Algol 68 Routines. Richard L. Schwartz |
| 1979 | Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report). Armin B. Cremers, Thomas N. Hibbard |
| 1979 | Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings Hermann A. Maurer |
| 1979 | Bracketed Two-Level Grammars - A Decidable and Practical Approach to Language Definitions. Lutz M. Wegner |
| 1979 | Con Constructing LL(k) Parsers. Seppo Sippu, Eljas Soisalon-Soininen |
| 1979 | Constructing Call-by-Value Continuation Semantics. Ravi Sethi, Adrian Tang |
| 1979 | DAGs and Chomsky Hierarchy (Extended Abstract). Tsutomu Kamimura, Giora Slutzki |
| 1979 | Existential Quantifiers in Abstract Data Types. Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing |
| 1979 | Extending the Notion of Finite Index. Grzegorz Rozenberg, Dirk Vermeir |
| 1979 | Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé |
| 1979 | Hierarchic Index Sequential Search with Optimal Variable Block Size and Its Minimal Expected Number of Comparisons. Wolfgang Janko |
| 1979 | Inherent Ambiguities in Families of Grammars (Extended Abstract). Meera Blattner |
| 1979 | Investigating Programs in Terms of Partial Graphs. Gunther Schmidt |
| 1979 | LL(k) Parsing for Attributed Grammars. D. R. Milton, Charles N. Fischer |
| 1979 | Languages of Nilpotent and Solvable Groups (Extended Abstract). Denis Thérien |
| 1979 | More on Advice on Structuring Compilers and Proving Them Correct. James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1979 | On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space. Burkhard Monien, Ivan Hal Sudborough |
| 1979 | On Reductions of Parallel Programs. Wolfgang Kowalk, Rüdiger Valk |
| 1979 | On the Average Stack Size of Regularly Distributed Binary Trees. Rainer Kemp |
| 1979 | On the Complexity of General Context-Free Language Parsing and Recognition (Extended Abstract). Walter L. Ruzzo |
| 1979 | On the Height of Derivation Trees. Werner Kuich, Helmut Prodinger, Friedrich J. Urbanek |
| 1979 | On the Homomorphic Characterizations of Families of Languages. Karel Culík II |
| 1979 | On the Power of Random Access Machines. Arnold Schönhage |
| 1979 | On the Succintness of Different Representations of Languages. Juris Hartmanis |
| 1979 | One Abstract Accepting Algorithm for all Kinds of Parsers. Peter Deussen |
| 1979 | Optimal Decomposition of Linear Automata. László Úry |
| 1979 | P-Selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP. Alan L. Selman |
| 1979 | Partitioned LL(k) Grammars. Dietmar Friede |
| 1979 | Proving termination with Multiset Orderings. Nachum Dershowitz, Zohar Manna |
| 1979 | Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract). Richard M. Karp |
| 1979 | Recursion Schemes and Generalized Interpretations (Extended Abstract). Jean H. Gallier |
| 1979 | Representing Complexity Classes by Equality Sets (Preliminary Report). Ronald V. Book, Franz-Josef Brandenburg |
| 1979 | Sharing in Nondeterminism. Egidio Astesiano, Gerardo Costa |
| 1979 | Space-Time Tradeoffs for Oblivious Interger Multiplications. John E. Savage, Sowmitri Swamy |
| 1979 | Strict Deterministic Languages and Controlled Rewriting Systems. Laurent Chottin |
| 1979 | Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version). Anton Nijholt |
| 1979 | Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. Arthur G. Duncan, Lawrence Yelowitz |
| 1979 | Supercounter Machines. Burchard von Braunmühl, Eckehart Hotzel |
| 1979 | Sur les mots sans carré définis par un morphisme. Jean Berstel |
| 1979 | The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract). Christos H. Papadimitriou, Mihalis Yannakakis |
| 1979 | The Modal Logic of Programs. Zohar Manna, Amir Pnueli |
| 1979 | Two Level Grammars: CF-Grammars with Equation Schemes. Piotr Dembinski, Jan Maluszynski |
| 1979 | Unique Fixed Points v. Least Fixed Points. Jerzy Tiuryn |