🚀 go-pugleaf

UNIVERSITY OF TAMPERE
DEPARTMENT OF COMPUTER SCIENCE
P.O. Box  607
SF-33101  Tampere, Finland       e-mail orders: em@utacs.uucp
                                                em@utacs.utacs.uta.fi

Listed below are the latest technical reports of our department.
Single copies are available free of charge.


A-1987-1 Erkki Makinen, Left distance binary tree representations,
         February 1987.
A-1987-2 Heikki Mannila and Kari-Jouko Raiha, Automatic generation
         of test data for relational queries, February 1987.
A-1987-3 Erkki Makinen, On circular layouts, March 1987.
A-1987-4 Jorma Tarhio and Kari-Jouko Raiha, A simplified trans-
         formation for attribute grammars, March 1987.
A-1987-5 Timo Niemi, A systematic specification schema based on 
         attribute grammars, March 1987.
A-1987-6 Aulikki Hyrskykari and Kari-Jouko Raiha, ALADDIN: a tool
         for generating algorithm animations, April 1987.
A-1987-7 Erkki Makinen, Two complexity measures for context-free 
         languages, April 1987.
A-1987-8 Erkki Makinen, A survey on binary tree codings, November 1987.
A-1988-1 Erkki Makinen, Experiments on drawing 2-level hierarchical 
         graphs, January 1988.
A-1988-2 Liisa Raiha, Approximate sequence comparison: a study with 
         histograms, January 1988.


A116 Hannu Kangassalo, On the semantics of data abstraction,
     June 1984.
A136 Ralph-Johan Back and Pentti Hietala, I3V: a program proof
     management system, December 1986.
A137 Pentti Hietala, A course on program verification, December
     1984.
A148 Pentti Hietala, A tool for teaching program verification,
     August 1985.
A150 Timo Niemi, The specification of data reformatting in data
     conversion, May 1985.
A152 Kalervo Jarvelin, A systematic approach of modelling the 
     costs of flat files, February 1985.
A164 Kalervo Jarvelin and Timo Niemi, Advanced tools for the
     database administrator, May 1986.
A169 Pertti Jarvinen, On dialogue engineering rules and
     proverbs, December 1986.