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 BibTeX

@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

Martti Penttonen: How to Program a Parallel Computer? 1 BibTeX

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 BibTeX
Risto Honkanen: Systolic Routing in Sparse Optical Torus. 14-20 BibTeX
Vahur Kotkas: Synthesis of Distributed Programs. 21-33 BibTeX
Antti-Juhani Kaijanaho: On Typechecking B. 34-44 BibTeX
László Vidács, Árpád Beszédes: Opening Up The C/C++ Preprocessor Black Box. 45-57 BibTeX
Raine Kauppinen, Juha Taina: RITA Environment for Testing Framework-based Software Product Lines. 58-69 BibTeX
Petri Selonen: Set Operations for the Unified Modeling Language. 70-81 BibTeX
Merik Meriste, Tõnis Kelder, Jüri Helekivi, Leo Motus: Domain-Specific Language Agents. 82-90 BibTeX
Timo Poranen, Erkki Mäkinen, Jyrki Nummenmaa: How to Draw a Sequence Diagram. 91-102 BibTeX
Tibor Ásványi: User's Functions in Standard Prolog. 103-114 BibTeX
Zoltán Horváth, Tamás Kozsik, Máté Tejfel: Proving Invariants of Functional Programs. 115-126 BibTeX
Zoltán Horváth, Zoltán Varga, Viktória Zsók: Clean-CORBA Interface for Parallel Functional Programming on Clusters. 127-136 BibTeX
Miklós Kálmán, Ferenc Havasi, Tibor Gyimóthy: Compacting XML Documents. 137-151 BibTeX
Risto Vaarandi: A Clustering Algorithm for Logfile Data Sets. 152-162 BibTeX
Pekka Kilpeläinen, Rauno Tuhkanen: Regular Expressions with Numerical Occurrence Indicators - preliminary results. 163-173 BibTeX
Y. C. Nuckchady, Jyrki Nummenmaa: An architecture for building collaborative tools in Java. 174-186 BibTeX
Marko Hassinen, Smile Markovski: Secure SMS messaging using Quasigroup encryption and Java SMS API. 187- BibTeX