A consideration of several different examples sheds new light on the problem of ereating
reliable, well-structured programs that behave efficiently. This study focuses largely on two …

Attribute grammars are a formalism for specifying programming languages. They have been
applied to a great number of systems automatically producing language implementations …

Abstract The pervasiveness of Computer Science (CS) in today's digital society and the
extensive use of computational methods in other sciences call for its introduction in the …

In the time since the 1986 edition of this book, the world of compiler design has changed
significantly. Programming languages have evolved to present new compilation problems …

In the preface from the 1979 predecessor to thOR book, Hopcroft and U11man marveled at
the fact that the subject of automata had exploded, compared with its state at the time they …

This paper suggests that input and output are basic primitives of programming; and that
parallel compositio nof communicating sequential processes is a fundamental program …

This paper suggests that input and output are basic primitives of programming and that
parallel composition of communicating sequential processes is a fundamental program …

The author and his associates have been experimenting for the past several years with a
programming language and documentation system called WEB. This paper presents WEB …

The exponential growth of computer applications in the last three decades of the 20th
century has resulted in an explosive growth in the amounts of data moved between …

The beauty of plants has attracted the attention of mathematicians for Mathematics centuries.
Conspicuous geometric features such as the bilateral sym and beauty metry of leaves, the …