Search results for "Simon J. Thompson"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ralf Laemmel, Simon J. Thompson, Markus Kaiser	Programming errors in traversal programs over structured data	CoRR	2012	DBLP BibTeX RDF
1	Huiqing Li, Simon J. Thompson	A Domain-Specific Language for Scripting Refactorings in Erlang.	FASE	2012	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Incremental Clone Detection and Elimination for Erlang Programs.	FASE	2011	DBLP DOI BibTeX RDF
1	Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson	Extracting QuickCheck specifications from EUnit test cases.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Refactoring Support for Modularity Maintenance in Erlang.	SCAM	2010	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Similar Code Detection and Elimination for Erlang Programs.	PADL	2010	DBLP DOI BibTeX RDF
1	Christopher Brown 0002, Simon J. Thompson	Clone detection and elimination for Haskell.	PEPM	2010	DBLP DOI BibTeX RDF	hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code
1	Thomas Arts, Simon J. Thompson	From test cases to FSMs: augmented test-driven development and property inference.	Erlang Workshop	2010	DBLP DOI BibTeX RDF
1	Aidan Delaney, Gem Stapleton, John Taylor, Simon J. Thompson	Fragments of Spider Diagrams of Order and Their Relative Expressiveness.	Diagrams	2010	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Improved Testing through Refactoring: Experience from the ProTest Project.	TAIC PART	2010	DBLP DOI BibTeX RDF
1	Christopher Brown 0002, Huiqing Li, Simon J. Thompson	An Expression Processor: A Case Study in Refactoring Haskell Programs.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
1	Darren K. Griffin, David Mitchell, Simon J. Thompson	Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?	Computers & Education	2009	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Simon J. Thompson, Markus Kaiser	Programming Errors in Traversal Programs Over Structured Data.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Gem Stapleton, John Taylor, Simon J. Thompson, John Howse	The expressiveness of spider diagrams augmented with constants.	J. Vis. Lang. Comput.	2009	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Clone detection and removal for Erlang/OTP within a refactoring environment.	PEPM	2009	DBLP DOI BibTeX RDF	wrangler, program transformation, program analysis, refactoring, erlang, duplicated code
1	John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson	Property-Based Testing - The ProTest Project.	FMCO	2009	DBLP DOI BibTeX RDF
1	Clara Benac Earle, Simon J. Thompson (eds.)	Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009	Erlang Workshop	2009	DBLP BibTeX RDF
1	Francesco Cesarini, Simon J. Thompson	Erlang Behaviours: Programming with Process Design Patterns.	CEFP	2009	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Tool support for refactoring functional programs.	PEPM	2008	DBLP DOI BibTeX RDF	hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang
1	Nik Sultana, Simon J. Thompson	Mechanical verification of refactorings.	PEPM	2008	DBLP DOI BibTeX RDF	refactoring, Isabelle/HOL
1	Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth	Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	erlide, wrangler, refactoring, process, eclipse, erlang, slicing, record, tuple
1	Aidan Delaney, John Taylor, Simon J. Thompson	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.	Diagrams	2008	DBLP DOI BibTeX RDF
1	Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng	A Power Management Architecture for Sensor Nodes.	WCNC	2007	DBLP DOI BibTeX RDF
1	Simon J. Thompson, Lars-Åke Fredlund (eds.)	Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007	Erlang Workshop	2007	DBLP BibTeX RDF
1	Simon J. Thompson, Peter R. King, Patrick Schmitz	Declarative extensions of XML languages.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	XML, event, type, functional, data type, behaviour, declarative
1	Simon J. Thompson, Christopher Brown 0002, Huiqing Li, Claus Reinke, Nik Sultana	Refactoring Functional Programs at the University of Kent.	WRT	2007	DBLP BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Testing Erlang Refactorings with QuickCheck.	IFL	2007	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Comparative Study of Refactoring Haskell and Erlang Programs.	SCAM	2006	DBLP DOI BibTeX RDF
1	Huiqing Li, Simon J. Thompson, Claus Reinke	The Haskell Refactorer, HaRe, and its API.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Simon J. Thompson, Peter R. King, Helen Cameron	Modelling Reactive Multimedia: Design and Authoring.	Multimedia Tools Appl.	2005	DBLP DOI BibTeX RDF	Fran, MCF, model, design, multimedia, authoring, Haskell, functional, SMIL, reactive, suggestions
1	Chris Ryder, Simon J. Thompson	Software metrics: measuring Haskell.	Trends in Functional Programming	2005	DBLP BibTeX RDF
1	Huiqing Li, Simon J. Thompson	Formalisation of Haskell refactorings.	Trends in Functional Programming	2005	DBLP BibTeX RDF
1	Octavian Patrascoiu, Simon J. Thompson, Peter Rodgers	Tableaux for Diagrammatic Reasoning.	DMS	2005	DBLP BibTeX RDF
1	Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor	A New Language for the Visualization of Logic and Reasoning.	DMS	2005	DBLP BibTeX RDF
1	Gem Stapleton, John Howse, John Taylor, Simon J. Thompson	The Expressiveness of Spider Diagrams.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
1	Gem Stapleton, John Howse, John Taylor, Simon J. Thompson	The Expressiveness of Spider Diagrams Augmented with Constants.	VL/HCC	2004	DBLP DOI BibTeX RDF
1	Gem Stapleton, John Howse, John Taylor, Simon J. Thompson	What Can Spider Diagrams Say?	Diagrams	2004	DBLP DOI BibTeX RDF
1	Simon J. Thompson	Refactoring Functional Programs.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
1	Peter R. King, Patrick Schmitz, Simon J. Thompson	Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	XML, modeling, animation, functional programming, time, events, continuous, expressions, behaviors, SVG, SMIL, DOM, declarative
1	Howard Bowman, Simon J. Thompson	A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
1	Helen Cameron, Peter R. King, Simon J. Thompson	Modeling Reactive Multimedia: Events and Behaviors.	Multimedia Tools Appl.	2003	DBLP DOI BibTeX RDF
1	Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson	Mexitl: Multimedia in Executable Interval Temporal Logic.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF
1	Patrick Schmitz, Simon J. Thompson, Peter R. King	Presentation Dynamism in XML Functional Programming meets SMIL Animation.	WWW (Posters)	2003	DBLP BibTeX RDF
1	Simon J. Thompson	A functional reactive animation of a lift using Fran.	J. Funct. Program.	2000	DBLP BibTeX RDF
1	Erik Poll, Simon J. Thompson	Integrating Computer Algebra and Reasoning through the Type System of Aldor.	FroCos	2000	DBLP DOI BibTeX RDF
1	Nathan Charles, Howard Bowman, Simon J. Thompson	From ACT-ONE to Miranda, a translation experiment.	Computer Standards & Interfaces	1998	DBLP DOI BibTeX RDF
1	Howard Bowman, Simon J. Thompson	A Tableau Method for Interval Temporal Logic with Projection.	TABLEAUX	1998	DBLP DOI BibTeX RDF
1	Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson	Synchronization in Multimedia Documents.	EP	1998	DBLP DOI BibTeX RDF
1	Simon J. Thompson	Where Do I Begin? A Problem Solving Approach in teaching Functional Programming.	PLILP	1997	DBLP DOI BibTeX RDF	palindrome recognition, Polya, Functional programming, Haskell, problem solving
1	Simon J. Thompson	A Logic for Miranda, Revisited.	Formal Asp. Comput.	1995	DBLP DOI BibTeX RDF
1	Simon J. Thompson, Steve Hill	Functional Programming Through the Curriculum.	FPLE	1995	DBLP DOI BibTeX RDF
1	John Derrick, Peter F. Linington, Simon J. Thompson	Formal description techniques for object management.	Integrated Network Management	1995	DBLP BibTeX RDF
1	Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones	On the Equivalence Between CMC and TIM.	J. Funct. Program.	1994	DBLP DOI BibTeX RDF
1	Simon J. Thompson, Philip Wadler	Functional Programming in Education - Introduction.	J. Funct. Program.	1993	DBLP DOI BibTeX RDF
1	Simon J. Thompson, Rafael Dueire Lins	The Categorical Multi-Combinator Machine: CMCM.	Comput. J.	1992	DBLP DOI BibTeX RDF
1	Simon J. Thompson	Formulating Haskell.	Functional Programming	1992	DBLP BibTeX RDF
1	Simon J. Thompson	Are Subsets Necessary in Martin-Löf Type Theory?	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
1	Rafael Dueire Lins, Simon J. Thompson	Implementing SASL using Categorical Multi-combinators.	Softw., Pract. Exper.	1990	DBLP BibTeX RDF
1	Simon J. Thompson	A Logic for Miranda.	Formal Asp. Comput.	1989	DBLP DOI BibTeX RDF
1	Simon J. Thompson	Lawful Functions and Program Verification in Miranda.	Sci. Comput. Program.	1989	DBLP DOI BibTeX RDF
1	Simon J. Thompson	Laws in Miranda.	LISP and Functional Programming	1986	DBLP BibTeX RDF

Publications of "Simon J. Thompson" ( http://dblp.L3S.de/Authors/Simon_J._Thompson )