Skip to main content

Items where Author, Editor or other role is "Thompson, S."

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | C | D | F | G | H | K | L | M | O | P | R | S | T
Number of items: 148.

A

Adams, Stephen (2017) Data-Driven Refactorings for Haskell. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69589)
Format: PDF

Arts, Thomas, Lamela Seijas, Pablo, Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. . pp. 182-196. ACM Press (KAR id:30725)
Format: PDF

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863511) (KAR id:30626)
Format: PDF

B

Bereczky, Péter, Horpácsi, Dániel, K?szegi, Judit, Szeier, Soma, Thompson, Simon (2021) Validating Formal Semantics by Property-Based Cross-Testing. In: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages (IFL ’20),. . pp. 150-161. ACM, New York, NY, USA ISBN 978-1-4503-8963-1. (doi:10.1145/3462172.3462200) (KAR id:89480)
Format: PDF

Bereczky, Péter and Horpácsi, Dániel and Thompson, Simon (2020) Machine-checked natural semantics for Core Erlang: exceptions and side effects. In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang. ACM, pp. 1-13. ISBN 978-1-4503-8049-2. (doi:10.1145/3406085.3409008) (KAR id:82515)
Format: PDF

Bereczky, Péter and Thompson, Simon and Horpacsi, Daniel (2020) A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. In: Byrski, Aleksander and Hughes, John, eds. Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers. Lecture Notes in Computer Science, 12222 . Springer, Cham, pp. 139-158. ISBN 978-3-030-57761-2. (doi:10.1007/978-3-030-57761-2_7) (KAR id:82503)
Format: PDF

Baker, Robert (2017) A Method for Graph Drawing Utilising Patterns. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63895)
Format: PDF

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. In: Trends in Functional Programming 13th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 263-278. ISBN 978-3-642-40446-7. E-ISBN 978-3-642-40447-4. (doi:10.1007/978-3-642-40447-4_17) (KAR id:42314)
Format: PDF

Brown, Christopher, Li, Huiqing, Thompson, Simon (2010) An Expression Processor: A Case Study in Refactoring Haskell Programs. In: Page, Rex, ed. Eleventh Symposium on Trends in Functional Programming. . pp. 182-196. (KAR id:30667)
Format: PDF

Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: Gallagher, John and Voigtlander, Janis, eds. PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 182-196. ISBN 978-1-60558-727-1. (doi:10.1145/1706356.1706378) (KAR id:30696)
Format: PDF

Brown, Christopher, Thompson, Simon (2007) Refactorings that Split and Merge Programs. In: Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007. . , Freiburg, Germany. (KAR id:14544)
Format: PDF

Bowman, Howard, Thompson, Simon (2003) A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation, 13 (2). pp. 195-239. ISSN 0955-792X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13995)

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856. (doi:10.1023/A:1021736013555) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14016)

Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent (KAR id:22055)
Format: Postscript

Bowman, Howard, Thompson, Simon (1998) A Tableau Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, 05-08 May 1998, Oisterwijk, Netherlands. (KAR id:21654)
Format: Other Format: Postscript

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. In: deSwart, H., ed. Automated Reasoning with Analytic Tableaux and Related Methods International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 108-123. ISBN 978-3-540-64406-4. E-ISBN 978-3-540-69778-7. (doi:10.1007/3-540-69778-0_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17603)

Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury (KAR id:21432)
Format: Postscript Format: PDF

Barnes, David J., Fincher, Sally, Thompson, Simon (1997) Introductory Problem Solving in Computer Science. In: Daughton, Goretti and Magee, Patricia, eds. 5th Annual Conference on the Teaching of Computing. . pp. 36-39. , Centre for Teaching Computing, Dublin City University, Dublin 9, Ireland (KAR id:21468)
Format: Microsoft Word Format: PDF

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Applied Logic Series . Kluwer (KAR id:21471)
Format: Other Format: PDF

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent (KAR id:21503)
Format: Postscript Format: PDF

C

Chechina, Natalia, MacKenzie, Kenneth, Thompson, Simon, Trinder, Phil, Boudeville, Olivier, Fordos, Viktoria, Hoch, csaba, Ghaffari, Amir, Moro Hernandez, Mario (2017) Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Transactions on Parallel and Distributed Systems, 28 (8). pp. 2244-2257. ISSN 1045-9219. (doi:10.1109/TPDS.2017.2654246) (KAR id:60077)
Format: PDF

