This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout,...
This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association...
In den mehr als 10 Jahren, die seit dem Entwurf und der ersten Implementierung der Sprache Pascal vergangen sind, ist eine kaum noch zu Ubersehende FUlle von Pascal-EinfUhrungs- und lehrbOchern verCSffentlicht worden. NatUrlich werden die Eigenschaften und Maglichkeiten der Sprache stets an einigen Beispielen erllutert. Dennoch wird mancher leser - wie wir - die Erfahrung gemacht haben, da8 der Fundus der Beispiele unzureichend oder zu weit verstreut ist, um die Sprache richtig zu lehren, zu lemen, und die Technik des ProbiemlCSsens mit Hilfe von Pascal systematisch einUben zu konnen. Wir...
In den mehr als 10 Jahren, die seit dem Entwurf und der ersten Implementierung der Sprache Pascal vergangen sind, ist eine kaum noch zu Ubersehende FU...
