J. W. de Bakker, Jan van Leeuwen
Proceedings of the Seventh Colloquium on Automata, Languages and Programming
ICALP, 1980.

@proceedings{ICALP-1980,
	editor        = "J. W. de Bakker and Jan van Leeuwen",
	isbn          = "3-540-10003-2",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh Colloquium on Automata, Languages and Programming}",
	volume        = 85,
	year          = 1980,
}

Contents (53 items)

7 ×#on the
5 ×#algebra
5 ×#semantics
4 ×#complexity
4 ×#data type
4 ×#multi
3 ×#algorithm
3 ×#analysis
3 ×#bound
3 ×#correctness

ICALP-1980-Ainhirn #how #pseudo

How to Get Rid of Pseudoterminals (WA), pp. 1–11.

ICALP-1980-AlbertC #context-free grammar #equivalence #morphism #testing

Test Sets for Homomorphism Equivalence on Context Free Languages (JA, KCI), pp. 12–18.

ICALP-1980-AlbertW

Languages with Homomorphic Replacements (JA, LMW), pp. 19–29.

ICALP-1980-Alt #integer #multi

Functions Equivalent to Integer Multiplication (HA), pp. 30–37.

ICALP-1980-AstesianoC

Languages with Reducing Reflective Types (EA, GC), pp. 38–50.

ICALP-1980-Back #bound #nondeterminism #semantics

Semantics of Unbounded Nondeterminism (RJB), pp. 51–63.

ICALP-1980-BeckerPS #algorithm #clustering

A Shifting Algorithm for Min-Max Tree Partitioning (RIB, YP, SRS), pp. 64–75.

ICALP-1980-BergstraT #data type #equation #finite #specification

A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.

ICALP-1980-Berman #automaton

A Note on Sweeping Automata (PB), pp. 91–97.

ICALP-1980-Bini #approximate #rank

Border Rank of a p×q×2 Tensor and the Optimal Approximation of a Pair of Bilinear Forms (DB), pp. 98–108.

ICALP-1980-Boasson #french

Derivations et Redutions dans les Grammaires Algebriques (LB), pp. 109–118.

ICALP-1980-CousotC #analysis #communication #csp #process #semantics

Semantic Analysis of Communicating Sequential Processes (Shortened Version) (PC, RC), pp. 119–133.

ICALP-1980-EhrenfeuchtR

DOS Systems and Languages (AE, GR), pp. 134–141.

ICALP-1980-EhrigKP #algebra #concept #correctness #data type #implementation #semantics #syntax

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.

ICALP-1980-EhrigKTWW #algebra #data type #specification

Parameterized Data Types in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 157–168.

ICALP-1980-EmersonC #correctness #fixpoint #parallel #source code #using

Characterizing Correctness Properties of Parallel Programs Using Fixpoints (EAE, EMC), pp. 169–181.

ICALP-1980-EngelfrietF #attribute grammar #multi

Formal Properties of One-Visit and Multi-Pass Attribute Grammars (JE, GF), pp. 182–194.

ICALP-1980-EvenY #complexity

Cryptocomplexity and NP-Completeness (SE, YY), pp. 195–207.

ICALP-1980-FlajoletS #algorithm #analysis #on the

On the Analysis of Tree-Matching Algorithms (PF, JMS), pp. 208–219.

ICALP-1980-FredericksonJ #generative #network #set

Generating and Searching Sets Induced by Networks (GNF, DBJ), pp. 221–233.

ICALP-1980-Furer #complexity #problem #regular expression

The Complexity of the Inequivalence Problem for Regular Expressions with Intersection (MF), pp. 234–245.

ICALP-1980-Galil #algorithm #database #dependence #linear #relational

An Almost Linear Time Algorithm for Computing a Dependency Basis in a Relational Data Base (ZG), pp. 246–256.

ICALP-1980-GenrichT

Bipolar Synchronization Systems (HJG, PST), pp. 257–272.

ICALP-1980-GoralcikovaGK #algebra #finite #testing

