BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Cyprus
1 × Finland
1 × Germany
1 × Portugal
2 × USA
2 × United Kingdom
3 × Italy
Collaborated with:
A.Banerjee J.Hatcliff F.Nielson E.Rodríguez F.A.Turbak Y.Zhang S.Bandhakavi A.J.Kfoury S.M.Pericás-Geertsen H.R.Nielson V.P.Ranganath M.B.Dwyer Robby J.Hoag D.Greve
Talks about:
flow (5) inform (4) program (3) type (3) polymorph (2) properti (2) contract (2) analysi (2) specif (2) condit (2)

Person: Torben Amtoft

DBLP DBLP: Amtoft:Torben

Contributed to:

ESOP 20102010
FM 20082008
GPCE 20082008
POPL 20062006
ESOP 20052005
SAS 20042004
ESOP 20012001
ESOP 20002000
FASE 19981998
ESOP 19941994
WSA 19931993
PLILP 19921992

Wrote 12 papers:

ESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
FM-2008-AmtoftHRRHG #contract #data flow #specification
Specification and Checking of Software Contracts for Conditional Information Flow (TA, JH, ER, R, JH, DG), pp. 229–245.
GPCE-2008-ZhangAN #constraints #optimisation #theorem proving
From generic to specific: off-line optimization for a general constraint solver (YZ, TA, FN), pp. 45–54.
POPL-2006-AmtoftBB #data flow #logic #object-oriented #source code
A logic for information flow in object-oriented programs (TA, SB, AB), pp. 91–102.
ESOP-2005-RanganathABDH #slicing
A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
SAS-2004-AmtoftB #analysis #data flow #logic
Information Flow Analysis in Logical Form (TA, AB), pp. 100–115.
ESOP-2001-AmtoftKP #question #what
What Are Polymorphically-Typed Ambients? (TA, AJK, SMPG), pp. 206–220.
ESOP-2000-AmtoftT #polymorphism
Faithful Translations between Polyvariant Flows and Polymorphic Types (TA, FAT), pp. 26–40.
FASE-1998-NielsonAN #analysis #behaviour #case study #safety
Behaviour Analysis and Safety Conditions: A Case Study in CML (HRN, TA, FN), pp. 255–269.
ESOP-1994-Amtoft #fixpoint #re-engineering
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration (TA), pp. 43–57.
Minimal Thunkification (TA), pp. 218–229.
PLILP-1992-Amtoft #termination
Unfold/fold Transformations Preserving Termination Properties (TA), pp. 187–201.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.