Chechina, Natalia, Li, Huiqing, Ghaffari, Amir, Thompson, Simon, Trinder, Phil (2016) Improving the network scalability of Erlang. Journal of Parallel and Distributed Computing, 90-91 . pp. 22-34. ISSN 0743-7315. (doi:10.1016/j.jpdc.2016.01.002) (KAR id:54099)
Format: PDF

Clear, Tony and Caxton, Gwyn and Thompson, Simon and Fincher, Sally (2011) Cooperative and Work-Integrated Education in Information Technology. In: Coll, Richard and Zegwaard, Karsten, eds. Integrated Handbook for Cooperative and Work-Integrated Education. World Associate of Cooperative Education, Inc., pp. 182-196. ISBN 978-0-615-51885-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30716)

Cesarini, Francesco and Thompson, Simon (2011) Erlang by Example. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30718)

Cesarini, Francesco, Thompson, Simon (2010) Erlang Behaviours: Programming With Process Design Patterns. In: Horváth, Zoltán and Plasmeijer, Rinus and Zóka, Vikória, eds. Central European Functional Programming School, CEFP 2009. Lecture Notes in Computer Science , 6299. pp. 182-196. Springer (KAR id:30616)
Format: PDF

Cesarini, Francesco, Thompson, Simon (2009) Erlang Programming. O'Reilly, 494 pp. ISBN 0-596-51818-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24114)

Cameron, Helen, King, Peter, Thompson, Simon (2003) Modelling Reactive Multimedia: Events and Behaviours. Multimedia Tools and Applications, 19 (1). pp. 53-77. ISSN 1380-7501. (doi:10.1023/A:1021168913400) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14020)

Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Electronic Publishing, Artistic Imaging, and Digital Typography 7th International Conference on Electronic Publishing. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 355-369. ISBN 978-3-540-64298-5. E-ISBN 978-3-540-69718-3. (doi:10.1007/BFb0053283) (KAR id:21653)
Format: Postscript Format: PDF

Charles, Nathan, Bowman, Howard, Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489. (doi:10.1016/S0920-5489(97)00005-6) (KAR id:21506)
Format: Postscript Format: PDF

D

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2014) A normal form for spider diagrams of order. Journal of Visual Languages and Computing, 25 (6). pp. 935-944. ISSN 1045-926X. (doi:10.1016/j.jvlc.2014.10.029) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:44539)

Drienyovszky, Dániel and Horpacsi, Dániel and Thompson, Simon (2010) Quickchecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863521) (KAR id:30636)
Format: PDF

Delaney, Aidan, Stapleton, Gem, Taylor, John, Thompson, Simon (2010) Fragments of Spider Diagrams of Order and their Relative Expressiveness. In: Goel, Ashok K. and Jamnik, Mateja and Narayanan, N. Hari, eds. Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010. Lecture Notes in Computer Science , 6170. pp. 182-196. Springer (doi:10.1007/978-3-642-14600-8) (KAR id:30645)
Format: PDF

Delaney, Aidan and Taylor, John and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Stapleton, Gem and Howse, John and Lee, John, eds. Diagrammatic Representation and Inference 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 172-187. ISBN 978-3-540-87729-5. E-ISBN 978-3-540-87730-1. (doi:10.1007/978-3-540-87730-1_18) (KAR id:24010)
Format: PDF

F

Felleisen, Matthias and Hanus, Michael and Thompson, Simon (1999) Proceedings of the 1999 Workshop on Functional and Declarative Programming in Education. Technical report. Rice University (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21792)

G

Gaspar, Jaime (2019) Transformation of cryptographic primitives: provable security and proof presentation. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:78724)
Format: PDF

Griffin, Darren K., Mitchell, David, Thompson, Simon (2009) Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Computers and Education, 53 (2). pp. 532-539. ISSN 0360-1315. (doi:10.1016/j.compedu.2009.03.011) (KAR id:24111)
Format: PDF

H

Harrison, Joseph Richard (2020) Robust Communications in Erlang. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.87484) (KAR id:87484)
Format: PDF

Howse, John and Bosworth, Richard and Fish, Andrew and Stapleton, Gem and Taylor, John and Rodgers, Peter and Thompson, Simon (2006) Euler diagram-based notations. N/A. (Unpublished) (KAR id:65293)
Format: PDF

Hanus, Michael, Krishnamurthy, Shriram, Thompson, Simon (2002) Functional and Declarative Programming in Education 2002. In: Functional and Declarative Programming in Education (FDPE 2002). 0210. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13719)

