leff@smu.UUCP (Laurence Leff) (04/01/88)
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.leff@smu.UUCP (Laurence Leff) (09/04/88)
UNIVERSITY OF TAMPERE
DEPARTMENT OF COMPUTER SCIENCE
P.O. Box 607
SF-33101 Tampere, Finland e-mail orders: em@utacs.uucp
em@utacs.uta.fi
Listed below are some of the latest technical reports of our department.
Single copies are available free of charge.
A-1987-5 Timo Niemi, A systematic specification schema based on
attribute grammars for multi-level database applications,
March 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.
A-1988-3 Heikki Mannila and Kari-Jouko Raiha, Algorithms for inferring
functional dependencies, April 1988.
A-1988-4 Erkki Makinen, A note on the median heuristic for
drawing bipartite graphs, May 1988.
A-1988-5 George R.S. Weir, HCI in man-machine systems, July 1988.
A-1988-6 Jyrki Katajainen and Erkki Makinen, A note on the
complexity of trie compaction, August 1988.
A-1988-7 Heikki Mannila and Kari-Jouko Raiha, Generating Armstrong
databases for sets of functional and inclusion dependencies,
August 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.