Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simon J. Thompson
@article{DBLP:journals/jlap/HorpacsiBT23,
author = {D{\'{a}}niel Horp{\'{a}}csi and
P{\'{e}}ter Bereczky and
Simon J. Thompson},
title = {Program equivalence in an untyped, call-by-value functional language
with uncurried functions},
journal = {J. Log. Algebraic Methods Program.},
volume = {132},
pages = {100857},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100857},
doi = {10.1016/J.JLAMP.2023.100857},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/HorpacsiBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ThompsonH23,
author = {Simon J. Thompson and
D{\'{a}}niel Horp{\'{a}}csi},
editor = {Ralf L{\"{a}}mmel and
Peter D. Mosses and
Friedrich Steimann},
title = {Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent
Refactorings},
booktitle = {Eelco Visser Commemorative Symposium, {EVCS} 2023, April 5, 2023,
Delft, The Netherlands},
series = {OASIcs},
volume = {109},
pages = {26:1--26:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/OASIcs.EVCS.2023.26},
doi = {10.4230/OASICS.EVCS.2023.26},
timestamp = {Thu, 23 Mar 2023 11:44:45 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ThompsonH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-12403,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
title = {A Frame Stack Semantics for Sequential Core Erlang},
journal = {CoRR},
volume = {abs/2308.12403},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.12403},
doi = {10.48550/ARXIV.2308.12403},
eprinttype = {arXiv},
eprint = {2308.12403},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-12403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10482,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
title = {A Formalisation of Core Erlang, a Concurrent Actor Language},
journal = {CoRR},
volume = {abs/2311.10482},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.10482},
doi = {10.48550/ARXIV.2311.10482},
eprinttype = {arXiv},
eprint = {2311.10482},
timestamp = {Wed, 22 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10482.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14260,
author = {D{\'{a}}niel Horp{\'{a}}csi and
P{\'{e}}ter Bereczky and
Simon J. Thompson},
title = {Program Equivalence in an Untyped, Call-by-value Lambda Calculus with
Uncurried Recursive Functions},
journal = {CoRR},
volume = {abs/2208.14260},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14260},
doi = {10.48550/ARXIV.2208.14260},
eprinttype = {arXiv},
eprint = {2208.14260},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-11550,
author = {Simon J. Thompson and
D{\'{a}}niel Horp{\'{a}}csi},
title = {Refactoring = Substitution + Rewriting},
journal = {CoRR},
volume = {abs/2211.11550},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.11550},
doi = {10.48550/ARXIV.2211.11550},
eprinttype = {arXiv},
eprint = {2211.11550},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-11550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/KondratiukSNT21,
author = {Dmytro Kondratiuk and
Pablo Lamela Seijas and
Alexander Nemish and
Simon J. Thompson},
editor = {Matthew Bernhard and
Andrea Bracciali and
Lewis Gudgeon and
Thomas Haines and
Ariah Klages{-}Mundt and
Shin'ichiro Matsuo and
Daniel Perez and
Massimiliano Sala and
Sam Werner},
title = {Standardized Crypto-Loans on the Cardano Blockchain},
booktitle = {Financial Cryptography and Data Security. {FC} 2021 International
Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March
5, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12676},
pages = {579--594},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63958-0\_41},
doi = {10.1007/978-3-662-63958-0\_41},
timestamp = {Wed, 27 Oct 2021 09:25:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/KondratiukSNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BereczkyHT20,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
editor = {Annette Bieniusa and
Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
title = {Machine-checked natural semantics for Core Erlang: exceptions and
side effects},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
pages = {1--13},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406085.3409008},
doi = {10.1145/3406085.3409008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/BereczkyHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/SeijasNST20,
author = {Pablo Lamela Seijas and
Alexander Nemish and
David Smith and
Simon J. Thompson},
editor = {Matthew Bernhard and
Andrea Bracciali and
L. Jean Camp and
Shin'ichiro Matsuo and
Alana Maurushat and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {Marlowe: Implementing and Analysing Financial Contracts on Blockchain},
booktitle = {Financial Cryptography and Data Security - {FC} 2020 International
Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia,
February 14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12063},
pages = {496--511},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54455-3\_35},
doi = {10.1007/978-3-030-54455-3\_35},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/SeijasNST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BereczkyHKST20,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Judit K{\"{o}}szegi and
Soma Szeier and
Simon J. Thompson},
editor = {Olaf Chitil},
title = {Validating Formal Semantics by Property-Based Cross-Testing},
booktitle = {{IFL} 2020: 32nd Symposium on Implementation and Application of Functional
Languages, Virtual Event / Canterbury, UK, September 2-4, 2020},
pages = {150--161},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3462172.3462200},
doi = {10.1145/3462172.3462200},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/BereczkyHKST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SeijasST20,
author = {Pablo Lamela Seijas and
David Smith and
Simon J. Thompson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Efficient Static Analysis of Marlowe Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {161--177},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_11},
doi = {10.1007/978-3-030-61467-6\_11},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SeijasST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BereczkyHT20,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
editor = {Aleksander Byrski and
John Hughes},
title = {A Proof Assistant Based Formalisation of a Subset of Sequential Core
Erlang},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {139--158},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_7},
doi = {10.1007/978-3-030-57761-2\_7},
timestamp = {Wed, 02 Mar 2022 21:39:36 +0100},
biburl = {https://dblp.org/rec/conf/sfp/BereczkyHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11821,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
title = {A Proof Assistant Based Formalisation of Core Erlang},
journal = {CoRR},
volume = {abs/2005.11821},
year = {2020},
url = {https://arxiv.org/abs/2005.11821},
eprinttype = {arXiv},
eprint = {2005.11821},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-11821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-10373,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
title = {A Comparison of Big-step Semantics Definition Styles},
journal = {CoRR},
volume = {abs/2011.10373},
year = {2020},
url = {https://arxiv.org/abs/2011.10373},
eprinttype = {arXiv},
eprint = {2011.10373},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-10373.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RoweFTO19,
author = {Reuben N. S. Rowe and
Hugo F{\'{e}}r{\'{e}}e and
Simon J. Thompson and
Scott Owens},
editor = {Nikolaos Tsantalis and
Yuanfang Cai and
Serge Demeyer},
title = {Rotor: a tool for renaming values in OCaml's module system},
booktitle = {Proceedings of the 3rd International Workshop on Refactoring, IWOR@ICSE
2019, Montreal, QC, Canada, May 28, 2019},
pages = {27--30},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/IWoR.2019.00013},
doi = {10.1109/IWOR.2019.00013},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RoweFTO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RoweFTO19,
author = {Reuben N. S. Rowe and
Hugo F{\'{e}}r{\'{e}}e and
Simon J. Thompson and
Scott Owens},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Characterising renaming within OCaml's module system: theory and implementation},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {950--965},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314600},
doi = {10.1145/3314221.3314600},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/RoweFTO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/SeijasTF18,
author = {Pablo Lamela Seijas and
Simon J. Thompson and
Miguel Angel Francisco},
title = {Model extraction and test generation from JUnit test suites},
journal = {Softw. Qual. J.},
volume = {26},
number = {4},
pages = {1519--1552},
year = {2018},
url = {https://doi.org/10.1007/s11219-017-9399-x},
doi = {10.1007/S11219-017-9399-X},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/SeijasTF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SeijasT18,
author = {Pablo Lamela Seijas and
Simon J. Thompson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Marlowe: Financial Contracts on Blockchain},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {356--375},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_27},
doi = {10.1007/978-3-030-03427-6\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/SeijasT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/ThompsonLS17,
author = {Simon J. Thompson and
Huiqing Li and
Andreas Schumacher},
title = {The pragmatics of clone detection and elimination},
journal = {Art Sci. Eng. Program.},
volume = {1},
number = {2},
pages = {8},
year = {2017},
url = {https://doi.org/10.22152/programming-journal.org/2017/1/8},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2017/1/8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/ThompsonLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TrinderCPSTAABB17,
author = {Phil Trinder and
Natalia Chechina and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Stephen Adams and
Stavros Aronis and
Robert Baker and
Eva Bihari and
Olivier Boudeville and
Francesco Cesarini and
Maurizio Di Stefano and
Sverker Eriksson and
Viktoria Ford{\'{o}}s and
Amir Ghaffari and
Aggelos Giantsios and
Rickard Green and
Csaba Hoch and
David Klaftenegger and
Huiqing Li and
Kenneth Lundin and
Kenneth MacKenzie and
Katerina Roukounaki and
Yiannis Tsiouris and
Kjell Winblad},
title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
Actor Platform},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {4},
pages = {17:1--17:46},
year = {2017},
url = {https://doi.org/10.1145/3107937},
doi = {10.1145/3107937},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/TrinderCPSTAABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ChechinaMTTBFHG17,
author = {Natalia Chechina and
Kenneth MacKenzie and
Simon J. Thompson and
Phil Trinder and
Olivier Boudeville and
Viktoria Ford{\'{o}}s and
Csaba Hoch and
Amir Ghaffari and
Mario Moro Hernandez},
title = {Evaluating Scalable Distributed Erlang for Scalability and Reliability},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {28},
number = {8},
pages = {2244--2257},
year = {2017},
url = {https://doi.org/10.1109/TPDS.2017.2654246},
doi = {10.1109/TPDS.2017.2654246},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/ChechinaMTTBFHG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ThompsonLS17,
author = {Simon J. Thompson and
Huiqing Li and
Andreas Schumacher},
title = {The pragmatics of clone detection and elimination},
journal = {CoRR},
volume = {abs/1703.10860},
year = {2017},
url = {http://arxiv.org/abs/1703.10860},
eprinttype = {arXiv},
eprint = {1703.10860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ThompsonLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TrinderCPSTAABB17,
author = {Phil Trinder and
Natalia Chechina and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Stephen Adams and
Stavros Aronis and
Robert Baker and
Eva Bihari and
Olivier Boudeville and
Francesco Cesarini and
Maurizio Di Stefano and
Sverker Eriksson and
Viktoria Ford{\'{o}}s and
Amir Ghaffari and
Aggelos Giantsios and
Rickard Green and
Csaba Hoch and
David Klaftenegger and
Huiqing Li and
Kenneth Lundin and
Kenneth MacKenzie and
Katerina Roukounaki and
Yiannis Tsiouris and
Kjell Winblad},
title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
Actor Platform},
journal = {CoRR},
volume = {abs/1704.07234},
year = {2017},
url = {http://arxiv.org/abs/1704.07234},
eprinttype = {arXiv},
eprint = {1704.07234},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TrinderCPSTAABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/RodgersSAMBT16,
author = {Peter J. Rodgers and
Gem Stapleton and
Bilal Alsallakh and
Luana Micallef and
Robert Baker and
Simon J. Thompson},
title = {A task-based evaluation of combined set and network visualization},
journal = {Inf. Sci.},
volume = {367-368},
pages = {58--79},
year = {2016},
url = {https://doi.org/10.1016/j.ins.2016.05.045},
doi = {10.1016/J.INS.2016.05.045},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/RodgersSAMBT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Thompson16,
author = {Simon J. Thompson},
title = {Review of spreadsheet implementation technology: Basics and extensions,
by Peter Sestoft , {MIT} Press, 2014, {ISBN} 978-0-262-52664-7},
journal = {J. Funct. Program.},
volume = {26},
pages = {e17},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000204},
doi = {10.1017/S0956796816000204},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Thompson16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/ChechinaLGTT16,
author = {Natalia Chechina and
Huiqing Li and
Amir Ghaffari and
Simon J. Thompson and
Phil Trinder},
title = {Improving the network scalability of Erlang},
journal = {J. Parallel Distributed Comput.},
volume = {90-91},
pages = {22--34},
year = {2016},
url = {https://doi.org/10.1016/j.jpdc.2016.01.002},
doi = {10.1016/J.JPDC.2016.01.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/ChechinaLGTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SeijasTF16,
author = {Pablo Lamela Seijas and
Simon J. Thompson and
Miguel Angel Francisco},
editor = {Christof J. Budnik and
Gordon Fraser and
Francesca Lonetti},
title = {Model extraction and test generation from JUnit test suites},
booktitle = {Proceedings of the 11th International Workshop on Automation of Software
Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016},
pages = {8--14},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2896921.2896927},
doi = {10.1145/2896921.2896927},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SeijasTF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/SeijasT16,
author = {Pablo Lamela Seijas and
Simon J. Thompson},
editor = {Tom Schrijvers},
title = {Identifying and introducing interfaces and callbacks using Wrangler},
booktitle = {Proceedings of the 28th Symposium on the Implementation and Application
of Functional Programming Languages, {IFL} 2016, Leuven, Belgium,
August 31 - September 2, 2016},
pages = {11:1--11:13},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3064899.3064909},
doi = {10.1145/3064899.3064909},
timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
biburl = {https://dblp.org/rec/conf/ifl/SeijasT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HorpacsiKT16,
author = {D{\'{a}}niel Horp{\'{a}}csi and
Judit K{\"{o}}szegi and
Simon J. Thompson},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Towards Trustworthy Refactoring in Erlang},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {83--103},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.5},
doi = {10.4204/EPTCS.216.5},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/HorpacsiKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SeijasTM16,
author = {Pablo Lamela Seijas and
Simon J. Thompson and
Darryl McAdams},
title = {Scripting smart contracts for distributed ledger technology},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1156},
year = {2016},
url = {http://eprint.iacr.org/2016/1156},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/SeijasTM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiT15,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Kenichi Asai and
Kostis Sagonas},
title = {Safe Concurrency Introduction through Slicing},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
pages = {103--113},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2678015.2682533},
doi = {10.1145/2678015.2682533},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/DelaneySTT14,
author = {Aidan J. Delaney and
Gem Stapleton and
John Taylor and
Simon J. Thompson},
title = {A normal form for spider diagrams of order},
journal = {J. Vis. Lang. Comput.},
volume = {25},
number = {6},
pages = {935--944},
year = {2014},
url = {https://doi.org/10.1016/j.jvlc.2014.10.029},
doi = {10.1016/J.JVLC.2014.10.029},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/DelaneySTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/DelaneySTT14,
author = {Aidan J. Delaney and
Gem Stapleton and
John Taylor and
Simon J. Thompson},
editor = {Erland Jungert},
title = {A Normal Form for Spider Diagrams of Order},
booktitle = {The 20th International Conference on Distributed Multimedia Systems:
Research papers on distributed multimedia systems, distance education
technologies and visual languages and computing, Pittsburgh, PA, USA,
August 27-29, 2014},
pages = {300--309},
publisher = {Knowledge Systems Institute Graduate School},
year = {2014},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dms/DelaneySTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SeijasTTBD14,
author = {Pablo Lamela Seijas and
Simon J. Thompson and
Ramsay Taylor and
Kirill Bogdanov and
John Derrick},
editor = {Laura M. Castro and
Hans Svensson},
title = {Synapse: automatic behaviour inference and implementation comparison
for Erlang},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
Gothenburg, Sweden, September 5, 2014},
pages = {73--74},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633448.2633457},
doi = {10.1145/2633448.2633457},
timestamp = {Thu, 18 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/SeijasTTBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiT14,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Hong Zhu and
Jerry Gao and
Saurabh Sinha and
Lu Zhang},
title = {Improved semantics and implementation through property-based testing
with QuickCheck},
booktitle = {9th International Workshop on Automation of Software Test, {AST} 2014,
Hyderabad, India, May 31 - June 1, 2014},
pages = {50--56},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593501.2593509},
doi = {10.1145/2593501.2593509},
timestamp = {Wed, 21 Jun 2023 16:54:55 +0200},
biburl = {https://dblp.org/rec/conf/icse/LiT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiTSF14,
author = {Huiqing Li and
Simon J. Thompson and
Pablo Lamela Seijas and
Miguel Angel Francisco},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Automating property-based testing of evolving web services},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {169--180},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543741},
doi = {10.1145/2543728.2543741},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiTSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ThompsonL13,
author = {Simon J. Thompson and
Huiqing Li},
title = {Refactoring tools for functional languages},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {293--350},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000117},
doi = {10.1017/S0956796813000117},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ThompsonL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LammelTK13,
author = {Ralf L{\"{a}}mmel and
Simon J. Thompson and
Markus Kaiser},
title = {Programming errors in traversal programs over structured data},
journal = {Sci. Comput. Program.},
volume = {78},
number = {10},
pages = {1770--1808},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2011.11.006},
doi = {10.1016/J.SCICO.2011.11.006},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/LammelTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/DelaneySTT13,
author = {Aidan J. Delaney and
Gem Stapleton and
John Taylor and
Simon J. Thompson},
title = {On the expressiveness of spider diagrams and commutative star-free
regular languages},
journal = {J. Vis. Lang. Comput.},
volume = {24},
number = {4},
pages = {273--288},
year = {2013},
url = {https://doi.org/10.1016/j.jvlc.2013.02.001},
doi = {10.1016/J.JVLC.2013.02.001},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/DelaneySTT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/BakerRTL13,
author = {Robert Baker and
Peter Rodgers and
Simon J. Thompson and
Huiqing Li},
title = {Multi-level Visualization of Concurrent and Distributed Computation
in Erlang},
booktitle = {Proceedings of the 19th International Conference on Distributed Multimedia
Systems, {DMS} 2013, August 8-10, 2013, Holiday Inn, Brighton, {UK}},
pages = {156--161},
publisher = {Knowledge Systems Institute},
year = {2013},
timestamp = {Mon, 14 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dms/BakerRTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/LiT13,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Steve Vinoski and
Laura M. Castro},
title = {Multicore profiling for Erlang programs using percept2},
booktitle = {Proceedings of the Twelfth {ACM} {SIGPLAN} Erlang Workshop, Boston,
Massachusetts, USA, September 28, 2013},
pages = {33--42},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505305.2505311},
doi = {10.1145/2505305.2505311},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/LiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SeijasLT13,
author = {Pablo Lamela Seijas and
Huiqing Li and
Simon J. Thompson},
editor = {Steve Vinoski and
Laura M. Castro},
title = {Towards property-based testing of RESTful web services},
booktitle = {Proceedings of the Twelfth {ACM} {SIGPLAN} Erlang Workshop, Boston,
Massachusetts, USA, September 28, 2013},
pages = {77--78},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505305.2505317},
doi = {10.1145/2505305.2505317},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/SeijasLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/13/StapletonHT0C13,
author = {Gem Stapleton and
John Howse and
Simon J. Thompson and
John Taylor and
Peter Chapman},
editor = {Amirouche Moktefi and
Sun{-}Joo Shin},
title = {On the Completeness of Spider Diagrams Augmented with Constants},
booktitle = {Visual Reasoning with Diagrams},
series = {Studies in Universal Logic},
pages = {101--133},
publisher = {Birkh{\"{a}}user / Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-0348-0600-8\_7},
doi = {10.1007/978-3-0348-0600-8\_7},
timestamp = {Sun, 02 Oct 2022 15:53:04 +0200},
biburl = {https://dblp.org/rec/books/sp/13/StapletonHT0C13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/KiselyovLT12,
author = {Oleg Kiselyov and
Julia Lawall and
Simon J. Thompson},
title = {Editorial {PEPM2012}},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {1},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9092-0},
doi = {10.1007/S10990-013-9092-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/KiselyovLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/MoraglioOJTF12,
author = {Alberto Moraglio and
Fernando E. B. Otero and
Colin G. Johnson and
Simon J. Thompson and
Alex Alves Freitas},
title = {Evolving recursive programs using non-recursive scaffolding},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2012, Brisbane, Australia, June 10-15, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CEC.2012.6256545},
doi = {10.1109/CEC.2012.6256545},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/MoraglioOJTF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LiT12,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Juan de Lara and
Andrea Zisman},
title = {A Domain-Specific Language for Scripting Refactorings in Erlang},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 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 = {7212},
pages = {501--515},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_34},
doi = {10.1007/978-3-642-28872-2\_34},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiT12,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Peter Sommerlad},
title = {Let's make refactoring tools user-extensible!},
booktitle = {Fifth Workshop on Refactoring Tools 2012, {WRT} '12, Rapperswil, Switzerland,
June 1, 2012},
pages = {32--39},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2328876.2328881},
doi = {10.1145/2328876.2328881},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiT12,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {Automated {API} migration in a user-extensible refactoring tool for
Erlang programs},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {294--297},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351727},
doi = {10.1145/2351676.2351727},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BoudevilleCCLPSTTW12,
author = {Olivier Boudeville and
Francesco Cesarini and
Natalia Chechina and
Kenneth Lundin and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Phil Trinder and
Ulf T. Wiger},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {{RELEASE:} {A} High-Level Paradigm for Reliable Large-Scale Server
Software - (Project Paper)},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {263--278},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_17},
doi = {10.1007/978-3-642-40447-4\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BoudevilleCCLPSTTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2012,
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2103746},
isbn = {978-1-4503-1118-2},
timestamp = {Thu, 12 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-6057,
author = {Ralf L{\"{a}}mmel and
Simon J. Thompson and
Markus Kaiser},
title = {Programming errors in traversal programs over structured data},
journal = {CoRR},
volume = {abs/1201.6057},
year = {2012},
url = {http://arxiv.org/abs/1201.6057},
eprinttype = {arXiv},
eprint = {1201.6057},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-6057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0033100,
author = {Simon J. Thompson},
title = {Haskell - The Craft of Functional Programming, 3rd Edition},
publisher = {Addison-Wesley},
year = {2011},
url = {http://www.addison-wesley.de/main/main.asp?page=englisch/bookdetails\&\#38;productid=88158},
isbn = {978-0-2018-8295-7},
timestamp = {Thu, 17 Apr 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0033100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/ArtsST11,
author = {Thomas Arts and
Pablo Lamela Seijas and
Simon J. Thompson},
editor = {Kenji Rikitake and
Erik Stenman},
title = {Extracting QuickCheck specifications from EUnit test cases},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
Japan, September 23, 2011},
pages = {62--71},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034654.2034666},
doi = {10.1145/2034654.2034666},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/ArtsST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LiT11,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {Incremental Clone Detection and Elimination for Erlang Programs},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {356--370},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_25},
doi = {10.1007/978-3-642-19811-3\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LiT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LiTA11,
author = {Huiqing Li and
Simon J. Thompson and
Thomas Arts},
title = {Extracting Properties from Test Cases by Refactoring},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {472--473},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.65},
doi = {10.1109/ICSTW.2011.65},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LiTA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/DelaneySTT10,
author = {Aidan J. Delaney and
Gem Stapleton and
John Taylor and
Simon J. Thompson},
editor = {Ashok K. Goel and
Mateja Jamnik and
N. Hari Narayanan},
title = {Fragments of Spider Diagrams of Order and Their Relative Expressiveness},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference,
Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6170},
pages = {69--83},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14600-8\_10},
doi = {10.1007/978-3-642-14600-8\_10},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/diagrams/DelaneySTT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/ArtsT10,
author = {Thomas Arts and
Simon J. Thompson},
editor = {Scott Lystig Fritchie and
Konstantinos Sagonas},
title = {From test cases to FSMs: augmented test-driven development and property
inference},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Erlang, Baltimore,
Maryland, USA, September 30, 2010},
pages = {1--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863509.1863511},
doi = {10.1145/1863509.1863511},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/ArtsT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/DrienyovszkyHT10,
author = {D{\'{a}}niel Drienyovszky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
editor = {Scott Lystig Fritchie and
Konstantinos Sagonas},
title = {Quickchecking refactoring tools},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Erlang, Baltimore,
Maryland, USA, September 30, 2010},
pages = {75--80},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863509.1863521},
doi = {10.1145/1863509.1863521},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/DrienyovszkyHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/LiT10,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
title = {Similar Code Detection and Elimination for Erlang Programs},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
{PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {104--118},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5\_10},
doi = {10.1007/978-3-642-11503-5\_10},
timestamp = {Sat, 19 Oct 2019 20:25:18 +0200},
biburl = {https://dblp.org/rec/conf/padl/LiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BrownT10,
author = {Christopher Brown and
Simon J. Thompson},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Clone detection and elimination for Haskell},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {111--120},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706378},
doi = {10.1145/1706356.1706378},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/BrownT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/LiT10,
author = {Huiqing Li and
Simon J. Thompson},
title = {Refactoring Support for Modularity Maintenance in Erlang},
booktitle = {Tenth {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2010, Timisoara, Romania, 12-13 September
2010},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SCAM.2010.17},
doi = {10.1109/SCAM.2010.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/LiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BrownLT10,
author = {Christopher Brown and
Huiqing Li and
Simon J. Thompson},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {An Expression Processor: {A} Case Study in Refactoring Haskell Programs},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {31--49},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_3},
doi = {10.1007/978-3-642-22941-1\_3},
timestamp = {Mon, 03 Jan 2022 22:29:43 +0100},
biburl = {https://dblp.org/rec/conf/sfp/BrownLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/LiT10,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Leonardo Bottaci and
Gordon Fraser},
title = {Improved Testing through Refactoring: Experience from the ProTest
Project},
booktitle = {Testing - Practice and Research Techniques, 5th International Academic
and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
3-5, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6303},
pages = {198--202},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15585-7\_21},
doi = {10.1007/978-3-642-15585-7\_21},
timestamp = {Mon, 23 Nov 2020 12:33:09 +0100},
biburl = {https://dblp.org/rec/conf/taicpart/LiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/GriffinMT09,
author = {Darren K. Griffin and
David Mitchell and
Simon J. Thompson},
title = {Podcasting by synchronising PowerPoint and voice: What are the pedagogical
benefits?},
journal = {Comput. Educ.},
volume = {53},
number = {2},
pages = {532--539},
year = {2009},
url = {https://doi.org/10.1016/j.compedu.2009.03.011},
doi = {10.1016/J.COMPEDU.2009.03.011},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ce/GriffinMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/StapletonTTH09,
author = {Gem Stapleton and
John Taylor and
Simon J. Thompson and
John Howse},
title = {The expressiveness of spider diagrams augmented with constants},
journal = {J. Vis. Lang. Comput.},
volume = {20},
number = {1},
pages = {30--49},
year = {2009},
url = {https://doi.org/10.1016/j.jvlc.2008.01.005},
doi = {10.1016/J.JVLC.2008.01.005},
timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/StapletonTTH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CesariniT09,
author = {Francesco Cesarini and
Simon J. Thompson},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Erlang Behaviours: Programming with Process Design Patterns},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {19--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_2},
doi = {10.1007/978-3-642-17685-2\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cefp/CesariniT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DerrickWAECFGHT09,
author = {John Derrick and
Neil Walkinshaw and
Thomas Arts and
Clara Benac Earle and
Francesco Cesarini and
Lars{-}{\AA}ke Fredlund and
V{\'{\i}}ctor M. Gul{\'{\i}}as and
John Hughes and
Simon J. Thompson},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Property-Based Testing - The ProTest Project},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {250--271},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_13},
doi = {10.1007/978-3-642-17071-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DerrickWAECFGHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiT09,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Clone detection and removal for Erlang/OTP within a refactoring environment},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {169--178},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480971},
doi = {10.1145/1480945.1480971},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2009,
editor = {Clara Benac Earle and
Simon J. Thompson},
title = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
Scotland, UK, September 5, 2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-507-9},
timestamp = {Tue, 22 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/DelaneyTT08,
author = {Aidan J. Delaney and
John Taylor and
Simon J. Thompson},
editor = {Gem Stapleton and
John Howse and
John Lee},
title = {Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages},
booktitle = {Diagrammatic Representation and Inference, 5th International Conference,
Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5223},
pages = {172--187},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87730-1\_18},
doi = {10.1007/978-3-540-87730-1\_18},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/diagrams/DelaneyTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/LiTOT08,
author = {Huiqing Li and
Simon J. Thompson and
George Or{\"{o}}sz and
Melinda T{\'{o}}th},
editor = {Soon Tee Teoh and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Refactoring with wrangler, updated: data and process refactorings,
and integration with eclipse},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} workshop on ERLANG, Victoria,
BC, Canada, September 27, 2008},
pages = {61--72},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411273.1411283},
doi = {10.1145/1411273.1411283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/LiTOT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiT08,
author = {Huiqing Li and
Simon J. Thompson},
title = {Tool support for refactoring functional programs},
booktitle = {Second {ACM} Workshop on Refactoring Tools, {WRT} 2008, in conjunction
with {OOPSLA} 2008, Nashville, TN, USA, October 19, 2008},
pages = {2},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1636642.1636644},
doi = {10.1145/1636642.1636644},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SultanaT08,
author = {Nik Sultana and
Simon J. Thompson},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Mechanical verification of refactorings},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {51--60},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328417},
doi = {10.1145/1328408.1328417},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SultanaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiT08,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Tool support for refactoring functional programs},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {199--203},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328437},
doi = {10.1145/1328408.1328437},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LammelTK09,
author = {Ralf L{\"{a}}mmel and
Simon J. Thompson and
Markus Kaiser},
editor = {Adrian Johnstone and
Jurgen J. Vinju},
title = {Programming Errors in Traversal Programs Over Structured Data},
booktitle = {Proceedings of the 8th Workshop on Language Descriptions, Tools and
Applications, {LDTA} 2008, Budapest, Hungary, April 5, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {5},
pages = {135--153},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.09.045},
doi = {10.1016/J.ENTCS.2009.09.045},
timestamp = {Thu, 01 Dec 2022 10:49:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LammelTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/ThompsonKS07,
author = {Simon J. Thompson and
Peter R. King and
Patrick Schmitz},
editor = {Peter R. King and
Steven J. Simske},
title = {Declarative extensions of {XML} languages},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Document Engineering, Winnipeg,
Manitoba, Canada, August 28-31, 2007},
pages = {89--91},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1284420.1284442},
doi = {10.1145/1284420.1284442},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/ThompsonKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Thompson0LRS07,
author = {Simon J. Thompson and
Christopher Brown and
Huiqing Li and
Claus Reinke and
Nik Sultana},
editor = {Danny Dig},
title = {Refactoring Functional Programs at the University of Kent},
booktitle = {1st Workshop on Refactoring Tools, {WRT} 2007, in conjunction with
21st European Conference on Object-Oriented Programming, July 30 -
August 03, 2007, Berlin, Germany, Proceedings},
pages = {66--67},
year = {2007},
url = {http://netfiles.uiuc.edu/dig/RefactoringWorkshop/},
timestamp = {Tue, 19 Jun 2018 18:57:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Thompson0LRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/LiT07,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Olaf Chitil and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Testing Erlang Refactorings with QuickCheck},
booktitle = {Implementation and Application of Functional Languages, 19th International
Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5083},
pages = {19--36},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85373-2\_2},
doi = {10.1007/978-3-540-85373-2\_2},
timestamp = {Mon, 03 Jan 2022 22:26:05 +0100},
biburl = {https://dblp.org/rec/conf/ifl/LiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/EliassonLDTC07,
author = {Jens Eliasson and
Per Lindgren and
Jerker Delsing and
Simon J. Thompson and
Yi{-}Bing Cheng},
title = {A Power Management Architecture for Sensor Nodes},
booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2007,
Hong Kong, China, 11-15 March, 2007},
pages = {3008--3013},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/WCNC.2007.557},
doi = {10.1109/WCNC.2007.557},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/EliassonLDTC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2007,
editor = {Simon J. Thompson and
Lars{-}{\AA}ke Fredlund},
title = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg,
Germany, October 5, 2007},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-675-2},
timestamp = {Wed, 02 Apr 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/LiT06,
author = {Huiqing Li and
Simon J. Thompson},
title = {Comparative Study of Refactoring Haskell and Erlang Programs},
booktitle = {Sixth {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2006), 27-29 September 2006, Philadelphia, Pennsylvania, {USA}},
pages = {197--206},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SCAM.2006.8},
doi = {10.1109/SCAM.2006.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/LiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/ThompsonKC05,
author = {Simon J. Thompson and
Peter R. King and
Helen Cameron},
title = {Modelling Reactive Multimedia: Design and Authoring},
journal = {Multim. Tools Appl.},
volume = {27},
number = {1},
pages = {23--52},
year = {2005},
url = {https://doi.org/10.1007/s11042-005-2713-9},
doi = {10.1007/S11042-005-2713-9},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/ThompsonKC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/PatrascoiuTR05,
author = {Octavian Patrascoiu and
Simon J. Thompson and
Peter Rodgers},
editor = {Angela Guercio and
Timothy Arndt},
title = {Tableaux for Diagrammatic Reasoning},
booktitle = {Proceedings of the 11th International Conference on Distributed Multimedia
Systems, {DMS} 2005, September 5-7, 2005, Fairmont Banff Springs Hotel,
Banff, Alberta, Canada},
pages = {279--286},
publisher = {Knowledge Systems Institute},
year = {2005},
timestamp = {Fri, 23 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dms/PatrascoiuTR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/StapletonTFHT05,
author = {Gem Stapleton and
Simon J. Thompson and
Andrew Fish and
John Howse and
John Taylor},
editor = {Angela Guercio and
Timothy Arndt},
title = {A New Language for the Visualization of Logic and Reasoning},
booktitle = {Proceedings of the 11th International Conference on Distributed Multimedia
Systems, {DMS} 2005, September 5-7, 2005, Fairmont Banff Springs Hotel,
Banff, Alberta, Canada},
pages = {287--292},
publisher = {Knowledge Systems Institute},
year = {2005},
timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dms/StapletonTFHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RyderT05,
author = {Chris Ryder and
Simon J. Thompson},
editor = {Marko C. J. D. van Eekelen},
title = {Software metrics: measuring Haskell},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {31--46},
publisher = {Intellect},
year = {2005},
timestamp = {Fri, 16 Jul 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RyderT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LiT05,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Marko C. J. D. van Eekelen},
title = {Formalisation of Haskell refactorings},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {95--110},
publisher = {Intellect},
year = {2005},
timestamp = {Fri, 16 Jul 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiTR05,
author = {Huiqing Li and
Simon J. Thompson and
Claus Reinke},
editor = {John Boyland and
G{\"{o}}rel Hedin},
title = {The Haskell Refactorer, HaRe, and its {API}},
booktitle = {Proceedings of the Fifth Workshop on Language Descriptions, Tools,
and Applications, LDTA@ETAPS 2005, Edinburgh, UK, April 3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {4},
pages = {29--34},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.053},
doi = {10.1016/J.ENTCS.2005.02.053},
timestamp = {Tue, 13 Dec 2022 10:43:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiTR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/StapletonHTT04,
author = {Gem Stapleton and
John Howse and
John Taylor and
Simon J. Thompson},
title = {The Expressiveness of Spider Diagrams},
journal = {J. Log. Comput.},
volume = {14},
number = {6},
pages = {857--880},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.6.857},
doi = {10.1093/LOGCOM/14.6.857},
timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/StapletonHTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/Thompson04,
author = {Simon J. Thompson},
editor = {Varmo Vene and
Tarmo Uustalu},
title = {Refactoring Functional Programs},
booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004,
Tartu, Estonia, August 14-21, 2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3622},
pages = {331--357},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11546382\_9},
doi = {10.1007/11546382\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/Thompson04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/StapletonHTT04,
author = {Gem Stapleton and
John Howse and
John Taylor and
Simon J. Thompson},
editor = {Alan F. Blackwell and
Kim Marriott and
Atsushi Shimojima},
title = {What Can Spider Diagrams Say?},
booktitle = {Diagrammatic Representation and Inference, Third International Conference,
Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2980},
pages = {112--127},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25931-2\_12},
doi = {10.1007/978-3-540-25931-2\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/StapletonHTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/KingST04,
author = {Peter R. King and
Patrick Schmitz and
Simon J. Thompson},
editor = {Ethan V. Munson and
Jean{-}Yves Vion{-}Dury},
title = {Behavioral reactivity and real time programming in {XML:} \emph{functional
programming meets {SMIL} animation}},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Document Engineering, Milwaukee,
Wisconsin, USA, October 28-30, 2004},
pages = {57--66},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1030397.1030411},
doi = {10.1145/1030397.1030411},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/KingST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/StapletonHTT04,
author = {Gem Stapleton and
John Howse and
John Taylor and
Simon J. Thompson},
title = {The Expressiveness of Spider Diagrams Augmented with Constants},
booktitle = {2004 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2004), 26-29 September 2004, Rome, Italy},
pages = {91--98},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/VLHCC.2004.57},
doi = {10.1109/VLHCC.2004.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/StapletonHTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BowmanCKT03,
author = {Howard Bowman and
Helen Cameron and
Peter R. King and
Simon J. Thompson},
title = {Mexitl: Multimedia in Executable Interval Temporal Logic},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {1},
pages = {5--38},
year = {2003},
url = {https://doi.org/10.1023/A:1021736013555},
doi = {10.1023/A:1021736013555},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BowmanCKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BowmanT03,
author = {Howard Bowman and
Simon J. Thompson},
title = {A Decision Procedure and Complete Axiomatization of Finite Interval
Temporal Logic with Projection},
journal = {J. Log. Comput.},
volume = {13},
number = {2},
pages = {195--239},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.2.195},
doi = {10.1093/LOGCOM/13.2.195},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BowmanT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/CameronKT03,
author = {Helen Cameron and
Peter R. King and
Simon J. Thompson},
title = {Modeling Reactive Multimedia: Events and Behaviors},
journal = {Multim. Tools Appl.},
volume = {19},
number = {1},
pages = {53--77},
year = {2003},
url = {https://doi.org/10.1023/A:1021168913400},
doi = {10.1023/A:1021168913400},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/CameronKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LiRT03,
author = {Huiqing Li and
Claus Reinke and
Simon J. Thompson},
editor = {Johan Jeuring},
title = {Tool support for refactoring functional programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003,
Uppsala, Sweden, August 28, 2003},
pages = {27--38},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/871895.871899},
doi = {10.1145/871895.871899},
timestamp = {Fri, 03 Jun 2022 10:47:45 +0200},
biburl = {https://dblp.org/rec/conf/haskell/LiRT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SchmitzTK03,
author = {Patrick Schmitz and
Simon J. Thompson and
Peter R. King},
editor = {Irwin King and
Tam{\'{a}}s M{\'{a}}ray},
title = {Presentation Dynamism in {XML} Functional Programming meets {SMIL}
Animation},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference
- Posters, {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
year = {2003},
url = {http://www2003.org/cdrom/papers/poster/p284/WWW2003\_Poster.htm},
timestamp = {Wed, 17 Jul 2013 16:59:51 +0200},
biburl = {https://dblp.org/rec/conf/www/SchmitzTK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Thompson00,
author = {Simon J. Thompson},
title = {A functional reactive animation of a lift using Fran},
journal = {J. Funct. Program.},
volume = {10},
number = {3},
pages = {245--268},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003671},
doi = {10.1017/S0956796800003671},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Thompson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PollT00,
author = {Erik Poll and
Simon J. Thompson},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Integrating Computer Algebra and Reasoning through the Type System
of Aldor},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {136--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_10},
doi = {10.1007/10720084\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PollT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Thompson99,
author = {Simon J. Thompson},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Proof},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {93--119},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_4},
doi = {10.1007/978-1-4471-0841-2\_4},
timestamp = {Thu, 01 Aug 2019 12:47:09 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Thompson99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CharlesBT98,
author = {Nathan Charles and
Howard Bowman and
Simon J. Thompson},
title = {From {ACT-ONE} to Miranda, a translation experiment},
journal = {Comput. Stand. Interfaces},
volume = {19},
number = {1},
pages = {31--49},
year = {1998},
url = {https://doi.org/10.1016/S0920-5489(97)00005-6},
doi = {10.1016/S0920-5489(97)00005-6},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/CharlesBT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ep/KingCBT98,
author = {Peter R. King and
Helen Cameron and
Howard Bowman and
Simon J. Thompson},
editor = {Roger D. Hersch and
Jacques Andr{\'{e}} and
Heather Brown},
title = {Synchronization in Multimedia Documents},
booktitle = {Electronic Publishing, Artistic Imaging, and Digital Typography, 7th
International Conference on Electronic Publishing, {EP} '98, Held
Jointly with the 4th International Conference on Raster Imaging and
Digital Typography, {RIDT} '98, St. Malo, France, March 30 - April
3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1375},
pages = {355--369},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053283},
doi = {10.1007/BFB0053283},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ep/KingCBT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BowmanT98,
author = {Howard Bowman and
Simon J. Thompson},
editor = {Harrie C. M. de Swart},
title = {A Tableau Method for Interval Temporal Logic with Projection},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {108--123},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_17},
doi = {10.1007/3-540-69778-0\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BowmanT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Thompson97,
author = {Simon J. Thompson},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {Where Do {I} Begin? {A} Problem Solving Approach in teaching Functional
Programming},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {323--334},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033853},
doi = {10.1007/BFB0033853},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Thompson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Thompson95,
author = {Simon J. Thompson},
title = {A Logic for Miranda, Revisited},
journal = {Formal Aspects Comput.},
volume = {7},
number = {4},
pages = {412--429},
year = {1995},
url = {https://doi.org/10.1007/BF01211216},
doi = {10.1007/BF01211216},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Thompson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fple/ThompsonH95,
author = {Simon J. Thompson and
Steve Hill},
editor = {Pieter H. Hartel and
Marinus J. Plasmeijer},
title = {Functional Programming Through the Curriculum},
booktitle = {Functional Programming Languages in Education, First International
Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1022},
pages = {85--102},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60675-0\_40},
doi = {10.1007/3-540-60675-0\_40},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fple/ThompsonH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/DerrickLT95,
author = {John Derrick and
Peter F. Linington and
Simon J. Thompson},
editor = {Adarshpal S. Sethi and
Yves Raynaud and
Fabienne Faure{-}Vincent},
title = {Formal description techniques for object management},
booktitle = {Integrated Network Management IV, Proceedings of the Fourth International
Symposium on Integrated Network Management, Santa Barbara, CA, USA,
1995},
series = {{IFIP} Conference Proceedings},
volume = {11},
pages = {641--653},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Fri, 03 Dec 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/im/DerrickLT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LinsTJ94,
author = {Rafael Dueire Lins and
Simon J. Thompson and
Simon L. Peyton Jones},
title = {On the Equivalence Between {CMC} and {TIM}},
journal = {J. Funct. Program.},
volume = {4},
number = {1},
pages = {47--63},
year = {1994},
url = {https://doi.org/10.1017/S0956796800000939},
doi = {10.1017/S0956796800000939},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LinsTJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ThompsonW93,
author = {Simon J. Thompson and
Philip Wadler},
title = {Functional Programming in Education - Introduction},
journal = {J. Funct. Program.},
volume = {3},
number = {1},
pages = {3--4},
year = {1993},
url = {https://doi.org/10.1017/S0956796800000563},
doi = {10.1017/S0956796800000563},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ThompsonW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ThompsonL92,
author = {Simon J. Thompson and
Rafael Dueire Lins},
title = {The Categorical Multi-Combinator Machine: {CMCM}},
journal = {Comput. J.},
volume = {35},
number = {2},
pages = {170--176},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.2.170},
doi = {10.1093/COMJNL/35.2.170},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ThompsonL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Thompson92,
author = {Simon J. Thompson},
editor = {John Launchbury and
Patrick M. Sansom},
title = {Formulating Haskell},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {258--268},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_23},
doi = {10.1007/978-1-4471-3215-8\_23},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/fp/Thompson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/constructivity/Thompson91,
author = {Simon J. Thompson},
editor = {J. Paul Myers Jr. and
Michael J. O'Donnell},
title = {Are Subsets Necessary in Martin-L{\"{o}}f Type Theory?},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio,
Texas, USA, June 19-22, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {613},
pages = {46--57},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0021082},
doi = {10.1007/BFB0021082},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/constructivity/Thompson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/LinsT90,
author = {Rafael Dueire Lins and
Simon J. Thompson},
title = {Implementing {SASL} using Categorical Multi-combinators},
journal = {Softw. Pract. Exp.},
volume = {20},
number = {11},
pages = {1137--1165},
year = {1990},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/LinsT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Thompson89,
author = {Simon J. Thompson},
title = {A Logic for Miranda},
journal = {Formal Aspects Comput.},
volume = {1},
number = {4},
pages = {339--365},
year = {1989},
url = {https://doi.org/10.1007/BF01887213},
doi = {10.1007/BF01887213},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Thompson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Thompson89,
author = {Simon J. Thompson},
title = {Lawful Functions and Program Verification in Miranda},
journal = {Sci. Comput. Program.},
volume = {13},
number = {1},
pages = {181--218},
year = {1989},
url = {https://doi.org/10.1016/0167-6423(90)90070-T},
doi = {10.1016/0167-6423(90)90070-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Thompson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Thompson86,
author = {Simon J. Thompson},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Laws in Miranda},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {1--12},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319839},
doi = {10.1145/319838.319839},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Thompson86.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 2024-04-25 05:55 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:
