Deep Type Inference for Mobile Functions

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We consider the problem of assessing the trustworthiness of mobile code. We introduce the idea of deep type inference on compiled object code and explain its usefulness as a method of deciding the level of security management which a unit of mobile code will require.
Original languageEnglish
Title of host publicationSelected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999
EditorsPhilip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
PublisherIntellect Ltd.
Number of pages9
ISBN (Print)1-84150-024-0
Publication statusPublished - 2000

Publication series

NameTrends in Functional Programming

Cite this