Hill, Steve, Thompson, Simon (1995) Miranda in Isabelle. In: Paulson, Lawrence C., ed. Preceedings of the first Isabelle Users Workshop. University Of Cambridge Computer Laboratory Technical Reports Series (397). pp. 122-135. (KAR id:21247)
Format: PDF Format: Postscript

K

Kondratiuk, Dmytro, Seijas, Pablo Lamela, Nemish, Alexander, Thompson, Simon (2021) Standardized Crypto-Loans on the Cardano Blockchain. FC 2021: Financial Cryptography and Data Security. FC 2021 International Workshops, 12676 . pp. 579-594. ISSN 0302-9743. (doi:10.1007/978-3-662-63958-0_41) (KAR id:90252)
Format: PDF

King, Peter and Schmitz, Patrick and Thompson, Simon (2004) Behavioural Reactivity and Real Time Programming in XML: Functional Programming meets SMIL animation. In: Vion-Dury, Jean-Yves, ed. Proceedings of the 2004 ACM symposium on Document engineering. ACM, New York, USA, pp. 57-66. ISBN 1-58113-938-1. (doi:10.1145/1030397.1030411) (KAR id:14210)
Format: PDF

L

Lamela Seijas, Pablo and Smith, David and Thompson, Simon (2020) Efficient Static Analysis of Marlowe Contracts. In: Margaria, Tiziana and Steffen, Bernhard, eds. ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Applications. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 161-177. ISBN 978-3-030-61466-9. E-ISBN 978-3-030-61467-6. (doi:10.1007/978-3-030-61467-6_11) (KAR id:83710)
Format: PDF

Lamela Seijas, Pablo and Nemish, Alexander and Smith, David and Thompson, Simon (2020) Marlowe: Implementing and Analysing Financial Contracts on Blockchain. In: Bernhard, Matthew and Bracciali, Andrea and Camp, L. Jean and Matsuo, Shin'ichiro and Maurushat, Alana and Rønne, Peter B. and Sala, Massimiliano, eds. Financial Cryptography and Data Security. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 496-511. ISBN 978-3-030-54454-6. E-ISBN 978-3-030-54455-3. (doi:10.1007/978-3-030-54455-3_35) (KAR id:82483)
Format: PDF Format: PDF

Lamela Seijas, Pablo (2017) Model construction, evolution, and use in testing of software systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:69474)
Format: PDF

Lamela Seijas, Pablo and Thompson, Simon (2016) Identifying and introducing interfaces and callbacks using Wrangler. In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064909) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:64632)
Format: PDF

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 103-113. ISBN 978-1-4503-3297-2. (doi:10.1145/2678015.2682533) (KAR id:46579)
Format: PDF

Lamela Seijas, Pablo and Thompson, Simon and Taylor, Ramsay and Bogdanov, Kirill and Derrick, John (2014) Synapse: automatic behaviour inference and implementation comparison for Erlang. Technical report. University of Kent (Unpublished) (KAR id:42784)
Format: PDF

Li, Huiqing, Thompson, Simon (2014) Improved semantics and implementation through property-based testing with QuickCheck. In: Proceedings of the 9th International Workshop on Automation of Software Test. . pp. 50-56. (doi:10.1145/2593501.2593509) (KAR id:42307)
Format: PDF

Li, Huiqing, Thompson, Simon, Lamela Seijas, Pablo, Francisco, Miguel Angel (2014) Automating property-based testing of evolving web services. In: Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13). . pp. 169-180. (doi:10.1145/2543728.2543741) (KAR id:42309)
Format: PDF

Li, Huiqing, Thompson, Simon (2013) Multicore Profiling for Erlang Programs Using Percept2. In: Erlang Workshop 2013, 28 September 2013, Boston, USA. (doi:2505305.2505311) (KAR id:34875)
Format: PDF

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 77-78. ISBN 978-1-4503-2385-7. (doi:10.1145/2505305.2505317) (KAR id:42310)
Format: PDF

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (KAR id:34865)
Format: PDF

Li, Huiqing, Thompson, Simon (2012) Automated API migration in a user-extensible refactoring tool for Erlang programs. In: the 27th IEEE/ACM International Conference on Automated Software Engineering, September 2012, Essen, Germany. (KAR id:30924)
Format: PDF

