Torben Amtoft

发表

An alternative characterization of weak order dependence

Mark Harman, David Clark, Torben Amtoft, 2010, Inf. Process. Lett..

A logic for information flow analysis with an application to forward slicing of simple imperative programs

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2007, Sci. Comput. Program..

Polymorphic Subtyping for Effect Analysis: The Algorithm

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996, LOMAPS.

Properties of unfolding-based meta-level systems

Torben Amtoft, 1991, PEPM '91.

A Theory of Slicing for Probabilistic Control Flow Graphs

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2016, FoSSaCS.

Inferring annotated types for inter-procedural register allocation with constructor flattening

Torben Amtoft, Robert Muller, 2003, TLDI '03.

Behaviour Analysis and Safety Conditions: A Case Study in CML

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1998, FASE.

Correctly Slicing Extended Finite State Machines

Torben Amtoft, Kelly Androutsopoulos, David Clark, 2020, From Lambda Calculus to Cybersecurity Through Program Analysis.

Experiments with Implementations of Two Theoretical Constructions

Jesper Larsson Träff, Neil D. Jones, Torben Amtoft, 1989, Logic at Botik.

Polymorphic Subtyping for Effect Analysis: the Algroithm

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996 .

A Theory of Slicing for Imperative Probabilistic Programs

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2020, ACM Trans. Program. Lang. Syst..

Behaviour Analysis and Safety Conditions: a Case Study in CML

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997 .

Behavior analysis for validating communication patterns

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1998, International Journal on Software Tools for Technology Transfer.

Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996, LOMAPS.

Mobile Processes with Dependent Communication Types and Singleton Types for Names and Capabilities

Torben Amtoft, Joe B. Wells, 2002 .

From generic to specific: off-line optimization for a general constraint solver

Flemming Nielson, Ye Zhang, Torben Amtoft, 2008, GPCE '08.

Polymorphic Subtyping for Effect Analysis: The Semantics

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996 .

A new foundation for control dependence and slicing for modern program structures

Matthew B. Dwyer, Torben Amtoft, Anindya Banerjee, 2005, TOPL.

PolyA: True Type Polymorphism for Mobile Ambients

Torben Amtoft, Joe B. Wells, Henning Makholm, 2004, IFIP TCS.

Polymorphic Subtyping for Effect Analysis: The Integration

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996 .

UTRA/FDD RF Transceiver Requirements

Troels E. Kolding, Torben Larsen, Torben Amtoft, 2002, Wirel. Pers. Commun..

Specification and Checking of Software Contracts for Conditional Information Flow

Torben Amtoft, John Hatcliff, Robby, 2008, FM.

Flow-sensitive type systems and the ambient calculus

Torben Amtoft, 2008, High. Order Symb. Comput..

SlicingforModernProgramStructures:aTheoryforEliminating IrrelevantLoops 1

Torben Amtoft, 2007 .

A logic for information flow in object-oriented programs

Torben Amtoft, Anindya Banerjee, Sruthi Bandhakavi, 2006, POPL '06.

Orderly communication in the Ambient Calculus

Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericás-Geertsen, 2002, Comput. Lang. Syst. Struct..

Verification Condition Generation for Conditional Information Flow∗ **DRAFT** as of June 17, 2007

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2007 .

Slicing for modern program structures: a theory for eliminating irrelevant loops

Torben Amtoft, Torben Amtoft, 2008, Inf. Process. Lett..

Minimal Thunkification

Torben Amtoft, 1993, WSA.

Sharing of Computations

Torben Amtoft, Torben Amtoft, 1993 .

A Semantics for Probabilistic Control-Flow Graphs pdf

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2017, ArXiv.

Behaviour Analysis for Validating Communication Patterns

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997 .

Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA

Torben Amtoft, Jesper Larsson Träff, 1992, Theor. Comput. Sci..

A Logic for Information Flow Analysis of Pointer Programs

Torben Amtoft, Anindya Banerjee, Sruthi Bandhakavi, 2006 .

The Inference Algorithm

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .

A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow

Andrew W. Appel, Zhi Zhang, Xinming Ou, 2012, POST.

Post-processing the Analysis

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .

Local Type Reconstruction by Means of Symbolic Fixed Point Iteration

Torben Amtoft, 1994, ESOP.

The Abstraction and Instantiation of String-Matching Programs

Olivier Danvy, Torben Amtoft, Charles Consel, 2001 .

Information Flow Analysis in Logical Form

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2004, SAS.

Partial Evaluation for Constraint-Based Program Analyses

Torben Amtoft, Torben Amtoft, 1999 .

What Are Polymorphically-Typed Ambients?

Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericás-Geertsen, 2001, ESOP.

Proceedings Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday: Personal Memories

Torben Amtoft, 2013 .

Faithful Translations between Polyvariant Flows and Polymorphic Types

Torben Amtoft, Franklyn A. Turbak, Torben Amtoft, 2000, ESOP.

The Inference Algorithm: Completeness

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .

The Abstraction and Instantiation of String-Matching Programs

Olivier Danvy, Torben Amtoft, Charles Consel, 2001, The Essence of Computation.

Strictness Types: An Inference Algorithm and an Application

Torben Amtoft, 1993 .

Unfold/fold Transformations Preserving Termination Properties

Torben Amtoft, 1992, PLILP.

An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems

Torben Amtoft, John Hatcliff, Anindya Banerjee, 2009 .

Type and effect systems - behaviours for concurrency

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .

Faithful Translations between Polyvariant Flows and Polymorphic Types

Torben Amtoft, Franklyn Turbak, 2000, ESOP.

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays

Torben Amtoft, John Hatcliff, Edwin Rodríguez, 2010, ESOP.

technical report: Mobile Processes with Dependant Communication Types and Singleton Types for Names and Capabilities

Torben Amtoft, Joe B. Wells, 2002 .

Verification condition generation for conditional information flow

Torben Amtoft, Anindya Banerjee, A. Banerjee, 2007, FMSE '07.

Polymorphic Subtyping for Effect Analysis: The Static Semantics

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996, LOMAPS.

Polymorphic Subtyping for Side Effects

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997 .

RF Requirements for UTRA/FDD Transceivers

Torben Larsen, Torben Amtoft, Jan H. Mikkelsen, 2001 .

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997, J. Funct. Program..

Specification and Checking of Software Contracts for Conditional Information Flow

Torben Amtoft, John Hatcliff, Robby, 2008, World Congress on Formal Methods.

Causal Type System for Ambient Movements

Torben Amtoft, 2006 .

Unfold/fold Transformations Preserving Termination Properties

Torben Amtoft, 1992 .

Correctness of Practical Slicing for Modern Program Structures

Torben Amtoft, Torben Amtoft, 2007 .

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1995 .