SPLST 2003:
Kuopio,
Finland
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 2003, ISBN 951-781-265-5 
@proceedings{DBLP:conf/splst/2003,
editor = {Pekka Kilpel{\"a}inen and
Niina P{\"a}ivinen},
title = {Proceedings of the Eighth Symposium on Programming Languages
and Software Tools, SPLST'03, Kuopio, Finland, June 17-18, 2003},
booktitle = {SPLST},
publisher = {University of Kuopio, Department of Computer Science},
year = {2003},
isbn = {951-781-265-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Papers
- András A. Benczúr, Antal Buza:
The Effect of Non-execution and Part Task Result Integration in Distributed Data-intensive Computing Systems.
2-13
- Risto Honkanen:
Systolic Routing in Sparse Optical Torus.
14-20
- Vahur Kotkas:
Synthesis of Distributed Programs.
21-33
- Antti-Juhani Kaijanaho:
On Typechecking B.
34-44
- László Vidács, Árpád Beszédes:
Opening Up The C/C++ Preprocessor Black Box.
45-57
- Raine Kauppinen, Juha Taina:
RITA Environment for Testing Framework-based Software Product Lines.
58-69
- Petri Selonen:
Set Operations for the Unified Modeling Language.
70-81
- Merik Meriste, Tõnis Kelder, Jüri Helekivi, Leo Motus:
Domain-Specific Language Agents.
82-90
- Timo Poranen, Erkki Mäkinen, Jyrki Nummenmaa:
How to Draw a Sequence Diagram.
91-102
- Tibor Ásványi:
User's Functions in Standard Prolog.
103-114
- Zoltán Horváth, Tamás Kozsik, Máté Tejfel:
Proving Invariants of Functional Programs.
115-126
- Zoltán Horváth, Zoltán Varga, Viktória Zsók:
Clean-CORBA Interface for Parallel Functional Programming on Clusters.
127-136
- Miklós Kálmán, Ferenc Havasi, Tibor Gyimóthy:
Compacting XML Documents.
137-151
- Risto Vaarandi:
A Clustering Algorithm for Logfile Data Sets.
152-162
- Pekka Kilpeläinen, Rauno Tuhkanen:
Regular Expressions with Numerical Occurrence Indicators - preliminary results.
163-173
- Y. C. Nuckchady, Jyrki Nummenmaa:
An architecture for building collaborative tools in Java.
174-186
- Marko Hassinen, Smile Markovski:
Secure SMS messaging using Quasigroup encryption and Java SMS API.
187-
Last update Mon Feb 13 04:41:38 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
