Travelled to:
1 × Italy
1 × Japan
Collaborated with:
D.Sahlin
Talks about:
constraint (1) demonstr (1) languag (1) concurr (1) analysi (1) static (1) analyz (1) akl (1)
Person: Thomas Sjöland
DBLP: Sj=ouml=land:Thomas
Contributed to:
Wrote 2 papers:
- ICLP-1995-SahlinS #concurrent #constraints
- An Analyzer for a Concurrent Constraint Language (DS, TS), p. 828.
- WSA-1993-SahlinS #named #static analysis
- Demonstration: Static Analysis of AKL (DS, TS), pp. 282–283.