Nielson, Flemming, 1955-....
Nielson, Flemming
Flemming Nielson Danish professor
VIAF ID: 51843762 ( Personal )
Permalink: http://viaf.org/viaf/51843762
Preferred Forms
- 100 0 _ ‡a Flemming Nielson ‡c Danish professor
-
-
-
- 100 1 _ ‡a Nielson, Flemming
-
-
- 100 1 _ ‡a Nielson, Flemming ‡d 1955-
- 100 1 _ ‡a Nielson, Flemming ‡d 1955-
-
-
- 100 1 0 ‡a Nielson, Flemming, ‡d 1955-
-
-
- 100 1 _ ‡a Nielson, Flemming, ‡d 1955-....
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
- 500 1 _ ‡a Nielson, Hanne Riis ‡d 1954- ‡4 bezf ‡4 https://d-nb.info/standards/elementset/gnd#familialRelationship ‡e Beziehung familiaer
Works
Title | Sources |
---|---|
Automatic binding time analysis for a typed λ-calculus | |
Behaviour analysis for validating communication patterns | |
Compiler writing using denotational semantics | |
Constraints for polymorphic behaviours of concurrent ML | |
Denmark. Hof- og statskal., 1988: | |
Design, analysis and reasoning about tools | |
Design-efficiency in security | |
Experiments with succinct solvers | |
Formal methods : an appetizer | |
From CML to process algebras | |
Functional completeness of the mixed λ-calculus and combinatory logic | |
Interprocedural control flow analysis | |
Iterative algorithms for fixed point computation | |
Lazy mobile intruders | |
ML with concurrency design, analysis, implementation, and application | |
Observation predicated in flow logic | |
Polymorphic subtyping for side effects | |
Principles of program analysis | |
Program transformations in a denotational setting | |
Security for mobility | |
Semantic foundations of data flow analysis | |
Semantics with applications an appetizer | |
Static and dynamic processor allocation for higher-order concurrent languages | |
Strictness and totality analysis | |
Tensor products generalize the relational data flow analysis method | |
Termination analysis based on operational semantics | |
Theoretical aspects of semantics-based language implementation = Teoretiske aspekter af semantik-baseret sprog-implementation | |
Towards a denotational theory of abstract interpretation | |
Trustworthy Global Computing : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : Revised Selected Papers | |
Two-level functional languages | |
Two-level semantics and code generation | |
Type and effect systems : behaviours for concurrency | |
Using transformations in the implementation of higher-order functions | |
Verification of a compiling specification | |
The ¤TML-approach to compiler-compilers | |
The ¤typed λ-calculus with first-class processes |