Thomas Sjöland
Swedish Institute of Computer Science
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Thomas Sjöland.
WSA '93 Proceedings of the Third International Workshop on Static Analysis | 1993
Dan Sahlin; Thomas Sjöland
We have implemented a method for analysing programs in AKL which strictly separates the setting up of abstract semantic equations and finding a least fixpoint to these equations. We show a prototype analyser which is entirely coded in AKL.
Archive | 1993
Johan Andersson; Stefan Andersson; Kent Boortz; Mats Carlsson; Hans Nilsson; Thomas Sjöland; Johan Widén
Archive | 2001
Per Kreuger; Mats Carlsson; Thomas Sjöland; Emil Åström
Archive | 1993
Johan Andersson; Stefan Andersson; Kent Boortz; Mats Carlsson; Hans Nilsson; Thomas Sjöland; Johan Widén
4th International Workshop on Constraint programming for time critical applications in ESPRIT working group COTIC, 22 June 2000, Udine, Italy | 2000
Thomas Sjöland; Seif Haridi; Per Brand; Erik Klintskog
Archive | 1997
Per Kreuger; Mats Carlsson; Jan Olsson; Thomas Sjöland; Emil Åström
Archive | 1991
Mats Carlsson; Johan Widén; Johan Andersson; Stefan Andersson; Kent Boortz; Hans Nilsson; Thomas Sjöland
Archive | 1998
Thomas Sjöland
COTIC98: 2nd International Workshop on Constraint programming for time critical applications and distributed agents, Sept 1998, Nice, France | 1998
Thomas Sjöland; Per Kreuger; Emil Åström; Per Danielsson
Archive | 1995
Thomas Sjöland; Dan Sahlin
