Browse by Person (creator, editor, contributor, etc.)

2019

Rowe, Reuben and Férée, Hugo and Thompson, Simon and Owens, Scott (2019) Characterising Renaming within OCaml’s Module System: Theory and Implementation. In: PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings. (In press) (doi:https://doi.org/10.1145/3314221.3314600) (Full text available)

Preview

2018

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%2F978-3-030-03427-6_27) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi:https://doi.org/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)

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, . ISSN 0963-9314. E-ISSN 1573-1367. (doi:https://doi.org/10.1007/s11219-017-9399-x) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Preview

2017

Lamela Seijas, Pablo (2017) Model construction, evolution, and use in testing of software systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)

Preview

Thompson, Simon and Li, Huiqing and Baker, Robert and Adams, Stephen and Trinder, Phil and Chechina, Natalia and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Aronis, Stavros and Bihari, Eva and Boudeville, Olivier and Cesarini, Francesco and de Stefano, Maurizio and Eriksson, Sverker and Fordos, Viktoria and Ghaffari, Amir and Green, Rickard and Hoch, csaba and Klaftenegger, David and Lundin, Kenneth and MacKenzie, Kenneth and Roukounaki, Katerinia and Tsiouris, Yiannis and Winblad, Kjell (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:https://doi.org/10.1145/3107937) (Full text available)

Preview

Adams, Stephen (2017) Data-Driven Refactorings for Haskell. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)

Preview

Baker, Robert (2017) A Method for Graph Drawing Utilising Patterns. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)

Preview

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

Preview

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. (Full text available)

Preview

Chechina, Natalia and MacKenzie, Kenneth and Thompson, Simon and Trinder, Phil and Boudeville, Olivier and Fordos, Viktoria and Hoch, csaba and Ghaffari, Amir and 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:https://doi.org/10.1109/TPDS.2017.2654246) (Full text available)

Preview

Smith, Connor Lane (2017) Optimal Sharing Graphs for Substructural Higher-order Rewriting Systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)

Preview

2016

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (Full text available)

Preview

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 ISBN 978-1-4503-4767-9. (doi:https://doi.org/10.1145/3064899.3064909) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Thompson, Simon and Horpacsi, Daniel and 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). pp. 83-103. (doi:https://doi.org/10.4204/EPTCS.216.5) (Full text available)

Preview

Rodgers, Peter and Stapleton, Gem and Alsallakh, Bilal and Micallef, Luana and Baker, Robert and Thompson, Simon (2016) A Task-Based Evaluation of Combined Set and Network Visualization. Information Sciences, 367–8 . pp. 58-79. ISSN 0020-0255. (doi:https://doi.org/10.1016/j.ins.2016.05.045) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Preview

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. , New York, USA pp. 8-14. ISBN 978-1-4503-4151-6. (doi:https://doi.org/10.1145/2896921.2896927) (Full text available)

Preview

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

Preview

2015

Thompson, Simon and 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)

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. ACM SIGPLAN pp. 103-113. ISBN 978-1-4503-3297-2. (doi:https://doi.org/10.1145/2678015.2682533) (Full text available)

Preview

2014

Delaney, Aidan and Stapleton, Gem and Taylor, John and 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:https://doi.org/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)

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) (Full text available)

Preview

Thompson, Simon and Delaney, Aidan and Stapleton, Gem and Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (Full text available)

Preview

Li, Huiqing and 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:https://doi.org/10.1145/2593501.2593509) (Full text available)

Preview

Li, Huiqing and Thompson, Simon and Lamela Seijas, Pablo and 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:https://doi.org/10.1145/2543728.2543741) (Full text available)

Preview

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)

2013

Thompson, Simon and Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (doi:https://doi.org/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)

Li, Huiqing and Thompson, Simon (2013) Multicore Profiling for Erlang Programs Using Percept2. In: Erlang Workshop 2013, 28 September 2013, Boston, USA. (doi:2505305.2505311) (Full text available)

Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Erlang '13 Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. Association for Computing Machinery, New York, USA pp. 77-78. ISBN 978-1-4503-2385-7. (doi:https://doi.org/10.1145/2505305.2505317) (Full text available)

Preview

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages. Journal of Visual Languages and Computing, 24 (4). pp. 273-288. ISSN 1045-926X. (doi:https://doi.org/10.1016/j.jvlc.2013.02.001) (Full text available)

Preview

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) (Full text available)

Preview

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:https://doi.org/10.1007/978-3-0348-0600-8_7) (Full text available)

Preview

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:https://doi.org/10.1007/978-3-642-40447-4_17) (Full text available)

Preview

Rodgers, Peter and Baker, Robert and Thompson, Simon and 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 (Full text available)

Preview

Thompson, Simon and Laemmel, Ralf and Kaiser, Markus (2013) Programming errors in traversal programs over structured data. Science of Computer Programming, . ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2011.11.006) (Full text available)

Preview

2012

Li, Huiqing and 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. (Full text available)

Preview

Moraglio, Alberto and Otero, Fernando E.B. and Johnson, Colin G. and Thompson, Simon and 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. (Full text available)

Preview

Li, Huiqing and Thompson, Simon (2012) Let's Make Refactoring Tools User-extensible! In: Sommerlad, Peter, ed. The Fifth ACM Workshop on Refactoring Tools. pp. 32-39. ISBN 978-1-4503-1500-5. (doi:https://doi.org/10.1145/2328876.2328881) (Full text available)

Preview

Li, Huiqing and 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). Lecture Notes in Computer Science. Springer, Tallinn, Estonia 15pp. (Full text available)

