Sven-Olof Nyström

According to our database, Sven-Olof Nyström authored at least 10 papers between 1988 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing.

Johan Blom, Bengt Jonsson, Sven-Olof Nyström

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2003

Retargetable Graph-Coloring Register Allocation for Irregular Architectures.

Johan Runeson, Sven-Olof Nyström

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

A soft-typing system for Erlang.

Sven-Olof Nyström

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

2000

Optimizing Code Size through Procedural Abstraction.

Johan Runeson, Sven-Olof Nyström, Jan Sjödin

Proceedings of the Languages, 2000

Profile-guided optimization across process boundaries.

Erik Johansson, Sven-Olof Nyström

Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

1998

A Fully Abstract Semantics for Concurrent Constraint Programming.

Sven-Olof Nyström, Bengt Jonsson

Inf. Comput., 1998

1996

There is no Fully Abstract Fixpoint Semantics for Non-Deterministic Languages with Infinite Computations.

Sven-Olof Nyström

Inf. Process. Lett., 1996

1993

Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations.

Sven-Olof Nyström, Bengt Jonsson

Proceedings of the Logic Programming, 1993

1989

Variable-Free Execution of Concurrent Logic Languages.

Sven-Olof Nyström

Proceedings of the Logic Programming, 1989

1988

Control Structures for Guarded Horn Clauses.

Sven-Olof Nyström

Proceedings of the Logic Programming, 1988