The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Torben Amtoft: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
    The Abstraction and Instantiation of String-Matching Programs. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:332-357 [Conf]
  2. Torben Amtoft
    Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:43-57 [Conf]
  3. Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
    What Are Polymorphically-Typed Ambients? [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:206-220 [Conf]
  4. Torben Amtoft, Franklyn A. Turbak
    Faithful Translations between Polyvariant Flows and Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:26-40 [Conf]
  5. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
    A New Foundation for Control-Dependence and Slicing for Modern Program Structures. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:77-93 [Conf]
  6. Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
    Behaviour Analysis and Safety Conditions: A Case Study in CML. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:255-269 [Conf]
  7. Torben Amtoft, Henning Makholm, J. B. Wells
    PolyA: True Type Polymorphism for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:591604- [Conf]
  8. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
    Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:172-206 [Conf]
  9. Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
    Polymorphic Subtyping for Effect Analysis: The Static Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:141-171 [Conf]
  10. Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
    Polymorphic Subtyping for Effect Analysis: The Algorithm. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:207-243 [Conf]
  11. Torben Amtoft
    Unfold/fold Transformations Preserving Termination Properties. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:187-201 [Conf]
  12. Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee
    A logic for information flow in object-oriented programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:91-102 [Conf]
  13. Torben Amtoft
    Minimal Thunkification. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:218-229 [Conf]
  14. Torben Amtoft, Anindya Banerjee
    Information Flow Analysis in Logical Form. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:100-115 [Conf]
  15. Torben Amtoft, Robert Muller
    Inferring annotated types for inter-procedural register allocation with constructor flattening. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:86-97 [Conf]
  16. Torben Amtoft, Robert Muller
    Inferring annotated types for inter-procedural register allocation with constructor flattening. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:86-97 [Conf]
  17. Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
    Orderly communication in the Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2002, v:28, n:1, pp:29-60 [Journal]
  18. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
    Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:3, pp:321-347 [Journal]
  19. Torben Amtoft, Anindya Banerjee
    A logic for information flow analysis with an application to forward slicing of simple imperative programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:1, pp:3-28 [Journal]
  20. Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
    Behavior Analysis for Validating Communication Patterns. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:13-28 [Journal]
  21. Torben Amtoft, Jesper Larsson Träff
    Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:98, n:2, pp:347-356 [Journal]
  22. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
    A new foundation for control dependence and slicing for modern program structures. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]

  23. Verification condition generation for conditional information flow. [Citation Graph (, )][DBLP]


  24. Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. [Citation Graph (, )][DBLP]


  25. Specification and Checking of Software Contracts for Conditional Information Flow. [Citation Graph (, )][DBLP]


  26. From generic to specific: off-line optimization for a general constraint solver. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002