Travelled to:1 × Canada
1 × France
1 × Germany
1 × Sweden
1 × United Kingdom
Collaborated with:∅ J.Lübcke
Talks about:program (4) logic (4) interpret (2) abstract (2) constraint (1) framework (1) systemat (1) approxim (1) toward (1) symbol (1)
Person: Ulf Nilsson
DBLP: Nilsson:Ulf
Contributed to:
2000
1993
199119901988Wrote 5 papers:
- CL-2000-NilssonL #constraints #logic programming #model checking
- Constraint Logic Programming for Local and Symbolic Model-Checking (UN, JL), pp. 384–398.
- ILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code
- Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.
- PLILP-1991-Nilsson #abstract interpretation
- Abstract Interpretation: A Kind of Magic (UN), pp. 299–309.
- PLILP-1990-Nilsson #approximate #logic programming #semantics #source code
- Systematic Semantic Approximations of Logic Programs (UN), pp. 293–306.
- PLILP-1988-Nilsson #abstract interpretation #framework #logic programming #source code #towards
- Towards a Framework for the Abstract Interpretation of Logic Programs (UN), pp. 68–82.