Preview

2011

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)

Li, Huiqing and Thompson, Simon (2011) A Domain-Specific Language for Scripting Refactorings in Erlang. Technical report. (Full text available)

Preview

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)

Li, Huiqing and Thompson, Simon (2011) A User-extensible Refactoring Tool for Erlang Programs. Technical report. (Full text available)

Preview

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

Preview

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)

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

Preview

Li, Huiqing and 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. Springer pp. 182-196. (Full text available)

Preview

2010

Cesarini, Francesco and 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. Springer pp. 182-196. (Full text available)

Preview

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. ErlangÂ?10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. ACM SIGPLAN pp. 182-196. ISBN 978-1-4503-0253-1. (Full text available)

Preview

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, TAIC PART 2010. Lecture Notes in Computer Science, 6303. Springer pp. 182-196. ISBN 978-3-642-15584-0. (Full text available)

Preview

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. ErlangÂ?10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. ACM SIGPLAN pp. 182-196. ISBN 978-1-4503-0253-1. (Full text available)

Preview

Li, Huiqing and Thompson, Simon (2010) Refactoring Support for Modularity Maintenance in Erlang. In: Vunju, Jurgen and Marinescu, Cristina, eds. Tenth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE Computer Society pp. 182-196. ISBN 978-0-7695-4178-5. (Full text available)

Preview

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

Preview

