BibSonomy :: author  ::

bookmarks

publications

(27)

• Specification and Checking of Software Contracts for Conditional Information Flow.
  Torben Amtoft and John Hatcliff and Edwin Rodríguez and Robby and Jonathan Hoag and David Greve FM 229-245 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Verification condition generation for conditional information flow.
  Torben Amtoft and Anindya Banerjee FMSE 2-11 (2007)
  to dblp by dblp on 2008-04-09 00:00:00
  | URL | BibTeX  
• Slicing for modern program structures: a theory for eliminating irrelevant loops.
  Torben Amtoft Inf. Process. Lett. 106 45-51 (2008)
  to dblp by dblp on 2008-03-05 00:00:00
  | URL | BibTeX  
• A new foundation for control dependence and slicing for modern program structures.
  Venkatesh Prasad Ranganath and Torben Amtoft and Anindya Banerjee and John Hatcliff and Matthew B. Dwyer ACM Trans. Program. Lang. Syst. 29 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• A logic for information flow analysis with an application to forward slicing of simple imperative programs.
  Torben Amtoft and Anindya Banerjee Sci. Comput. Program. 64 3-28 (2007)
  to dblp by dblp on 2007-03-30 00:00:00
  | URL | BibTeX  
• A logic for information flow in object-oriented programs.
  Torben Amtoft and Sruthi Bandhakavi and Anindya Banerjee POPL 91-102 (2006)
  to dblp by dblp on 2006-02-21 00:00:00
  | URL | BibTeX  
• Inferring annotated types for inter-procedural register allocation with constructor flattening.
  Torben Amtoft and Robert Muller TLDI 86-97 (2003)
  to dblp by dblp and 1 other person on 2006-02-15 00:00:00
  | URL | BibTeX  
• A New Foundation for Control-Dependence and Slicing for Modern Program Structures.
  Venkatesh Prasad Ranganath and Torben Amtoft and Anindya Banerjee and Matthew B. Dwyer and John Hatcliff ESOP 77-93 (2005)
  to dblp by dblp on 2005-03-18 00:00:00
  | URL | BibTeX  
• PolyA: True Type Polymorphism for Mobile Ambients.
  Torben Amtoft and Henning Makholm and J. B. Wells IFIP TCS 591604 (2004)
  to dblp by dblp on 2005-01-25 00:00:00
  | URL | BibTeX  
• Information Flow Analysis in Logical Form.
  Torben Amtoft and Anindya Banerjee SAS 100-115 (2004)
  to dblp by dblp on 2004-12-13 00:00:00
  | URL | BibTeX