dblp.uni-trier.dewww.uni-trier.de

Sven-Olof Nyström Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
9EESven-Olof Nyström: A soft-typing system for Erlang. Erlang Workshop 2003: 56-71
8EEJohan Runeson, Sven-Olof Nyström: Retargetable Graph-Coloring Register Allocation for Irregular Architectures. SCOPES 2003: 240-254
2000
7EEErik Johansson, Sven-Olof Nyström: Profile-guided optimization across process boundaries. Dynamo 2000: 23-31
6EEJohan Runeson, Sven-Olof Nyström, Jan Sjödin: Optimizing Code Size through Procedural Abstraction. LCTES 2000: 204-205
1998
5 Sven-Olof Nyström, Bengt Jonsson: A Fully Abstract Semantics for Concurrent Constraint Programming. Inf. Comput. 146(2): 138-180 (1998)
1996
4EESven-Olof Nyström: There is no Fully Abstract Fixpoint Semantics for Non-Deterministic Languages with Infinite Computations. Inf. Process. Lett. 60(6): 289-293 (1996)
1993
3 Sven-Olof Nyström, Bengt Jonsson: Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations. ILPS 1993: 335-352
1989
2 Sven-Olof Nyström: Variable-Free Execution of Concurrent Logic Languages. NACLP 1989: 536-552
1988
1 Sven-Olof Nyström: Control Structures for Guarded Horn Clauses. ICLP/SLP 1988: 1351-1370

Coauthor Index

1Erik Johansson [7]
2Bengt Jonsson [3] [5]
3Johan Runeson [6] [8]
4Jan Sjödin [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)