Delaney, Aidan and Stapleton, Gem and Taylor, John and 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. Springer pp. 182-196. (doi:https://doi.org/10.1007/978-3-642-14600-8) (Full text available)

Preview

Brown, Christopher and Li, Huiqing and 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. (Full text available)

Preview

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science, 6286 . Springer, pp. 250-271. ISBN 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:https://doi.org/10.1007/978-3-642-17071-3_13) (Full text available)

Preview

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. ACM Press pp. 182-196. ISBN 978-1-60558-727-1. (doi:https://doi.org/10.1145/1706356.1706378) (Full text available)

Preview

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. Lecture Notes in Computer Science (5937). Springer pp. 182-196. ISBN 978-3-642-11502-8. (Full text available)

Preview

2009

Li, Huiqing and Lindberg, Adam and Schumacher, Andreas and Thompson, Simon (2009) Improving your test code with Wrangler. Technical report. (Full text available)

Preview

Li, Huiqing and Thompson, Simon (2009) Testing-framework-aware Refactoring. In: The Third ACM Workshop on Refactoring Tools. , Orlando, Florida pp. 182-196. (Full text available)

Preview

Griffin, Darren K. and Mitchell, David and 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:https://doi.org/10.1016/j.compedu.2009.03.011) (Full text available)

Preview

Cesarini, Francesco and 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)

Stapleton, Gem and Taylor, John and Thompson, Simon and Howse, John (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (doi:https://doi.org/10.1016/j.jvlc.2008.01.005) (Full text available)

Preview

Li, Huiqing and 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. , Kaiserslautern, Germany 1pp. (Full text available)

Preview

Li, Huiqing and 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 (Full text available)

Preview

2008

Li, Huiqing and Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Dig, Danny and Fuhrer, Robert and Johnson, Ralph, eds. Proceedings of the Second ACM SIGPLAN Workshop on Refactoring Tools. Assoc Computing Machinery, Nashville, Tennessee, USA 4pp. ISBN 978-1-59593-977-7. (Full text available)

Preview

Li, Huiqing and Thompson, Simon and Orosz, György and Töth, Melinda (2008) Refactoring with Wrangler, updated. In: UNSPECIFIED. (Full text available)

Preview

Li, Huiqing and Thompson, Simon and Orosz, George 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. Proceedings of the Seventh ACM SIGPLAN Erlang Workshop. ACM Press, NY, USA 12pp. ISBN 978-1-60558-065-4. (Full text available)

Preview

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, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Lecture Notes in Computer Science (5223). pp. 172-187. ISBN 978-3-540-87729-5. (doi:https://doi.org/10.1007/978-3-540-87730-1<sub>1</sub>8) (Full text available)

Preview

Sultana, Nik and 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). (Full text available)

Preview

Li, Huiqing and 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 (Full text available)

Preview

Laemmel, Ralf and Thompson, Simon and 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:https://doi.org/10.1016/j.entcs.2009.09.045) (Full text available)

Preview

Sultana, Nik and Thompson, Simon (2008) Mechanical Verification of Refactorings. In: Workshop on Partial Evaluation and Program Manipulation. Assoc of Computing Machinery, NY, USA ISBN 978-1-59593-977-7. (Full text available)

Preview

Li, Huiqing and Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Partial Evaluation and Program Manipulation. Assoc of Computing Machinery, San Francisco, California, USA ISBN 978-1-59593-977-7. (Full text available)

Preview

2007

Brown, Christopher and 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. (Full text available)

Preview

Li, Huiqing and Thompson, Simon (2007) Testing Erlang Refactorings with QuickCheck. In: The 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, LNCS. Lecture Notes In Computer Science, 5083. Springer, Freiburg, Germany pp. 19-36. ISBN 978-3-540-85372-5. (doi:https://doi.org/10.1007/978-3-540-85373-2_2) (Full text available)

Preview

Thompson, Simon and King, Peter and Schmitz, Patrick (2007) Declarative extensions of XML languages. In: King, Peter and Simske, Steven, eds. Proceedings of the 2007 ACM symposium on Document engineering. ACM Press pp. 89-91. ISBN 978-1-59593-776-6. (Full text available)

Preview

Thompson, Simon and King, Peter (2007) Declarative Extensions of XML Languages. Technical report. University of Kent, Canterbury, Kent (Full text available)

Preview

2006

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

Preview

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 (SCAM 2006). IEEE Computer Society, Washington DC pp. 197-206. ISBN 0-7695-2353-6. (doi:https://doi.org/10.1109/SCAM.2006.8) (Full text available)

Preview

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) (Full text available)

Preview

2005

Li, Huiqing and Thompson, Simon and Reinke, Claus (2005) The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science, 141 (4). pp. 29-34. ISSN 1571-0661. (Full text available)

Preview

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 (Full text available)

Preview

Li, Huiqing and Thompson, Simon (2005) Formalisation of Haskell Refactorings. In: UNSPECIFIED. (Full text available)

Preview

Thompson, Simon and King, Peter and Cameron, Helen (2005) Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools and Applications, 27 (1). pp. 23-52. ISSN 1380-7501. (doi:https://doi.org/10.1007/s11042-005-2713-9) (Full text available)

Preview

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. pp. 287-292. ISBN 1-891706-17-9. (Full text available)

Preview

Ryder, Chris and Thompson, Simon (2005) Software Metrics: Measuring Haskell. In: UNSPECIFIED. (Full text available)

Preview

Patrascoiu, Octavian and Thompson, Simon and 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. ISBN 1-891706-17-9. (Full text available)

Preview

2004

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (doi:https://doi.org/10.1093/logcom/14.6.857) (Full text available)

Preview

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 Centered Computing 2004. IEEE pp. 90-98. ISBN 0-7803-8696-5. (doi:https://doi.org/10.1109/VLHCC.2004.57) (Full text available)

Preview

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)

Thompson, Simon (2004) Refactoring Functional Programs. In: Vene, Varmo and Uustalu, Tarmo, eds. Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004. Lecture Notes in Computer Science, LNCS 3. Springer Verlag, Berlin pp. 331-357. ISBN 3-540-28540-7. (Full text available)

Preview

Stapleton, Gem and Howse, John and Taylor, John and 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. Springer pp. 179-186. ISBN 3-540-21268-X. (doi:https://doi.org/10.1007/978-3-540-25931-2_12) (Full text available)

Preview

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. ACM Symposium on Document Engineering 2004. ACM New York, NY, USA pp. 57-66. ISBN 1-58113-938-1. (doi:https://doi.org/10.1145/1030397.1030411) (Full text available)

Preview

2003

Li, Huiqing and Reinke, Claus and Thompson, Simon (2003) Tool Support for Refactoring Functional Programs. In: Jeuring, Johan, ed. ACM SIGPLAN 2003 Haskell Workshop. pp. 27-38. ISBN 1-58113-758-3. (Full text available)

Preview

Thompson, Simon and Reinke, Claus (2003) A Case Study in Refactoring Functional Programs. In: Ierusalimschy, Roberto and Figueiredo, Lucilia and Valente, Marcio Tulio, eds. VII Brazilian Symposium on Programming Languages. pp. 1-16. ISBN 85-88442-45-0. (Full text available)

Preview

Schmitz, Patrick and Thompson, Simon and 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)

Bowman, Howard and 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)

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856. (doi:https://doi.org/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)

Cameron, Helen and King, Peter and Thompson, Simon (2003) Modelling Reactive Multimedia: Events and Behaviours. Multimedia Tools and Applications, 19 (1). pp. 53-77. ISSN 1380-7501. (doi:https://doi.org/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)

2002

Hanus, Michael and Krishnamurthy, Shriram and Thompson, Simon (2002) Functional and Declarative Programming in Education 2002. In: Functional and Declarative Programming in Education (FDPE 2002). (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)

2001

Thompson, Simon and Reinke, Claus (2001) Refactoring Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)

Preview

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. A K Peters pp. 205-219. 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)

2000

Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent (Full text available)

Preview

Thompson, Simon (2000) Regular Expressions and Automata using Haskell. Technical report. University of Kent (Full text available)

Preview Preview

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. Lecture Notes in Computer Science, 1794. Springer-Verlag Berlin pp. 136-150. ISBN 3-540-67281-8. (Full text available)

Preview

1999

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. (Full text available)

Preview

Ryder, Chris and Thompson, Simon (1999) Aldor meets Haskell. Technical report. Computing Laboratory, University of Kent (Full text available)

Preview Preview

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)

Poll, Erik and Thompson, Simon (1999) The Type System of Aldor. Technical report. , Kent CT2 7NF, UK (Full text available)

Preview Preview

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)

1998

Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University (Full text available)

Preview Preview

Thompson, Simon (1998) A Functional Reactive Animation of a Lift using Fran. Technical report. Cambridge University Press (Full text available)

Preview Preview

Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Electronic Publishing 98. Lecture Notes In Computer Science, 1357. Springer pp. 355-369. ISBN 3-540-64298-6. (Full text available)

Preview Preview

Bowman, Howard and Thompson, Simon (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods. Lecture Notes In Computer Science, 1397 (1397). Springer-Verlag pp. 108-123. ISBN 3-540-64406-7. (Full text available)

Preview

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. TABLEAUX 1998: Automated Reasoning with Analytic Tableaux and Related Methods, . pp. 108-123. (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)

1997

Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury (Full text available)

Preview Preview

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 (Full text available)

Preview +1 more...

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

Preview

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Applied Logic Series. Kluwer (Full text available)

Preview +1 more...

Thompson, Simon (1997) Higher-order + Polymorphic = Reusable. Other. University of Kent (Unpublished) (Full text available)

+1 more...

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent (Full text available)

Preview Preview

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. International Conference on Temporal Logic. Applied Logic. Kluwer pp. 377-390. (Full text available)

Preview Preview

Charles, Nathan and Bowman, Howard and Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(97)00005-6) (Full text available)

Preview Preview

1996

Telford, Alastair J. and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)

Preview Preview

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)

1995

Hill, Steve and 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. (Full text available)

Preview Preview

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)

Thompson, Simon (1995) Programming Language Semantics using Miranda. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)

