BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Germany
1 × Sweden
1 × United Kingdom
Collaborated with:
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 DBLP: Nilsson:Ulf

Contributed to:

CL 20002000
ILPS 19931993
PLILP 19911991
PLILP 19901990
PLILP 19881988

Wrote 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.

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.