Sören Holmström

According to our database, Sören Holmström authored at least 4 papers between 1988 and 1989.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1989

A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion.

Sören Holmström

Formal Aspects Comput., 1989

A Composition Approach to Time Analysis of First Order Lazy Functional Programs.

Bror Bjerner, Sören Holmström

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

An Efficiency Comparison of Some Representations of Purely Functional Arrays.

Annika Aasa, Sören Holmström, Christina Nilsson

BIT, 1988

Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It.

Sören Holmström

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988