Testing of Properties of Finite Algebras (AG, PG, VK), pp. 273–281.

ICALP-1980-Gray #transaction

A Transaction Model (JG), pp. 282–298.

ICALP-1980-HennessyM #concurrent #nondeterminism #on the

On Observing Nondeterminism and Concurrency (MH, RM), pp. 299–309.

ICALP-1980-HornungR #algebra #data type #semantics

Terminal Algebra Semantics and Retractions for Abstract Data Types (GH, PR), pp. 310–323.

ICALP-1980-Huynh #complexity #linear #set

The Complexity of Semilinear Sets (TDH), pp. 324–337.

ICALP-1980-KennawayH #formal method #nondeterminism

A Theory of Nondeterminism (RK, CARH), pp. 338–350.

ICALP-1980-Kozen #modelling #representation #theorem

A Representation Theorem for Models of *-Free PDL (DK), pp. 351–362.

ICALP-1980-LangmaackO #hoare #programming language

Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.

ICALP-1980-LewisP #bound #symmetry

Symmetric Space-Bounded Computation (HRL, CHP), pp. 374–384.

ICALP-1980-LucaR #on the #testing

On Some Properties of Local Testability (AdL, AR), pp. 385–393.

ICALP-1980-Majster-Cederbaum #algebra #axiom #fixpoint #named #semantics

Semantics: Algebras, Fixed Points, Axioms (MEMC), pp. 394–408.

ICALP-1980-Makowsky #logic #power of

Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), pp. 409–421.

ICALP-1980-Mehlhorn

Pebbling Mountain Ranges and its Application of DCFL-Recognition (KM), pp. 422–435.

ICALP-1980-Schmidt #attribute grammar #strict

Space-Restricted Attribute Grammars (EMS), pp. 436–448.

ICALP-1980-Mosses #approach #compilation #correctness

A Constructive Approach to Compiler Correctness (PDM), pp. 449–469.

ICALP-1980-PapadimitriouB #analysis #nearest neighbour #worst-case

A Worst-Case Analysis of Nearest Neighbor Searching by Projection (CHP, JLB), pp. 470–482.

ICALP-1980-Pin #french

Proprietes syntactiques du produit non ambigu (JÉP), pp. 483–499.

ICALP-1980-RaihaU #multi #on the

On the Optimal Assignment of Attributes to Passes in Multi-Pass Attribute Evaluators (KJR, EU), pp. 500–511.

ICALP-1980-RaoultV #bound #semiparsing

Optimal Unbounded Search Strategies (JCR, JV), pp. 512–530.

ICALP-1980-Reischuk #implementation #multi #performance

A “Fast Implementation” of a Multidimensional Storage into a Tree Storage (RR), pp. 531–542.

ICALP-1980-Salomaa #product line

Grammatical Families (AS), pp. 543–554.

ICALP-1980-Schlichtiger

Partitioned Chain Grammars (PS), pp. 555–568.

ICALP-1980-SchmidtS

An Improved Program for Constructing Open Hash Tables (JPS, ES), pp. 569–581.

ICALP-1980-Shamir #commutative #encryption #on the #power of

On the Power of Commutativity in Cryptography (AS), pp. 582–595.

ICALP-1980-SippuS #ll

Characterizations of the LL(k) Property (SS, ESS), pp. 596–608.

ICALP-1980-Smyth #category theory

Computability in Categories (MBS), pp. 609–620.

ICALP-1980-Snir #complexity #on the

On the Size Complexity of Monotone Formulas (MS), pp. 621–631.

ICALP-1980-Toffoli

Reversible Computing (TT), pp. 632–644.

ICALP-1980-Turchin #optimisation #proving #theorem proving #using

The Use of Metasystem Transition in Theorem Proving and Program Optimization (VFT), pp. 645–657.

ICALP-1980-Vitanyi #on the #power of #realtime #specification

On the Power of Real-Time Machines Under Varying Specifications (PMBV), pp. 658–671.