dblp.uni-trier.dewww.uni-trier.de

Torben Amtoft Vis

Torben Amtoft Hansen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
27EETorben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve: Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245
26EEYe Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54
25EETorben Amtoft: Slicing for modern program structures: a theory for eliminating irrelevant loops. Inf. Process. Lett. 106(2): 45-51 (2008)
2007
24EETorben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. FMSE 2007: 2-11
23EEVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): (2007)
22EETorben Amtoft, Anindya Banerjee: A logic for information flow analysis with an application to forward slicing of simple imperative programs. Sci. Comput. Program. 64(1): 3-28 (2007)
2006
21EETorben Amtoft, Sruthi Bandhakavi, Anindya Banerjee: A logic for information flow in object-oriented programs. POPL 2006: 91-102
2005
20EEVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93
2004
19 Torben Amtoft, Henning Makholm, J. B. Wells: PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS 2004: 591604
18EETorben Amtoft, Anindya Banerjee: Information Flow Analysis in Logical Form. SAS 2004: 100-115
2003
17EETorben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
2002
16EETorben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær: The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357
15 Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: Orderly communication in the Ambient Calculus. Comput. Lang. 28(1): 29-60 (2002)
2001
14EETorben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: What Are Polymorphically-Typed Ambients? ESOP 2001: 206-220
2000
13EETorben Amtoft, Franklyn A. Turbak: Faithful Translations between Polyvariant Flows and Polymorphic Types. ESOP 2000: 26-40
1998
12EEHanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
11EETorben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)
1997
10 Torben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)
1996
9EEHanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
8EETorben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
7EEFlemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243
1994
6EETorben Amtoft: Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. ESOP 1994: 43-57
1993
5 Torben Amtoft: Minimal Thunkification. WSA 1993: 218-229
1992
4EETorben Amtoft: Unfold/fold Transformations Preserving Termination Properties. PLILP 1992: 187-201
3 Torben Amtoft, Jesper Larsson Träff: Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA. Theor. Comput. Sci. 98(2): 347-356 (1992)
1991
2 Torben Amtoft Hansen: Properties of Unfolding-based Meta-level Systems. PEPM 1991: 243-254
1989
1EETorben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones: Experiments with Implementations of Two Theoretical Constructions. Logic at Botik 1989: 119-133

Coauthor Index

1Jürgen Ammann [8]
2Sruthi Bandhakavi [21]
3Anindya Banerjee [18] [20] [21] [22] [23] [24]
4Charles Consel [16]
5Olivier Danvy [16]
6Matthew B. Dwyer [20] [23]
7David Greve [27]
8John Hatcliff [20] [23] [27]
9Jonathan Hoag [27]
10Neil D. Jones [1]
11Assaf J. Kfoury (A. J. Kfoury) [14] [15]
12Henning Makholm [19]
13Karoline Malmkjær [16]
14Robert Muller [17]
15Flemming Nielson [7] [8] [9] [10] [11] [12] [26]
16Hanne Riis Nielson [7] [8] [9] [10] [11] [12]
17Thomas Nikolajsen [1]
18Santiago M. Pericás-Geertsen [14] [15]
19Venkatesh Prasad Ranganath [20] [23]
20 Robby [27]
21Edwin Rodríguez [27]
22Jesper Larsson Träff [1] [3]
23Franklyn A. Turbak [13]
24J. B. Wells [19]
25Ye Zhang [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)