Automata, Languages and Programming

The International Colloquium on Automata, Languages andProgramming (ICALP) is an annual conference series sponsoredby the European Association for Theoretical Computer Science(EATCS). It is intended to cover all important areas oftheoretical computer science, such as: computability,automata,formal languages, term rewriting, analysis ofalgorithms, computational geometry, computationalcomplexity, symbolic and algebraic computation,cryptography, data types and data structures, theory ofdata bases and knowledge bases, semantics of programminglanguages, program specification, transformation andverification, foundations of logicprogramming, theory oflogical design and layout, parallel and distributedcomputation, theory of concurrency, and theory of robotics.This volume contains the proceedings of ICALP 93, held atLundUniversity, Sweden, in July 1993. It includes fiveinvited papers and 51 contributed papers selected from 151submissions.