Search results for "Torben Amtoft"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino	A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.	POST	2012	DBLP DOI BibTeX RDF
1	Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li	An alternative characterization of weak order dependence.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
1	Torben Amtoft, John Hatcliff, Edwin Rodríguez	Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.	ESOP	2010	DBLP DOI BibTeX RDF
1	Torben Amtoft	Slicing for modern program structures: a theory for eliminating irrelevant loops.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
1	Torben Amtoft	Flow-sensitive type systems and the ambient calculus.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF
1	Ye Zhang 0002, Torben Amtoft, Flemming Nielson	From generic to specific: off-line optimization for a general constraint solver.	GPCE	2008	DBLP DOI BibTeX RDF	off-line optimization, solver technology, constraints, program analysis, datalog, unification
1	Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve	Specification and Checking of Software Contracts for Conditional Information Flow.	FM	2008	DBLP DOI BibTeX RDF
1	Torben Amtoft, Anindya Banerjee	A logic for information flow analysis with an application to forward slicing of simple imperative programs.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
1	Venkatesh 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.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
1	Torben Amtoft, Anindya Banerjee	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
1	Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee	A logic for information flow in object-oriented programs.	POPL	2006	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
1	Venkatesh 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	DBLP DOI BibTeX RDF
1	Torben Amtoft, Henning Makholm, J. B. Wells	PolyA: True Type Polymorphism for Mobile Ambients.	IFIP TCS	2004	DBLP BibTeX RDF
1	Torben Amtoft, Anindya Banerjee	Information Flow Analysis in Logical Form.	SAS	2004	DBLP DOI BibTeX RDF
1	Torben Amtoft, Robert Muller	Inferring annotated types for inter-procedural register allocation with constructor flattening.	TLDI	2003	DBLP DOI BibTeX RDF	type systems, register allocation, effects, defunctionalization, certifying compilers
1	Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen	Orderly communication in the Ambient Calculus.	Comput. Lang.	2002	DBLP DOI BibTeX RDF
1	Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær	The Abstraction and Instantiation of String-Matching Programs.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
1	Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen	What Are Polymorphically-Typed Ambients?	ESOP	2001	DBLP DOI BibTeX RDF
1	Torben Amtoft, Franklyn A. Turbak	Faithful Translations between Polyvariant Flows and Polymorphic Types.	ESOP	2000	DBLP DOI BibTeX RDF
1	Torben Amtoft, Hanne Riis Nielson, Flemming Nielson	Type and effect systems - behaviours for concurrency.		1999	RDF
1	Torben Amtoft, Hanne Riis Nielson, Flemming Nielson	Behavior Analysis for Validating Communication Patterns.	STTT	1998	DBLP DOI BibTeX RDF	Validation of safety conditions, Process algebras, Type and effect systems, Concurrent ML
1	Hanne Riis Nielson, Torben Amtoft, Flemming Nielson	Behaviour Analysis and Safety Conditions: A Case Study in CML.	FASE	1998	DBLP DOI BibTeX RDF	formal program development, Embedded systems, program analysis
1	Torben Amtoft, Flemming Nielson, Hanne Riis Nielson	Type and Behaviour Reconstruction for Higher-Order Concurrent Programs.	J. Funct. Program.	1997	DBLP BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Torben Amtoft	Polymorphic Subtyping for Effect Analysis: The Algorithm.	LOMAPS	1996	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson, Torben Amtoft	Polymorphic Subtyping for Effect Analysis: The Static Semantics.	LOMAPS	1996	DBLP DOI BibTeX RDF
1	Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann	Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.	LOMAPS	1996	DBLP DOI BibTeX RDF
1	Torben Amtoft	Local Type Reconstruction by Means of Symbolic Fixed Point Iteration.	ESOP	1994	DBLP DOI BibTeX RDF
1	Torben Amtoft	Minimal Thunkification.	WSA	1993	DBLP DOI BibTeX RDF
1	Torben Amtoft, Jesper Larsson Träff	Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
1	Torben Amtoft	Unfold/fold Transformations Preserving Termination Properties.	PLILP	1992	DBLP DOI BibTeX RDF
1	Torben Amtoft Hansen	Properties of Unfolding-based Meta-level Systems.	PEPM	1991	DBLP DOI BibTeX RDF
1	Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones	Experiments with Implementations of Two Theoretical Constructions.	Logic at Botik	1989	DBLP DOI BibTeX RDF

Publications of Torben Amtoft Torben Amtoft Hansen ( http://dblp.L3S.de/Authors/Torben_Amtoft )