Вы здесь

Nielson H. R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Inference Systems for Binding Time Analysis 1992 Solberg K. L., Nielson H. R., Nielson F. BIGRE 11.11.1992
СТ Finiteness Conditions for Strictness Analysis 1993 Nielson F., Nielson H. R. Lecture Notes in Computer Science 11.12.1993
СТ Constraints for Polymorphic Behaviours of Concurrent ML 1994 Nielson F., Nielson H. R. Lecture Notes in Computer Science 01.10.1994
СТ Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages 1995 Nielson H. R., Nielson F. Lecture Notes in Computer Science 20.06.1995
СТ Multi-Level Lambda-Calculi: An Algebraic Description 1996 Nielson F., Nielson H. R. Lecture Notes in Computer Science Partial Evaluation 10.10.1996
СТ 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 Algorithm 1997 Nielson F., Nielson H. R., 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 Static Semantics 1997 Nielson H. R., Nielson F., Amtoft T. Lecture Notes in Computer Science 20.02.1997
СТ 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
СТ 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
СТ A Kleene Analysis of Mobile Ambients 2000 Nielson F., Nielson H. R., Sagiv M. Lecture Notes in Computer Science 25.04.2000
СТ 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