| 1977 | Acceptors for Iteration Languages. | Grzegorz Rozenberg, Dirk Vermeir |
| 1977 | Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages. | Peter Raulefs |
| 1977 | The Medial Axis of a Simple Polygon. | Franco P. Preparata |
| 1977 | Exponential Optimization for the {LLP($k$)} Parsing Method. | Jan Pittl |
| 1977 | On a Deterministic Subclass of Context-Free Languages. | Jan Peckel |
| 1977 | Cover Results and Normal Forms. | Anton Nijholt |
| 1977 | Another Approach for Proving Program Correctness. | Peter A. Ng, Sung Y. Bang |
| 1977 | A Calculus to Build Up Correct Programs. | Pierangelo Miglioli, Mario Ornaghi |
| 1977 | Two-Level Meta-Controlled Substitution Grammars. | Robert Meersman, Grzegorz Rozenberg |
| 1977 | Tree-Structures for Set Manipulation Problems. | Hermann A. Maurer, Thomas Ottmann |
| 1977 | Measures of Ambiguity in the Analysis of Complex Systems. | Aldo de Luca, Settimo Termini |
| 1977 | On the Logic of Incomplete Transformation. | Witold Lipski Jr. |
| 1977 | Two Decidability Results for Deterministic Pushdown Automata. | Matti Linna |
| 1977 | Invariant Properties of Informational Bulks. | Leonid A. Levin, V. V. V'jugin |
| 1977 | Reducing Operators for Normed General Formal Systems. | Manfred Kudlek, Miroslav Novotn |
| 1977 | A Probabilistic Restriction of Branching Plans. | Ivan Kramosil |
| 1977 | A Top-Down No Backtrack Parsing of General Context-Free Languages. | Jaroslav Krl |
| 1977 | Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions. | Ivan Korec |
| 1977 | Schematology in a Multi-Language Optimizer. | Victor N. Kasyanov, Sergei B. Pokrovsky |
| 1977 | On the Complexity of Equivalent Transformations in Programming Languages. | Max I. Kanovic |
| 1977 | A Survey of Recent Problems and Results in Analytic Computational Complexity. | Boleslaw Z. Kacewicz, Henryk Wozniakowski |
| 1977 | The Expressive Power of Intensional Logic in the Semantics of Programming Languages. | Theo M. V. Janssen, Peter van Emde Boas |
| 1977 | Optimal RAS Programs for Arbitrarily Complex 0-1 Valued Functions. | Sndor Horvth |
| 1977 | Formal Transformations and the Development of Programs. | Friedrich W. von Henke |
| 1977 | Arithmetical Complexity of Some Problems in Computer Science. | Petr Hjek |