Note (hand-written) with the address of Dr. H. Partsch
Letter, 08.05.1984by the Chairman of the WG 2.1 addressed to the participants of the forthcoming 33nd meeting of the group. The letter discusses following issues: 1) resulta of the 32nd meeting; 2) preparation of the Working Conference on Program Specification and Transformation; 3) local arrangements for the 33th meeting; 4) WG observers; 5) technical content of the meeting.
Letter, R. B. K. Dewar->A.P. Ershov, 04.02.1985with an invitation to be a member of the program committee of the Working Conference; a tentative schedule of the Conference enclosed
Letter, 05.02.1985with materials relating to the proposed Working Conference: a preliminary list of invitees for changes and suggestions
Letter, R. B. K. Dewar->A.P. Ershov, 18.03.1985with a preliminary list of invitees for review and suggetions
Letter, 03.06.1985with formal information for participants
Letter (hand-written), A.P. Ershov->F. L. Bauer, 15.08.1985about the problems wit Ershov's helth, his hope to attend the Working Conference and readiness "to share the load of the reviewing process"
Letter and Draft Letter, 16.09.1985-12.10.1985The Chairman of TC 2 R.Mason expresses in a letter his sadness with regard to A.P.Ershov's illness. A manuscript draft by Ershov contains his thanks and hopes to participate in the coming Munich working conference.
Letter, A.P. Ershov->Tony Hoare, 19.09.1985A.P. Ershov writes about the reasons for being silent for more than a year...
Text (hand-written), 08.10.1985-14.10.1985of Ershov&Ostrovsky paper "Controllable Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers" presented at the Working Conference
Letter, 15.10.1985information about dead-line
Letter, H. Partsch->A.P. Ershov, 15.10.1985information on reviewing the submitted papers: a list of papers; a correspondence table; evaluation sheets; a copy of each paper to be reviewed
Review, 01.11.1985of the paper by R. Berghammer "On Using Composition in Transformational Programming"
Telegram, A.P. Ershov->H. Partsch, 01.11.1985a request to consider 3 papers by Soviet authors directly at the PC meeting
Referee's Report, 05.11.1985on the papers by Berghammer and Bruynooghe
Additional grounds, 25.11.1985for Ershov&Sabelfeld's visit to Germany
Postcard, F. L. Bauer ->A.P. Ershov, 16.12.1985best wishes and hope for seeing Ershov at the Working Conference
Letter, H. Partsch->A.P. Ershov, 16.12.1985a paper by Ershov&Ostrovsky has been accepted for presentation at the WC
Letter, 06.01.1986information for participants of the WC
Text (hand-written), 14.01.1986-15.01.1986on reduction refinement
1
2
3
4
Initial order | In alphabetical order | By date |