Li, Huiqing and Thompson, Simon (2012) Let's Make Refactoring Tools User-extensible! In: Sommerlad, Peter, ed. Proceedings of the Fifth Workshop on Refactoring Tools. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 32-39. ISBN 978-1-4503-1500-5. (doi:10.1145/2328876.2328881) (KAR id:30807)
Format: PDF

Li, Huiqing, Thompson, Simon (2012) A Domain-Specific Language for Scripting Refactorings in Erlang. In: de Lara, Juan and Zisman, Andrea, eds. 15th Fundamental Approaches to Software Engineering(FASE2012). . 15pp. Lecture Notes in Computer Science. Springer, Tallinn, Estonia (KAR id:30822)
Format: PDF

Li, Huiqing and Thompson, Simon (2011) A Domain-Specific Language for Scripting Refactorings in Erlang. Technical report. (KAR id:30722)
Format: PDF

Li, Huiqing and Thompson, Simon (2011) A User-extensible Refactoring Tool for Erlang Programs. Technical report. (KAR id:30720)
Format: PDF

Li, Huiqing, Thompson, Simon, Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Counsell, Steve, ed. Proceedings of the Refactoring and Testing Workshop (RefTest 2011). . pp. 182-196. IEEE digital library (KAR id:30767)
Format: PDF

Li, Huiqing, Thompson, Simon (2011) Incremental Code Clone Detection and Elimination for Erlang Programs. In: Giannakopoulou, Dimitra and Orejas, Fernando, eds. Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11). Lecture Notes in Computer Science . pp. 182-196. Springer (KAR id:30770)
Format: PDF

Li, Huiqing and Thompson, Simon (2010) Improved Testing Through Refactoring: Experience from the ProTest project. In: Bottaci, Leonardo and Fraser, Gordon, eds. Testing – Practice and Research Techniques 5th International Academic and Industrial Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-15584-0. E-ISBN 978-3-642-15585-7. (doi:10.1007/978-3-642-15585-7_21) (KAR id:30628)
Format: PDF

Li, Huiqing and Thompson, Simon (2010) Refactoring Support for Modularity Maintenance in Erlang. In: Vunju, Jurgen and Marinescu, Cristina, eds. 2010 10th IEEE Working Conference on Source Code Analysis and Manipulation. IEEE, pp. 182-196. ISBN 978-1-4244-8655-7. (doi:10.1109/SCAM.2010.17) (KAR id:30627)
Format: PDF

Li, Huiqing and Thompson, Simon (2010) Similar Code Detection and Elimination for Erlang Programs. In: Carro, Manuel and Pena, Ricardo, eds. Practical Aspects of Declarative Languages 12th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 182-196. ISBN 978-3-642-11502-8. E-ISBN 978-3-642-11503-5. (doi:10.1007/978-3-642-11503-5_10) (KAR id:30703)
Format: PDF

Li, Huiqing and Lindberg, Adam and Schumacher, Andreas and Thompson, Simon (2009) Improving your test code with Wrangler. Technical report. (KAR id:30576)
Format: PDF

Li, Huiqing, Thompson, Simon (2009) Testing-framework-aware Refactoring. In: The Third ACM Workshop on Refactoring Tools. . pp. 182-196. , Orlando, Florida (KAR id:30587)
Format: PDF

Li, Huiqing, Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Penta, Massimiliano Di and Knodel, Jens, eds. Third International Workshop on Detection of Software Clones. . 1pp. , Kaiserslautern, Germany (KAR id:24078)
Format: PDF

Li, Huiqing, Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09). . , Savannah, Georgia, USA (KAR id:24061)
Format: PDF

Li, Huiqing and Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Dig, Danny and Fuhrer, Robert and Johnson, Ralph, eds. WRT '08 Proceedings of the 2nd Workshop on Refactoring Tools. SPLASH Systems, Programming, and Applications . ACM, New York, USA. ISBN 978-1-59593-977-7. (doi:10.1145/1636642.1636644) (KAR id:24037)
Format: Other Format: PDF

Li, Huiqing and Thompson, Simon and Orosz, György and Tóth, Melinda (2008) Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. In: Horváth, Zoltán and Teoh, Tee, eds. ERLANG '08 Proceedings of the 7th ACM SIGPLAN workshop on ERLANG. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 61-72. ISBN 978-1-60558-065-4. (doi:10.1145/1411273.1411283) (KAR id:24013)
Format: PDF

