The Genesis of Attribute Grammars
The Genesis of Attribute Grammars
复制标题
属性文法的起源
DOI:
--
复制
发表时间:
1990
期刊:
影响因子:
--
通讯作者:
D. Knuth
中科院分区:
文献类型:
--
作者:
D. Knuth
I have always been fascinated by the origin of ideas, so I am pleased that the organizers of this conference have asked me to open the proceedings by taking a look back at how the subject began. In other words, I'm glad that my job is to give this conference a " history attribute. " Attribute grammars were born in the exhilarating days of the mid-60s when a great many fundamental principles of computer science were beginning to be understood. An enormous number of ideas were floating in the air, waiting to be captured in just the right combinations that would prove to be powerful sources of future energy. The human mind is notoriously bad at reconstructing past experiences, so I have tried to make my story as accurate as possible by digging up as many scraps of authentic information from the early days as I could find. People say that nostalgia isn't what it used to be, but I hope that the participants of this conference will be able to share some of the pleasure I have experienced while preparing this retrospective study. Much of my story takes place in 1967, by which time a great many sophisticated computer programs had been written all over the world. Computing machines had come a long way since their invention in the 30s and 40s; for example, the recently announced Burroughs B6500 was aptly called a " third generation " system [35], and J. P. Eckert was noting a trend toward parallelism in new computer designs [37]. Yet many problems without easy solutions made people well aware that the vast potential of computers was only beginning to be tapped and that a great many important issues were not at all well understood. One of the puzzling questions under extensive investigation at the time was the problem of programming language semantics: How should we define the meaning of statements in algorithmic languages? Dozens of experts had gathered in Vienna in 1964 for a conference on formal language description, and the prevailing mood at that conference is well summarized by the remarks of T. B. Steel, Jr.: " Improvements in programming language description methods are imperative. .. I don't fully know myself how to describe the semantics of a language. I daresay nobody does or we wouldn't be here " [31]. Steel edited the proceedings of that meeting, which include lively transcriptions of discussions …