Travelled to:
2 × Canada
2 × USA
Collaborated with:
∅ B.Jonsson J.Runeson J.Sjödin
Talks about:
concurr (2) indetermin (1) constraint (1) structur (1) procedur (1) fixpoint (1) abstract (1) variabl (1) program (1) languag (1)
Person: Sven-Olof Nyström
DBLP: Nystr=ouml=m:Sven=Olof
Contributed to:
Wrote 4 papers:
- LCTES-2000-RunesonNS #abstraction #optimisation
- Optimizing Code Size through Procedural Abstraction (JR, SON, JS), pp. 204–205.
- ILPS-1993-NystromJ #concurrent #constraints #fixpoint #programming #semantics
- Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations (SON, BJ), pp. 335–352.
- NACLP-1989-Nystrom #concurrent #execution #logic
- Variable-Free Execution of Concurrent Logic Languages (SON), pp. 536–552.
- JICSCP-1988-Nystrom88 #horn clause
- Control Structures for Guarded Horn Clauses (SON), pp. 1351–1370.