BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nystr=ouml=m:Sven=Olof

Contributed to:

LCTES 20002000
ILPS 19931993
NACLP 19891989
ICLP/SPL 19881988

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.