Structured Programming with go to Statements
DE Knuth - ACM Computing Surveys (CSUR), 1974 - dl.acm.org
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 …
reliable, well-structured programs that behave efficiently. This study focuses largely on two …
Attribute grammar paradigms—a high-level methodology in language implementation
J Paakki - ACM Computing Surveys (CSUR), 1995 - dl.acm.org
Attribute grammars are a formalism for specifying programming languages. They have been
applied to a great number of systems automatically producing language implementations …
applied to a great number of systems automatically producing language implementations …
[HTML][HTML] Computational thinking, between Papert and Wing
M Lodi, S Martini - Science & education, 2021 - Springer
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 …
extensive use of computational methods in other sciences call for its introduction in the …
[图书][B] Compilers principles, techniques & tools
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 …
significantly. Programming languages have evolved to present new compilation problems …
Introduction to automata theory, languages, and computation
JE Hopcroft, R Motwani, JD Ullman - Acm Sigact News, 2001 - dl.acm.org
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 …
the fact that the subject of automata had exploded, compared with its state at the time they …
[图书][B] Communicating sequential processes
CAR Hoare - 1985 - homepages.cs.ncl.ac.uk
This paper suggests that input and output are basic primitives of programming; and that
parallel compositio nof communicating sequential processes is a fundamental program …
parallel compositio nof communicating sequential processes is a fundamental program …
Communicating sequential processes
CAR Hoare - Communications of the ACM, 1978 - dl.acm.org
This paper suggests that input and output are basic primitives of programming and that
parallel composition of communicating sequential processes is a fundamental program …
parallel composition of communicating sequential processes is a fundamental program …
Literate programming
DE Knuth - The computer journal, 1984 - academic.oup.com
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 …
programming language and documentation system called WEB. This paper presents WEB …
[图书][B] Data compression
D Salomon - 2002 - Springer
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 …
century has resulted in an explosive growth in the amounts of data moved between …
[图书][B] The algorithmic beauty of plants
P Prusinkiewicz, A Lindenmayer - 2012 - books.google.com
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 …
Conspicuous geometric features such as the bilateral sym and beauty metry of leaves, the …