Imperial College London

Professor Christopher Hankin Director, Institute for Security Science and Technology

Faculty of EngineeringInstitute for Security Science & Technology

Co-Director of Institute for Security Science & Technology
 
 
 
//

Contact

 

+44 (0)20 7594 7619c.hankin Website

 
 
//

Assistant

 

Ms Denise McGurk +44 (0)20 7594 8864

 
//

Location

 

Sherfield BuildingSouth Kensington Campus

//

Summary

 

Publications

Publication Type
Year
to

118 results found

Arbab F, Ciancarini P, Hankin CL, 1998, Coordination Languages for Parallel Programming, Parallel Computing, Vol: 24

JOURNAL ARTICLE

Hankin CL, 1998, Special issue on ETIP'98, Nordic Journal of Computing

JOURNAL ARTICLE

Hankin CL, 1998, Programming Languages and Systems, ETIP'98, Publisher: Springer-Verlag

CONFERENCE PAPER

Hankin CL, 1998, Program Analysis Tools, Software Tools for Technology Transfer, Vol: 2

JOURNAL ARTICLE

Hankin CL, Gorrieri R, 1998, Coordination Languages, Theoretical Computer Science

JOURNAL ARTICLE

Hankin CL, Le Metayer D, 1998, Refining Multiset Transformers, Theoretical Computer Science

JOURNAL ARTICLE

Malacaria P, Hankin CL, 1998, A New Approach to Control Flow Analysts, Proceedings CC 98, Publisher: Springer-Verlag

CONFERENCE PAPER

Malacaria P, Hankin CL, 1998, A new approach to Control Flow Analysis, Proceedings of CC'98, Publisher: Springer-Verlag

CONFERENCE PAPER

Malacaria P, Hankin CL, 1998, Checking Security through Semantics, Proceedings of the Theory and Formal Methods workshop

CONFERENCE PAPER

Malacaria P, Hankin CL, 1998, Generalised Flowcharts and Games, Proceedings of ICALP'98, Publisher: Springer-Verlag

CONFERENCE PAPER

Hankin CL, Nielson HR, Palsberg J, 1997, Position Statements on Strategic Directions for Research on Programming Languages, ACM Sigplan Notices

JOURNAL ARTICLE

Andreoli JM, Hankin CL, Le Metayer D, 1996, Coordination Programming: Mechanisms, Models and Semantics, Publisher: Imperial College Press

BOOK

Gay S, Hankin CL, 1996, Gamma and the logic of Transition Traces, Theory and Formal Methods of Computing 95, Publisher: IC Press

CONFERENCE PAPER

Hankin CL, Nielson HR, Palsberg J, 1996, Strategic Directions for Research on Programming Languages, Acm Computing Surveys, Vol: 28, Pages: 644-652

JOURNAL ARTICLE

, 1996, [no title supplied on import], Symposium on Models of Programming Languages and Computation, Pages: 293-294

CONFERENCE PAPER

, 1996, [no title supplied on import], Coordination '96: Coordination Languages and Models, Publisher: Springer Verlag

CONFERENCE PAPER

Hankin CL, Le Metayer D, 1995, Lazy Type Inference and Program Analysis, Science of Computer Programming, Vol: 25, Pages: 219-249

JOURNAL ARTICLE

Hankin CL, Nielson HR, 1995, New Trends in the Integration of Paradigms, Dagstuhl Seminar Report, 9538

REPORT

Clark D, Errington L, Hankin CL, 1994, Static Analysis of value passing process calculi, Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Publisher: IC Press

CONFERENCE PAPER

Hankin CL, 1994, Lambda Calculi, Publisher: Oxford University Press

BOOK

Hankin CL, Hunt S, 1994, Approximate Fixed Points in Abstract Interpretation, Science of Computer Programming, Vol: 22

JOURNAL ARTICLE

Hankin CL, Le Metayer D, 1994, Lazy type inference for the strictness analysis of lists, Proceedings ESOP'94, Publisher: Springer

CONFERENCE PAPER

Hankin CL, Le Metayer D, 1994, Deriving algorithms from type inference systems: Application to strictness analysis, Proceedings 21st ACM Symposium on Principles of Programming Languages, Publisher: ACM Press

CONFERENCE PAPER

Hankin CL, Le Metayer D, 1994, A type-based framework for program analysis, Proceedings SAS'94, Publisher: Springer

CONFERENCE PAPER

BURN GL, HANKIN CL, ABRAMSKY S, 1986, THE THEORY OF STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS, LECTURE NOTES IN COMPUTER SCIENCE, Vol: 217, Pages: 42-62, ISSN: 0302-9743

JOURNAL ARTICLE

HANKIN CL, BURN GL, JONES SLP, 1986, A SAFE APPROACH TO PARALLEL COMBINATOR REDUCTION, LECTURE NOTES IN COMPUTER SCIENCE, Vol: 213, Pages: 99-110, ISSN: 0302-9743

JOURNAL ARTICLE

HANKIN CL, OSMON PE, SHUTE MJ, 1985, COBWEB - A COMBINATOR REDUCTION ARCHITECTURE, LECTURE NOTES IN COMPUTER SCIENCE, Vol: 201, Pages: 99-112, ISSN: 0302-9743

JOURNAL ARTICLE

Glaser H, Hankin C, Till D, 1984, Principles of Functional Programming, New Jersey, Publisher: Prentice Hall

BOOK

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://wlsprd.imperial.ac.uk:80/respub/WEB-INF/jsp/search-html.jsp Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: id=00002556&limit=30&person=true&page=4&respub-action=search.html