Hankin, Chris.
Hankin, Chris, 1954-....
Hankin, Chris, Computer science
Chris Hankin Ph.D. University of London 1979
VIAF ID: 91794833 (Personal)
Permalink: http://viaf.org/viaf/91794833
Preferred Forms
- 100 0 _ ‡a Chris Hankin ‡c Ph.D. University of London 1979
- 200 _ | ‡a Hankin ‡b Chris
-
-
-
-
-
- 100 1 0 ‡a Hankin, Chris
- 100 1 _ ‡a Hankin, Chris
-
-
- 100 1 _ ‡a Hankin, Chris ‡d 1954-
- 100 1 _ ‡a Hankin, Chris ‡d 1954-
-
-
- 100 1 _ ‡a Hankin, Chris, ‡d 1954-....
-
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Abstract interpretation of declarative languages, 1987: | |
Analyse sémantique relationnelle des indices de tableaux par congruences et trapézoïdes rationnels | |
Analyses totales de programmes par interprétation abstraite : application au langage C++ | |
Array indices relational semantic analysis using rational cosets and trapezoids. | |
A calculus of gammma programs | |
Coordination languages and models : first international conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996 : proceedings | |
Coordination programming, c1996: | |
ESOP'98 | |
ETAPS'98 | |
Lambda calculi | |
Models of Computation : An Introduction to Computability Theory | |
Principes de programmation fonctionnelle | |
Principles of functional programming, 1984: | |
Principles of program analysis with 51 tables | |
Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings | |
SAS 2005 | |
Security science and technology | |
Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays | |
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings | |
Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop |