|
СТ |
Flow Logic: A Multi-paradigmatic Approach to Static Analysis |
2002 |
Nielson H. R., Nielson F. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes |
2002 |
Bodei C., Degano P., Nielson F., Nielson H. R. |
|
|
|
FGCS |
23.07.2002 |
|
СТ |
A Kleene Analysis of Mobile Ambients |
2000 |
Nielson F., Nielson H. R., Sagiv M. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Type and Effect Systems |
1999 |
Nielson F., Nielson H. R. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Interprocedural Control Flow Analysis |
1999 |
Nielson F., Nielson H. R. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Static Analysis of Processes for No Read-Up and No Write-Down |
1999 |
Bodei C., Degano P., Nielson F., Nielson H. R. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
Behaviour Analysis and Safety Conditions: A Case Study in CML |
1998 |
Nielson H. R., Amtoft T., Nielson F. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
Flow Logics for Constraint Based Analysis |
1998 |
Nielson H. R., Nielson F. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Position Statements on Strategic Directions for Research on Programming Languages |
1997 |
Hankin C., Nielson H. R., Palsberg J. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
Prescriptive Frameworks for Multi-Level Lambda-Calculi |
1997 |
Nielson F., Nielson H. R. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
Systematic Realisation of Control Flow Analyses for CML |
1997 |
Gasser K.L. S., Nielson F., Nielson H. R. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Polymorphic Subtyping for Effect Analysis: The Static Semantics |
1997 |
Nielson H. R., Nielson F., Amtoft T. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics |
1997 |
Amtoft T., Nielson F., Nielson H. R., Ammann J. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Polymorphic Subtyping for Effect Analysis: The Algorithm |
1997 |
Nielson F., Nielson H. R., Amtoft T. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Multi-Level Lambda-Calculi: An Algebraic Description |
1996 |
Nielson F., Nielson H. R. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
|
СТ |
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages |
1995 |
Nielson H. R., Nielson F. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
СТ |
Constraints for Polymorphic Behaviours of Concurrent ML |
1994 |
Nielson F., Nielson H. R. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
Finiteness Conditions for Strictness Analysis |
1993 |
Nielson F., Nielson H. R. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
|
СТ |
Inference Systems for Binding Time Analysis |
1992 |
Solberg K. L., Nielson H. R., Nielson F. |
|
|
|
BIGRE |
11.11.1992 |