Li, Huiqing, Thompson, Simon, Orosz, György, Töth, Melinda (2008) Refactoring with Wrangler, updated. In: UNSPECIFIED. (KAR id:24012)
Format: PDF Format: Other

Li, Huiqing, Thompson, Simon (2008) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming(TFP). . , The Netherlands (KAR id:23986)
Format: PDF

Laemmel, Ralf, Thompson, Simon, Kaiser, Markus (2008) Programming errors in traversal programs over structured data. In: Vinju, Jurgen and Johnstone, Adrian, eds. 8th Workshop on Language Description, Tools and Applications. ENTCS . Springer (doi:10.1016/j.entcs.2009.09.045) (KAR id:23961)
Format: PDF

Li, Huiqing and Thompson, Simon (2007) Testing Erlang Refactorings with QuickCheck. In: Lecture Notes In Computer Science archive. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 19-36. ISBN 978-3-540-85372-5. E-ISBN 978-3-540-85373-2. (doi:10.1007/978-3-540-85373-2_2) (KAR id:14543)
Format: PDF

Li, Huiqing, Thompson, Simon, Lövei, László, Horváth, Zoltán, Kozsik, Tamás, Víg, Anikó, Nagy, Tamás (2006) Refactoring Erlang Programs. In: The Proceedings of 12th International Erlang/OTP User Conference. . , Stockholm, Sweden (KAR id:14394)
Format: PDF

Li, Huiqing and Thompson, Simon (2006) A Comparative Study of Refactoring Haskell and Erlang Programs. In: Penta, Massimiliano Di and Moonen, Leon, eds. Sixth IEEE International Workshop on Source Code Analysis and Manipulation. International Workshop on Source Code Analysis and Manipulation . IEEE, pp. 197-206. ISBN 0-7695-2353-6. (doi:10.1109/SCAM.2006.8) (KAR id:14424)
Format: PDF

Li, Huiqing, Thompson, Simon, Reinke, Claus (2005) The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science, 141 (4). pp. 29-34. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.02.053) (KAR id:14338)
Format: PDF

Li, Huiqing and Thompson, Simon (2005) Formalisation of Haskell Refactorings. In: van Eekelen, Marko and Hammond, Kevin, eds. Trends In Funtional Programming. Trends in Functional Programming . Intellect Books, Bristol, UK. ISBN 978-1-84150-176-5. (KAR id:14266)
Format: PDF

Li, Huiqing and Reinke, Claus and Thompson, Simon (2004) Progress on HaRe: the Haskell Refactorer. Other. kent university (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14111)

Li, Huiqing and Thompson, Simon (2003) Tool Support for Refactoring Functional Programs. In: Jeuring, Johan, ed. Proceedings of the 2nd Workshop on Refactoring Tools. ACM, pp. 27-38. ISBN 1-58113-758-3. (doi:10.1145/1636642.1636644) (KAR id:13934)
Format: PDF

Lins, Rafael D., Thompson, Simon, Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:10.1017/S0956796800000939) (KAR id:21166)
Format: PDF Format: Postscript

Lins, Rafael D. and Thompson, Simon (1990) Implementing SASL using Categorical Multi-combinators. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20976)

M

Moraglio, Alberto, Otero, Fernando E.B., Johnson, Colin G., Thompson, Simon, Freitas, Alex A. (2012) Evolving Recursive Programs using Non-recursive Scaffolding. In: Proceedings of the 2012 IEEE World Congress on Computational Intelligence. . pp. 1596-1603. (KAR id:30810)
Format: PDF

O

Otero, Fernando E.B., Johnson, Colin G., Freitas, Alex A., Thompson, Simon (2010) Refactoring in Automatically Generated Programs. In: 2nd International Symposium on Search Based Software Engineering, 7-9th September 2010, Benevento, Italy. (KAR id:71014)
Format: PDF

P

Patrascoiu, Octavian, Thompson, Simon, Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. . pp. 279-286. Knowledge Systems Institute ISBN 1-891706-17-9. (KAR id:14260)
Format: PDF

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: Kirchner, Hélène and Ringeissen, Christophe, eds. Frontiers of Combining Systems Third International Workshop. Lecture Notes in Computer Science, 1794 . Springer, Berlin, Germany, pp. 136-150. ISBN 978-3-540-67281-4. E-ISBN 978-3-540-46421-1. (doi:10.1007/10720084_10) (KAR id:22041)
Format: PDF

