Formal semantics of Programming languages / Edited by Randall Rustin.

Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987 / edited by Veronica Dahl and Patrick Saint-Dizier.

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main [and others] (eds.).

Data semantics (DS-1) : proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1), Hasselt, Belgium, 7-11 January, 1985 / edited by T.B. Steel, Jr., R. Meersman.

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM / a symposium sponsored by the ACM Special Interest Group SIGPLAN, in cooperation with IFIP.

Natural language at the computer : proceedings / Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988 ; A. Blaser, ed.

Symposium on semantics of algorithmic languages / edited by E. Engeler.

Proceedings of the ... ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : PEPM / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN).