Ulf Nilsson
Ulf Nilsson
Professor Computer Science, Linköping University
Email verificata su liu.se
Titolo
Citata da
Citata da
Anno
Logic, Programming and Prolog (2ed)
J Maluszynski, U Nilsson
John Wiley, 1995
488*1995
A comparative study of industrial static analysis tools
P Emanuelsson, U Nilsson
Electronic notes in theoretical computer science 217, 5-21, 2008
2432008
Constraint logic programming for local and symbolic model-checking
U Nilsson, J Lübcke
International Conference on Computational Logic, 384-398, 2000
552000
AID: An alternative implementation of DCGs
U Nilsson
New Generation Computing 4 (4), 383-399, 1986
411986
Systematic semantic approximations of logic programs
U Nilsson
International Workshop on Programming Language Implementation and Logic …, 1990
341990
Towards a methodology for the design of abstract machines for logic programming languages
U Nilsson
The Journal of Logic Programming 16 (1-2), 163-189, 1993
281993
Abstract interpretation: A kind of magic
U Nilsson
International Symposium on Programming Language Implementation and Logic …, 1991
281991
A simple fixed point characterization of three-valued stable model semantics
S Bonnier, U Nilsson, T Naslund
Information processing letters, 1990
261990
Towards a framework for the abstract interpretation of logic programs
U Nilsson
International Workshop on Programming Language Implementation and Logic …, 1988
251988
Magic computation for well-founded semantics
L Degerstedt, U Nilsson
International Workshop on Non-monotonic Extensions of Logic Programming, 181-204, 1994
151994
A logic based asynchronous multi-agent system
P Dell'Acqua, U Nilsson, LM Pereira
Electronic Notes in Theoretical Computer Science 70 (5), 72-88, 2002
142002
Detailed design of avionics control software
U Nilsson, S Streiffert, A Torne
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No. 98CB36279), 82-91, 1998
131998
Logic programs with external procedures
J Maluszynski, S Bonnier, J Boye, F Kluzniak, A Kagedal, U Nilsson
Logic Programming Constraints, Functions, and Objects, 1993
131993
Abstract interpretations and abstract machines: contributions to a methodology for the implementation of logic programs
U Nilsson
Linköping University, 1992
131992
A systematic approach to abstract interpretation of logic programs
U Nilsson
Univ., 1989
121989
Abstract interpretation: A kind of magic
U Nilsson
Theoretical computer science 142 (1), 125-138, 1995
101995
Fault isolation in object oriented control systems
M Larsson, I Klein, D Lawesson, U Nilsson
IFAC Proceedings Volumes 33 (11), 1065-1069, 2000
82000
Model based fault isolation for object-oriented control systems
M Larsson, I Klein, D Lawesson, U Nilsson
Linköping University Electronic Press, 1999
71999
Model Checking Based Fault Isolation Using Automatic Abstraction
I Lawesson, U Nilsson, I Klein
Linköping University Electronic Press, 2003
62003
The need for fault isolation in object-oriented control systems
M Larsson, I Klein, D Lawesson, U Nilsson
Linköping University Electronic Press, 1999
51999
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20