Poll, Erik and Thompson, Simon (1999) The Type System of Aldor. Technical report. , Kent CT2 7NF, UK (KAR id:21800)
Format: PDF Format: Postscript

Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University (KAR id:21662)
Format: Postscript Format: PDF

R

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. . pp. 950-965. ACM, ACM New York, NY, USA ©2019 ISBN 978-1-4503-6712-7. (doi:10.1145/3314221.3314600) (KAR id:73526)
Format: PDF

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2019) ROTOR : A Tool for Renaming Values in OCaml's Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR). . pp. 27-30. IEEE Press ISBN 978-1-72812-271-7. E-ISBN 978-1-72812-270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:80338)
Format: PDF

Rodgers, Peter, Stapleton, Gem, Alsallakh, Bilal, Micallef, Luana, Baker, Robert, Thompson, Simon (2016) A Task-Based Evaluation of Combined Set and Network Visualization. Information Sciences, 367–8 . pp. 58-79. ISSN 0020-0255. (doi:10.1016/j.ins.2016.05.045) (KAR id:55733)
Format: PDF Format: PDF

Rodgers, Peter, Baker, Robert, Thompson, Simon, Li, Huiqing (2013) Multi-level Visualization of Concurrent and Distributed Computation in Erlang. In: Proceedings of 19th International Conference on Distributed Multimedia Systems 2013. . Knowledge Systems Institute (KAR id:34968)
Format: PDF

Rowe, Reuben, Férée, Hugo, Thompson, Simon, Owens, Scott (2009) ROTOR: A Tool for Renaming Values in OCaml’s Module System. In: 2019 IEEE/ACM 3rd International Workshop on Refactoring. . IEEE ISBN 978-1-72812-270-0. (doi:10.1109/IWoR.2019.00013) (KAR id:74129)
Format: PDF

Ryder, Chris and Thompson, Simon (2005) Porting HaRe to the GHC API. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK (KAR id:14237)
Format: PDF

Ryder, Chris and Thompson, Simon (2005) Software Metrics: Measuring Haskell. In: van Eekelen, Marko, ed. Trends in Functional Programming. Trends in Functional Programming . Intellect Books, Bristol, UK. ISBN 978-1-84150-176-5. (KAR id:14265)
Format: PDF

Ryder, Chris and Thompson, Simon (1999) Aldor meets Haskell. Technical report. Computing Laboratory, University of Kent (KAR id:21762)
Format: PDF Format: Postscript

S

Seijas, Pablo Lamela, Thompson, Simon, Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, 26 . pp. 1519-1552. ISSN 0963-9314. E-ISSN 1573-1367. (doi:10.1007/s11219-017-9399-x) (KAR id:66343)
Format: PDF Format: PDF

Smith, Connor Lane (2017) Optimal Sharing Graphs for Substructural Higher-order Rewriting Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63884)
Format: PDF

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2016) Model extraction and test generation from JUnit test suites. In: Proceedings of the 11th International Workshop on Automation of Software Test. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 8-14. ISBN 978-1-4503-4151-6. (doi:10.1145/2896921.2896927) (KAR id:55751)
Format: PDF

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhauser, pp. 101-133. ISBN 978-3-0348-0599-5. E-ISBN 978-3-0348-0600-8. (doi:10.1007/978-3-0348-0600-8_7) (KAR id:42317)
Format: PDF

Stapleton, Gem, Taylor, John, Thompson, Simon, Howse, John (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (doi:10.1016/j.jvlc.2008.01.005) (KAR id:23977)
Format: PDF

Sultana, Nik, Thompson, Simon (2008) A Certified Refactoring Engine. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP). . (KAR id:23987)
Format: PDF

Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 51-60. ISBN 978-1-59593-977-7. (doi:10.1145/1328408.1328417) (KAR id:23959)
Format: PDF

Stapleton, Gem and Thompson, Simon and Fish, Andrew and Howse, John and Taylor, John (2005) A New Language for the Visualization of Logic and reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. Knowledge Systems Institute, pp. 287-292. ISBN 1-891706-17-9. (KAR id:14261)
Format: PDF

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (doi:10.1093/logcom/14.6.857) (KAR id:14057)
Format: PDF

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: 2004 IEEE Symposium on Visual Languages - Human Centric Computing. IEEE, pp. 90-98. ISBN 0-7803-8696-5. (doi:10.1109/VLHCC.2004.57) (KAR id:14077)
Format: PDF

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004) What Can Spider Diagrams Say? In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds. Diagrammatic Representation and Inference. Lecture Notes in Computer Science , 2980. pp. 179-186. Springer ISBN 3-540-21268-X. (doi:10.1007/978-3-540-25931-2_12) (KAR id:14197)
Format: PDF

