Part of the material from which this bibliography is derived under the Association of Computing Machinery copyright and is reproduced here under the ``Abstracting with credit is permitted.'' clause.
Abstract:
I have a number of miscellaneous bibliographies in BibTeX format which you might like to add to the collection you make available. Currently available bibliographies are:
Mathematical Systems Theory 1968 (this bibliography isn't complete, but it does contain most of the papers)
Proceedings of a Workshop on Semantics-Directed Compiler Generation (1980)
Proceedings of International Summer School on Attribute Grammars, Applications and Systems
ACM Transactions on Programming Languages and Systems 1982
Automata, Languages and Programming 1974
Proceedings of an ACM Conference on Language Design for Reliable Software 1977
Compiler Construction – An Advanced Course
Software – Practice and Experience (1981)
Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming
Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming
1990 ACM Conference on Lisp and Functional Programming
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction
Proceedings of the SIGPLAN '84 Symposium on Compiler Construction
Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages (POPL '82)
Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages (POPL '86)
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993
ACM SIGForth Newsletter (Spring 1989 - Fall 1992)
Embedded Systems: 1990 Rochester Forth Conference
Communications of the ACM 1965 (this bibliography is incomplete; it only consists of the articles I found intesting, rather than every article published. Nevertheless, the majority of the articles are listed here)
Annual Review in Automatic Programming 1973
Formal Description of Programming Concepts, 1978
Program Construction 1978
Proceedings of the 1988 ACM Conference on Lisp and Functional Programming
Proceedings SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques
Acta Informatica 1977
IEEE Transactions on Electronic Computers, August 1964
Attribute Grammars and their Applications (1990)
Abstract interpretation of declarative languages (Ellis Horwood, 1990)
Functional Programming Languages and Computer Architecture (Springer-Verlag, 1991)
If the original paper had an abstract, then that is also in the bibliography.