is a Gothenburg-based
high technology company which offers assistance in all phases of a
development or research
project in computer science and engineering, from analysis and modelling
through design and implementation of software and hardware. It has
expertise relevant to the present proposal in the areas of languages,
compilers, and formal methods.
The site leader is Staffan Truvé, who is managing director and
leader for the Languages and Compilers subgroup at Carlstedt.
Peter Dybjer
12/5/1997