Schmitz, Patrick, Thompson, Simon, King, Peter (2003) Presentation Dynamism in XML. In: Twelfth International World Wide Web Conference. . W3C, Budapest, Hungary (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13980)

T

Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Lecture Notes in Computer Science . Springer-Verlag Berlin, Switzerland. ISBN 978-3-030-03427-6. (doi:10.1007/978-3-030-03427-6_27) (KAR id:69846)
Format: PDF Format: PDF

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi:10.4204/EPTCS.270) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67028)

Thompson, Simon, Li, Huiqing, Baker, Robert, Adams, Stephen, Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Aronis, Stavros, Bihari, Eva, and others. (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). Article Number 17. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3107937) (KAR id:63197)
Format: PDF

Thompson, Simon, Li, Huiqing, Schumacher, Andreas (2017) The pragmatics of clone detection and elimination. The Art, Science, and Engineering of Programming, 1 (2). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2017/1/8) (KAR id:61167)
Format: PDF

Thompson, Simon (2017) A General Method for Defining Objects by Recursion over Syntax. Journal of Universal Computer Science, 23 (1). pp. 89-111. ISSN 0948-695X. E-ISSN 0948-6968. (KAR id:60845)
Format: PDF

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (KAR id:61162)
Format: PDF

Thompson, Simon, Horpacsi, Daniel, Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds. Electronic Proceedings in Theoretical Computer Science. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). 216. pp. 83-103. (doi:10.4204/EPTCS.216.5) (KAR id:56750)
Format: PDF

Thompson, Simon, Runciman, Colin (2015) Demur: checking functional-program properties using bounded recursion. In: Sixth Workshop on Tools for Automatic Program Analysis, 08 Sep 2015, Saint-Malo, France. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:50496)
Format: PDF

Thompson, Simon, Delaney, Aidan, Stapleton, Gem, Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (KAR id:42350)
Format: PDF

Thompson, Simon (2014) How to stand out digitally. In: Jolly, Adam, ed. The Growing Business Handbook. Kogan Page, pp. 129-131. ISBN 978-0-7494-7037-1. E-ISBN 978-0-7494-7038-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42881)

Thompson, Simon, Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (doi:10.1017/S0956796813000117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42312)

Thompson, Simon, Laemmel, Ralf, Kaiser, Markus (2013) Programming errors in traversal programs over structured data. Science of Computer Programming, . ISSN 0167-6423. (doi:10.1016/j.scico.2011.11.006) (KAR id:31505)
Format: PDF

Thompson, Simon (2011) Haskell: the craft of functional programming. Addison-Wesley ISBN 978-0-201-88295-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30749)

Thompson, Simon and King, Peter R. and Schmitz, Patrick (2007) Declarative extensions of XML languages. In: King, Peter and Simske, Steven, eds. DocEng '07 Proceedings of the 2007 ACM symposium on Document engineering. ACM, New York, USA, pp. 89-91. ISBN 978-1-59593-776-6. (doi:10.1145/1284420.1284442) (KAR id:14554)
Format: PDF

Thompson, Simon and King, Peter (2007) Declarative Extensions of XML Languages. Technical report. University of Kent, Canterbury, Kent (KAR id:14588)
Format: PDF

Thompson, Simon, King, Peter, Cameron, Helen (2005) Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools and Applications, 27 (1). pp. 23-52. ISSN 1380-7501. (doi:10.1007/s11042-005-2713-9) (KAR id:42672)
Format: PDF

Thompson, Simon (2004) Refactoring Functional Programs. In: Vene, Varmo and Uustalu, Tarmo, eds. Advanced Functional Programming 5th International School. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 331-357. ISBN 978-3-540-28540-3. E-ISBN 978-3-540-31872-9. (doi:10.1007/11546382_9) (KAR id:14267)
Format: PDF

Thompson, Simon and Reinke, Claus (2003) A Case Study in Refactoring Functional Programs. In: Ierusalimschy, Roberto and Figueiredo, Lucilia and Valente, Marcio Tulio, eds. Proceedings of the 7th Brazilian Symposium on Programming Languages. Springer, pp. 1-16. ISBN 85-88442-45-0. (KAR id:13978)
Format: PDF

