Papers of Thomas Jensen

PhD thesis:

• T. Jensen: Abstract Interpretation in Logical Form. PhD thesis, Imperial College, University of London, November 1992.

Journals:

• T. Jensen: Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs. Journal of Logic and Computation, Vol. 5 No. 4 pp. 397-421 1995, Oxford University Press
• T. Jensen: Disjunctive Program Analysis for Algebraic Data Types ACM Transactions on Programming Languages and Systems, Vol. 19 No. 5, pp. 752-804, September 1997 ACM Press

Conferences:

• T. Jensen and T. Mogensen: A backwards analysis for compile-time garbage collection. Proc. of European Symposium on Programming (ESOP'90) Copenhagen, Denmark, May 1990. Springer LNCS 432
• S. Abramsky and T. Jensen: A relational approach to strictness analysis for higher-order, polymorphic functions. Proc. of 18th ACM Symposiun on Principles of Programming Languages Orlando, FL, January 1991, ACM Press
• T. Jensen: Strictness analysis in logical form. Proc. of 5th ACM Conference on Functional Programming Languages and Computer Architectures Boston, MA, August 1991, Springer LNCS 523.
• T. Jensen: Disjunctive strictness analysis. Proc. of 7th IEEE Symposium on Logic in Computer Science Santa Cruz, CA, June 1992, IEEE Press.
• E. Goubault and T. Jensen: Homology of higher-dimensional automata. Proc. of 3rd International Conference on Concurrency Theory Stony Brook, NY, August 1992. Springer LNCS 630
• T. Jensen: Abstract Interpretation over Algebraic Datatypes. Proc. of 4th. International Conference on Computer Languages. Toulouse, May 1994, IEEE Press
• T. Jensen: Clock Analysis of Synchronous Dataflow Programs Proc. of ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation. San Diego, CA, June 1995. ACM Press
• T. Jensen and I. Mackie: Flow Analysis in the Geometry of Interaction Proc. of European Symposium on Programming, ESOP'96. Linkoping, Sweden, April 1996. Springer LNCS 1058.
• T. Jensen: Inference of polymorphic and conditional strictness properties Proc. of 25th ACM Symposiun on Principles of Programming Languages San Diego, CA, January 1998. ACM Press
• T. Jensen, D. Le Metayer and T. Thorn: Security and Dynamic Class loading in Java: A formalisation Proc. of 1998 IEEE Int. Conference on Computer Languages, pp. 4-15, Chicago, May 1998, IEEE Press
• T. Jensen, D. Le Metayer and T. Thorn: Verification of control flow based security properties . Proc. of 1999 IEEE Symposium on Security and Privacy, Oakland, CA, May 1999, IEEE Press.
• E. Denney and T. Jensen: Correctness of Java Card method lookup via logical relations . Proc. of European Symp. on Programming (ESOP 2000) Berlin, March 2000, Springer.