Preview Preview

Thompson, Simon (1995) Regular Expressions and Automata using Miranda. Other. UKC (Unpublished) (Full text available)

Preview Preview

Thompson, Simon (1995) A Logic for Miranda, Revisited. Formal Aspects of Computing, (7). (Full text available)

Preview Preview

Thompson, Simon and Hill, Steve (1995) Functional programming through the curriculum. In: 1st International Symposium on Functional Programming Languages in Education (FPLE 95), Dec 04-06, 1995, Nijmegen, Netherlands. (Full text available)

Preview Preview

1994

Lins, Rafael D. and Thompson, Simon and Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:https://doi.org/10.1017/S0956796800000939) (Full text available)

Preview Preview

1992

Thompson, Simon (1992) Formulating Haskell. Technical report. University of Kent, Canterbury, UK (Full text available)

Preview Preview

Thompson, Simon and Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/35.2.170) (Full text available)

Preview Preview

Thompson, Simon (1992) Are subsets necessary in Martin-Lof type theory? In: Myers Jr, J.P. and O'Donnell, M.J., eds. Lecture Notes in Computer Science. Lecture Notes in Computer Science, 613. Springer-Verlag pp. 46-57. ISBN 3-540-55631-1. (Full text available)

Preview Preview

1991

Thompson, Simon (1991) Type Theory and Functional Programming. Addison Wesley ISBN 0-201-41667-0. (Full text available)

Preview

1990

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)

1989

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)

1987

Thompson, Simon (1987) Interactive Functional Programs: a Method and a Formal Semantics. Technical report. Computing Laboratory, University of Kent, Canterbury, UK (Full text available)

Preview

1986

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)