Department of Computer Science Report Series A
Report A/2003/1
Pekka Kilpeläinen, Niina Päivinen (Eds.)
Proceedings of the Eighth Symposium on
Programming Languages and Software Tools
SPLST'03, Kuopio, Finland, June 17 - 18, 2003
University of Kuopio,
Department of Computer Science
Kuopio, June 2003
ACM CCS classification (1998): A.0, D.1, D.2, D.3, D.4
ISBN 951-781-265-5
ISSN 1795-9195 (online version)
ISSN 0787-6416 (printed version)
Preface
This volume contains the full papers presented at the
Eighth Symposium on Programming Languages and Software Tools,
SPLST'03, held June 17 - 18, 2003, in Kuopio, Finland.
The papers were selected by the program committee out of
25 which were submitted as a response to the call of papers.
In addition, an invited talk was given by Prof. Martti Penttonen on
the topic "How to program a parallel computer?", and two submitted
papers were included in the program as short presentations.
The objective of the Fenno-Ugric Symposium on Programming Languages and
Software Tools is to provide a forum for
the presentation and discussion of recent research and development by
software scientists.
The SPLST series of conferences arose in 1989 from the
cooperation of Finnish and Hungarian universities.
Since then the symposium has been organized every two years,
with participants coming
from various institutes and universities of Estonia, Finland and Hungary.
Pekka Kilpeläinen, Niina Päivinen
Proceedings editors
Reviewers (Program Committee)
| Gyula Csopaki | Technical University Budapest, Hungary |
| Tibor Gyimóthy | University of Szeged, Hungary |
| Zoltán Horváth | Eötvös Loránd University, Hungary |
| Pekka Kilpeläinen (chair) | University of Kuopio, Finland |
| Kai Koskimies | Tampere University of Technology, Finland |
| László Kozma | Eötvös Loránd University, Hungary |
| Jukka Paakki | University of Helsinki, Finland |
| Jaan Penjam | Tallin University of Technology, Estonia |
| Martti Penttonen | University of Kuopio, Finland |
| Markku Sakkinen | University of Jyväskylä, Finland |
| Mati Tombak | University of Tartu, Estonia |
| Esko Ukkonen | University of Helsinki, Finland |
Assisting Reviewers
| Antal Wu Hen Chang | Technical University Budapest, Hungary |
| Le Viet Dung | Technical University Budapest, Hungary |
| Gabor Kovács | Technical University Budapest, Hungary |
| Tamás Kozsik | Eötvös Loránd University, Hungary |
| Tibor Szabó | Technical University Budapest, Hungary |
Organizing Committee
| Virpi Kasurinen | Conference chair |
| Niina Päivinen | Secretary, papers |
| Risto Honkanen | Secretary, arrangements |
Sponsors
 |
City of Kuopio |
We acknowledge the use of the Springer LLNCS LaTeX style, which was
used for producing the layout of these proceedings.
Table of Contents
The titles below act as links to the PDF versions of the papers.
Please notice that because of production problems the layout and
numbering of the pages in the PDF versions differ slightly from the
printed proceedings.
| Invited talk: How to Program a Parallel Computer? |
1 |
| Martti Penttonen |
|
|
|
| The Effect of Non-execution and Part Task Result Integration in Distributed Data-intensive Computing Systems |
2 |
| András Benczúr, Antal Buza |
|
|
|
| Systolic Routing in Sparse Optical Torus |
14 |
| Risto Honkanen |
|
|
|
| Synthesis of Distributed Programs |
21 |
| Vahur Kotkas |
|
|
|
| On Typechecking B |
34 |
| Antti-Juhani Kaijanaho |
|
|
|
| Opening Up The C/C++ Preprocessor Black Box |
45 |
| László Vidács, Árpád Beszédes |
|
|
|
| RITA Environment for Testing Framework-based Software Product Lines |
58 |
| Raine Kauppinen, Juha Taina |
|
|
|
| Set Operations for the Unified Modeling Language |
70 |
| Petri Selonen |
|
|
|
| Domain-Specific Language Agents |
82 |
| Merik Meriste, Tõnis Kelder, Jüri Helekivi, Leo Motus |
|
|
|
| How to Draw a Sequence Diagram |
91 |
| Timo Poranen, Erkki Mäkinen, Jyrki Nummenmaa |
|
|
|
| User's Functions in Standard Prolog |
103 |
| Tibor Ásványi |
|
|
|
| Proving Invariants of Functional Programs |
115 |
| Zoltán Horváth, Tamás Kozsik, Máté Tejfel |
|
|
|
| Clean-CORBA Interface for Parallel Functional Programming on Clusters |
127 |
| Zoltán Horváth, Zoltán Varga, Viktória Zsók |
|
|
|
| Compacting XML Documents |
137 |
| Miklós Kálmán, Ferenc Havasi, Tibor Gyimóthy |
|
|
|
| A Clustering Algorithm for Logfile Data Sets |
152 |
| Risto Vaarandi |
|
|
|
| Regular Expressions with Numerical Occurrence Indicators---preliminary results |
163 |
| Pekka Kilpeläinen, Rauno Tuhkanen |
|
|
|
| An architecture for building collaborative tools in Java |
174 |
| YC Nuckchady, J Nummenmaa |
|
|
|
| Secure SMS messaging using Quasigroup encryption and Java SMS API |
187 |
| Marko Hassinen, Smile Markovski |
|
|
|
Last updated August 7, 2003