Thompson, Simon and Reinke, Claus (2001) Refactoring Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (KAR id:13540)
Format: PDF

Thompson, Simon (2001) Logic and Dependent Types in the Aldor Computer Algebra System. In: Kerber, Manfred and Kohlhase, Michael, eds. Symbolic Computation and Automated Reasoning. . pp. 205-219. A K Peters ISBN 1-56881-145-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13642)

Thompson, Simon (2000) Regular Expressions and Automata using Haskell. Technical report. University of Kent (KAR id:22057)
Format: Postscript Format: PDF

Thompson, Simon (1999) Proof. In: Hammond, Kevin and Michaelson, Greg, eds. Research Directions in Parallel Functional Programming. Springer Verlag, pp. 93-119. ISBN 1-85233-092-9. (KAR id:21751)
Format: PDF

Thompson, Simon (1999) Haskell: the Craft of Functional Programming. International Computer Science Series . Addison-Wesley, Harlow, UK ISBN 0-201-34275-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21856)

Thompson, Simon (1998) A Functional Reactive Animation of a Lift using Fran. Technical report. Cambridge University Press (KAR id:21663)
Format: PDF Format: Postscript

Thompson, Simon (1997) em Where do I begin? A problem solving approach to teaching functional programming. In: Apt, Krzysztof and Hartel, Pieter H. and Klint, Paul, eds. First International Conference on Declarative Programming Languages in Education. . Springer-Verlag (KAR id:21459)
Format: Other Format: PDF

Thompson, Simon (1997) Higher-order + Polymorphic = Reusable. Other. University of Kent (Unpublished) (KAR id:21504)
Format: Postscript Format: Other

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. International Conference on Temporal Logic. Applied Logic . pp. 377-390. Kluwer (KAR id:21553)
Format: Postscript Format: PDF

Telford, Alastair J. and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21326)
Format: PDF Format: Postscript

Thompson, Simon (1996) Haskell: The Craft of Functional Programming. Addison Wesley ISBN 0-201-40357-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21362)

Thompson, Simon (1995) Miranda: The Craft of Functional Programming. Addison Wesley ISBN 0-201-42279-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21252)

Thompson, Simon (1995) Programming Language Semantics using Miranda. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21257)
Format: PDF Format: Postscript

Thompson, Simon (1995) Regular Expressions and Automata using Miranda. Other. UKC (Unpublished) (KAR id:21260)
Format: PDF Format: Postscript

Thompson, Simon (1995) A Logic for Miranda, Revisited. Formal Aspects of Computing, (7). (KAR id:21271)
Format: PDF Format: Postscript

Thompson, Simon and Hill, Steve (1995) Functional programming through the curriculum. In: Hartel, Pieter H. and Plasmeijer, Rinus, eds. Funtional Programming Languages in Education First International Symposium. Lecture Notes in Computer Science . Springer, Berlin Germany, pp. 85-102. ISBN 978-3-540-60675-8. E-ISBN 978-3-540-49252-8. (doi:10.1007/3-540-60675-0_40) (KAR id:19094)
Format: PDF Format: Postscript

Thompson, Simon (1992) Formulating Haskell. Technical report. University of Kent, Canterbury, UK (KAR id:21020)
Format: PDF Format: Postscript

Thompson, Simon, Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (doi:10.1093/comjnl/35.2.170) (KAR id:22255)
Format: PDF Format: Postscript

Thompson, Simon (1992) Are subsets necessary in Martin-Lof type theory? In: Myers Jr, J.P. and O'Donnell, M.J., eds. Constructivity in Computer Science Summer Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 46-57. ISBN 978-3-540-55631-2. E-ISBN 978-3-540-47265-0. (doi:10.1007/BFb0021082) (KAR id:21078)
Format: PDF Format: Postscript

Thompson, Simon (1991) Type Theory and Functional Programming. Addison Wesley ISBN 0-201-41667-0. (KAR id:20998)
Format: PDF

Thompson, Simon (1989) A Logic for Miranda. Formal Aspects of Computing, (1). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20949)

Thompson, Simon (1987) Interactive Functional Programs: a Method and a Formal Semantics. Technical report. Computing Laboratory, University of Kent, Canterbury, UK (KAR id:20889)
Format: PDF

Thompson, Simon (1986) Proving properties of functions defined on lawful types. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20917)

This list was generated on Fri Aug 19 19:54:54 2022 BST.