Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Torben Amtoft
@article{DBLP:journals/toplas/AmtoftB20,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Theory of Slicing for Imperative Probabilistic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {6:1--6:71},
year = {2020},
url = {https://doi.org/10.1145/3372895},
doi = {10.1145/3372895},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AmtoftB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AmtoftAC15,
author = {Torben Amtoft and
Kelly Androutsopoulos and
David Clark},
editor = {Alessandra Di Pierro and
Pasquale Malacaria and
Rajagopal Nagarajan},
title = {Correctly Slicing Extended Finite State Machines},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
Dedicated to Chris Hankin on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {12065},
pages = {149--197},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41103-9\_6},
doi = {10.1007/978-3-030-41103-9\_6},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AmtoftAC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-02246,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Theory of Slicing for Probabilistic Control-Flow Graphs},
journal = {CoRR},
volume = {abs/1711.02246},
year = {2017},
url = {http://arxiv.org/abs/1711.02246},
eprinttype = {arXiv},
eprint = {1711.02246},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-02246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-02256,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Semantics for Probabilistic Control-Flow Graphs},
journal = {CoRR},
volume = {abs/1711.02256},
year = {2017},
url = {http://arxiv.org/abs/1711.02256},
eprinttype = {arXiv},
eprint = {1711.02256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-02256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AmtoftB16,
author = {Torben Amtoft and
Anindya Banerjee},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {A Theory of Slicing for Probabilistic Control Flow Graphs},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {180--196},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_11},
doi = {10.1007/978-3-662-49630-5\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AmtoftB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AmtoftDZABHOC12,
author = {Torben Amtoft and
Josiah Dodds and
Zhi Zhang and
Andrew W. Appel and
Lennart Beringer and
John Hatcliff and
Xinming Ou and
Andrew Cousino},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {A Certificate Infrastructure for Machine-Checked Proofs of Conditional
Information Flow},
booktitle = {Principles of Security and Trust - First International Conference,
{POST} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7215},
pages = {369--389},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28641-4\_20},
doi = {10.1007/978-3-642-28641-4\_20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/AmtoftDZABHOC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AmtoftACHL10,
author = {Torben Amtoft and
Kelly Androutsopoulos and
David Clark and
Mark Harman and
Zheng Li},
title = {An alternative characterization of weak order dependence},
journal = {Inf. Process. Lett.},
volume = {110},
number = {21},
pages = {939--943},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.07.023},
doi = {10.1016/J.IPL.2010.07.023},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/AmtoftACHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AmtoftHR10,
author = {Torben Amtoft and
John Hatcliff and
Edwin Rodr{\'{\i}}guez},
editor = {Andrew D. Gordon},
title = {Precise and Automated Contract-Based Reasoning for Verification and
Certification of Information Flow Properties of Programs with Arrays},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {43--63},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_4},
doi = {10.1007/978-3-642-11957-6\_4},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/AmtoftHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/AmtoftHRRHG10,
author = {Torben Amtoft and
John Hatcliff and
Edwin Rodr{\'{\i}}guez and
Robby and
Jonathan Hoag and
David A. Greve},
editor = {David S. Hardin},
title = {Specification and Checking of Software Contracts for Conditional Information
Flow},
booktitle = {Design and Verification of Microprocessor Systems for High-Assurance
Applications},
pages = {341--379},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-1539-9\_12},
doi = {10.1007/978-1-4419-1539-9\_12},
timestamp = {Fri, 17 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/10/AmtoftHRRHG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Amtoft08,
author = {Torben Amtoft},
title = {Slicing for modern program structures: a theory for eliminating irrelevant
loops},
journal = {Inf. Process. Lett.},
volume = {106},
number = {2},
pages = {45--51},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2007.10.002},
doi = {10.1016/J.IPL.2007.10.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Amtoft08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Amtoft08,
author = {Torben Amtoft},
title = {Flow-sensitive type systems and the ambient calculus},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {4},
pages = {411--442},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9039-z},
doi = {10.1007/S10990-008-9039-Z},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Amtoft08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AmtoftHRRHG08,
author = {Torben Amtoft and
John Hatcliff and
Edwin Rodr{\'{\i}}guez and
Robby and
Jonathan Hoag and
David A. Greve},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Specification and Checking of Software Contracts for Conditional Information
Flow},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {229--245},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_17},
doi = {10.1007/978-3-540-68237-0\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AmtoftHRRHG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ZhangAN08,
author = {Ye Zhang and
Torben Amtoft and
Flemming Nielson},
editor = {Yannis Smaragdakis and
Jeremy G. Siek},
title = {From generic to specific: off-line optimization for a general constraint
solver},
booktitle = {Generative Programming and Component Engineering, 7th International
Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
Proceedings},
pages = {45--54},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449913.1449922},
doi = {10.1145/1449913.1449922},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/ZhangAN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AmtoftB07,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A logic for information flow analysis with an application to forward
slicing of simple imperative programs},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {3--28},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.002},
doi = {10.1016/J.SCICO.2006.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AmtoftB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RanganathABHD07,
author = {Venkatesh Prasad Ranganath and
Torben Amtoft and
Anindya Banerjee and
John Hatcliff and
Matthew B. Dwyer},
title = {A new foundation for control dependence and slicing for modern program
structures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {27},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275502},
doi = {10.1145/1275497.1275502},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RanganathABHD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AmtoftB07,
author = {Torben Amtoft and
Anindya Banerjee},
editor = {Peng Ning and
Vijay Atluri and
Virgil D. Gligor and
Heiko Mantel},
title = {Verification condition generation for conditional information flow},
booktitle = {Proceedings of the 2007 {ACM} workshop on Formal methods in security
engineering, {FMSE} 2007, Fairfax, VA, USA, November 2, 2007},
pages = {2--11},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1314436.1314438},
doi = {10.1145/1314436.1314438},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/AmtoftB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmtoftBB06,
author = {Torben Amtoft and
Sruthi Bandhakavi and
Anindya Banerjee},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {A logic for information flow in object-oriented programs},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {91--102},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111046},
doi = {10.1145/1111037.1111046},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/AmtoftBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RanganathABDH05,
author = {Venkatesh Prasad Ranganath and
Torben Amtoft and
Anindya Banerjee and
Matthew B. Dwyer and
John Hatcliff},
editor = {Shmuel Sagiv},
title = {A New Foundation for Control-Dependence and Slicing for Modern Program
Structures},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {77--93},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_7},
doi = {10.1007/978-3-540-31987-0\_7},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/RanganathABDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AmtoftMW04,
author = {Torben Amtoft and
Henning Makholm and
J. B. Wells},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {PolyA: True Type Polymorphism for Mobile Ambients},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {591--604},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_45},
doi = {10.1007/1-4020-8141-3\_45},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AmtoftMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AmtoftB04,
author = {Torben Amtoft and
Anindya Banerjee},
editor = {Roberto Giacobazzi},
title = {Information Flow Analysis in Logical Form},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {100--115},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_10},
doi = {10.1007/978-3-540-27864-1\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/AmtoftB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/AmtoftM03,
author = {Torben Amtoft and
Robert Muller},
editor = {Zhong Shao and
Peter Lee},
title = {Inferring annotated types for inter-procedural register allocation
with constructor flattening},
booktitle = {Proceedings of TLDI'03: 2003 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, New Orleans, Louisiana,
USA, January 18, 2003},
pages = {86--97},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604174.604186},
doi = {10.1145/604174.604186},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/tldi/AmtoftM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/AmtoftKP02,
author = {Torben Amtoft and
A. J. Kfoury and
Santiago M. Peric{\'{a}}s{-}Geertsen},
title = {Orderly communication in the Ambient Calculus},
journal = {Comput. Lang. Syst. Struct.},
volume = {28},
number = {1},
pages = {29--60},
year = {2002},
url = {https://doi.org/10.1016/S0096-0551(02)00007-3},
doi = {10.1016/S0096-0551(02)00007-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/AmtoftKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/MadsenJARMLKLJ02,
author = {Per Madsen and
Ole K. Jensen and
Torben Amtoft and
Ragnar V. Reynisson and
Jan H. Mikkelsen and
S{\o}ren Laursen and
Troels E. Kolding and
Torben Larsen and
Michael Bohl Jenner},
title = {{UTRA/FDD} {RF} Transceiver Requirements},
journal = {Wirel. Pers. Commun.},
volume = {23},
number = {1},
pages = {55--66},
year = {2002},
url = {https://doi.org/10.1023/A:1020918125515},
doi = {10.1023/A:1020918125515},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wpc/MadsenJARMLKLJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AmtoftCDM02,
author = {Torben Amtoft and
Charles Consel and
Olivier Danvy and
Karoline Malmkj{\ae}r},
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {The Abstraction and Instantiation of String-Matching Programs},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
pages = {332--357},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7\_15},
doi = {10.1007/3-540-36377-7\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AmtoftCDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AmtoftKP01,
author = {Torben Amtoft and
A. J. Kfoury and
Santiago M. Peric{\'{a}}s{-}Geertsen},
editor = {David Sands},
title = {What Are Polymorphically-Typed Ambients?},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {206--220},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_14},
doi = {10.1007/3-540-45309-1\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AmtoftKP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AmtoftT00,
author = {Torben Amtoft and
Franklyn A. Turbak},
editor = {Gert Smolka},
title = {Faithful Translations between Polyvariant Flows and Polymorphic Types},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {26--40},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_2},
doi = {10.1007/3-540-46425-5\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AmtoftT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0098135,
author = {Torben Amtoft and
Hanne Riis Nielson and
Flemming Nielson},
title = {Type and effect systems - behaviours for concurrency},
publisher = {Imperial College Press},
year = {1999},
isbn = {978-1-86094-154-2},
timestamp = {Wed, 20 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0098135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmtoftNN98,
author = {Torben Amtoft and
Hanne Riis Nielson and
Flemming Nielson},
title = {Behavior Analysis for Validating Communication Patterns},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {1},
pages = {13--28},
year = {1998},
url = {https://doi.org/10.1007/s100090050015},
doi = {10.1007/S100090050015},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AmtoftNN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NielsonAN98,
author = {Hanne Riis Nielson and
Torben Amtoft and
Flemming Nielson},
editor = {Egidio Astesiano},
title = {Behaviour Analysis and Safety Conditions: {A} Case Study in {CML}},
booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1382},
pages = {255--269},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053595},
doi = {10.1007/BFB0053595},
timestamp = {Sat, 07 Sep 2019 11:59:24 +0200},
biburl = {https://dblp.org/rec/conf/fase/NielsonAN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AmtoftNN97,
author = {Torben Amtoft and
Flemming Nielson and
Hanne Riis Nielson},
title = {Type and Behaviour Reconstruction for Higher-Order Concurrent Programs},
journal = {J. Funct. Program.},
volume = {7},
number = {3},
pages = {321--347},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002700},
doi = {10.1017/S0956796897002700},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AmtoftNN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonNA96,
author = {Hanne Riis Nielson and
Flemming Nielson and
Torben Amtoft},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Static Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {141--171},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_8},
doi = {10.1007/3-540-62503-8\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonNA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/AmtoftNNA96,
author = {Torben Amtoft and
Flemming Nielson and
Hanne Riis Nielson and
J{\"{u}}rgen Ammann},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {172--206},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_9},
doi = {10.1007/3-540-62503-8\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/AmtoftNNA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonNA96a,
author = {Flemming Nielson and
Hanne Riis Nielson and
Torben Amtoft},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Algorithm},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {207--243},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_10},
doi = {10.1007/3-540-62503-8\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonNA96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Amtoft94,
author = {Torben Amtoft},
editor = {Donald Sannella},
title = {Local Type Reconstruction by Means of Symbolic Fixed Point Iteration},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {43--57},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_3},
doi = {10.1007/3-540-57880-3\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Amtoft94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Amtoft93,
author = {Torben Amtoft},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Minimal Thunkification},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {218--229},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_43},
doi = {10.1007/3-540-57264-3\_43},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Amtoft93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmtoftT92,
author = {Torben Amtoft and
Jesper Larsson Tr{\"{a}}ff},
title = {Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA},
journal = {Theor. Comput. Sci.},
volume = {98},
number = {2},
pages = {347--356},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90008-4},
doi = {10.1016/0304-3975(92)90008-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AmtoftT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Amtoft92,
author = {Torben Amtoft},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Unfold/fold Transformations Preserving Termination Properties},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {187--201},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_136},
doi = {10.1007/3-540-55844-6\_136},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Amtoft92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Hansen91,
author = {Torben Amtoft Hansen},
editor = {Charles Consel and
Olivier Danvy},
title = {Properties of Unfolding-based Meta-level Systems},
booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
USA, June 17-19, 1991},
pages = {243--254},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/115865.115892},
doi = {10.1145/115865.115892},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Hansen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HansenNTJ89,
author = {Torben Amtoft Hansen and
Thomas Nikolajsen and
Jesper Larsson Tr{\"{a}}ff and
Neil D. Jones},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Experiments with Implementations of Two Theoretical Constructions},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {119--133},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_11},
doi = {10.1007/3-540-51237-3\_11},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HansenNTJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
