Search results for "Oege de Moor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sebastiaan J. van Schaik, Oege de Moor	A memory efficient reachability data structure through bit vector compression.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
1	Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers (eds.)	Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers	Datalog	2011	DBLP DOI BibTeX RDF
1	Max Schäfer, Oege de Moor	Type inference for datalog with complex type hierarchies.	POPL	2010	DBLP DOI BibTeX RDF	type system, datalog, type inference
1	Max Schäfer, Oege de Moor	Specifying and implementing refactorings.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Max Schäfer, Torbjörn Ekman, Oege de Moor	Challenge proposal: verification of refactorings.	PLPV	2009	DBLP DOI BibTeX RDF	refactoring, proof assistants, mechanical verification
1	Oege de Moor, Michael I. Schwartzbach (eds.)	Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings	CC	2009	DBLP DOI BibTeX RDF
1	Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor	Stepping Stones over the Refactoring Rubicon.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Max Schäfer, Torbjörn Ekman, Oege de Moor	Formalising and Verifying Reference Attribute Grammars in Coq.	ESOP	2009	DBLP DOI BibTeX RDF
1	Robert Glück, Oege de Moor (eds.)	Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008	PEPM	2008	DBLP BibTeX RDF
1	Damien Sereni, Pavel Avgustinov, Oege de Moor	Adding magic to an optimising datalog compiler.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	datalog, query optimisation, magic sets
1	Max Schäfer, Torbjörn Ekman, Oege de Moor	Sound and extensible renaming for java.	OOPSLA	2008	DBLP DOI BibTeX RDF	name analysis, refactoring, renaming, extensible compilers
1	Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni	Efficient local type inference.	OOPSLA	2008	DBLP DOI BibTeX RDF	program analysis, type inference
1	Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere	Type inference for datalog and its application to query optimisation.	PODS	2008	DBLP DOI BibTeX RDF	query optimization, datalog, type inference
1	Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble	Keynote Address: .QL for Source Code Analysis.	SCAM	2007	DBLP DOI BibTeX RDF
1	Pavel Avgustinov, Julian Tibble, Oege de Moor	On the Semantics of Matching Trace Monitoring Patterns.	RV	2007	DBLP DOI BibTeX RDF
1	Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller	Refactoring Tools.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
1	Oege de Moor, Elnar Hajiyev, Mathieu Verbaere	Object-oriented queries over software systems: (abstract of invited talk).	PEPM	2007	DBLP DOI BibTeX RDF
1	Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Semantics of static pointcuts in aspectJ.	POPL	2007	DBLP DOI BibTeX RDF	logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
1	Brian M. Barry, Oege de Moor (eds.)	Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007	AOSD	2007	DBLP BibTeX RDF
1	Oege de Moor, Damien Sereni, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Julian Tibble	.QL: Object-Oriented Queries Made Easy.	GTTSE	2007	DBLP DOI BibTeX RDF
1	Mathieu Verbaere, Elnar Hajiyev, Oege de Moor	Improve software quality with SemmleCode: an eclipse plugin for semantic code search.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code queries, coding conventions, style rules, metrics, object-oriented query language, code search
1	Pavel Avgustinov, Julian Tibble, Oege de Moor	Making trace monitors feasible.	OOPSLA	2007	DBLP DOI BibTeX RDF	program analysis, runtime verification, program monitors
1	Pavel Avgustinov, Julian Tibble, Oege de Moor	A comparison of compilation techniques for trace monitors with free variables.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, program analysis, runtime verification, program monitoring
1	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	abc : An Extensible AspectJ Compiler.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
1	Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann	Editorial.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF
1	Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam	Adding open modules to AspectJ.	AOSD	2006	DBLP DOI BibTeX RDF	aspect-oriented programming, modularity, encapsulation
1	Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Datalog as a pointcut language in aspect-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	pointcut sematics, aspect-oriented programming, datalog, semantic pointcuts
1	Mathieu Verbaere, Arnaud Payement, Oege de Moor	Scripting refactorings with JunGL.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	refactoring, scripting language, source code transformation, language workbenches
1	Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam	Efficient trace monitoring.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	aspect-oriented programming, program analysis, runtime verification, program monitoring
1	Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere	Aspects for Trace Monitoring.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Aspects and Data Refinement.	MPC	2006	DBLP DOI BibTeX RDF
1	Elnar Hajiyev, Mathieu Verbaere, Oege de Moor	codeQuest: Scalable Source Code Queries with Datalog.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Mathieu Verbaere, Ran Ettinger, Oege de Moor	JunGL: a scripting language for refactoring.	ICSE	2006	DBLP DOI BibTeX RDF	refactoring, scripting language, source code transformation, language workbenches
1	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Optimising aspectJ.	PLDI	2005	DBLP DOI BibTeX RDF	around advice, aspect-oriented programming language, cflow pointcut, optimization, aspectJ
1	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	abc: an extensible AspectJ compiler.	AOSD	2005	DBLP DOI BibTeX RDF
1	Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	abc: The AspectBench Compiler for AspectJ.	GPCE	2005	DBLP DOI BibTeX RDF
1	Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge	abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	aspect-oriented programming language, optimizations, aspectJ, language extensions
1	Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kris De Volder	CodeQuest: querying source code with datalog.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	analysis of object-oriented programs, source code querying, relational databases, DataLog
1	Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Adding trace matching with free variables to AspectJ.	OOPSLA	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program monitoring
1	Brian M. Barry, Oege de Moor	Preface.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen	Incremental execution of transformation specifications.	POPL	2004	DBLP DOI BibTeX RDF	language factors, residuation operators, transformation specification, logic programming, constraints, program transformation, program analysis, incremental algorithm
1	Bruno Dufour, Christopher Goard, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam, Clark Verbrugge	Measuring the dynamic behaviour of AspectJ programs.	OOPSLA	2004	DBLP DOI BibTeX RDF	java, optimization, performance, aspect-oriented programming, program analysis, AspectJ, dynamic metrics
1	Oege de Moor, David Lacey, Eric Van Wyk	Universal Regular Path Queries.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	regular algebra, program transformation, program analysis, query languages
1	Conal Elliott, Sigbjorn Finne, Oege de Moor	Compiling embedded languages.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
1	Damien Sereni, Oege de Moor	Static analysis of aspects.	AOSD	2003	DBLP DOI BibTeX RDF	meet-over-all-paths, compilers, analysis, regular expressions, aspects
1	Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski	Forwarding in Attribute Grammars for Modular Language Design.	CC	2002	DBLP DOI BibTeX RDF
1	Stephen Drape, Oege de Moor, Ganesh Sittampalam	Transforming the .NET intermediate language using path logic programming.	PPDP	2002	DBLP DOI BibTeX RDF	compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming
1	Oege de Moor, Ganesh Sittampalam	Higher-order matching for program transformation.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Ganesh Sittampalam, Oege de Moor	Higher-Order Pattern Matching for Automatically Applying Fusion Transformations.	PADO	2001	DBLP DOI BibTeX RDF
1	David Lacey, Oege de Moor	Imperative Program Transformation by Rewriting.	CC	2001	DBLP DOI BibTeX RDF
1	Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra	First-class Attribute Grammars.	Informatica (Slovenia)	2000	DBLP BibTeX RDF
1	Paul F. Hoogendijk, Oege de Moor	Container types categorically.	J. Funct. Program.	2000	DBLP BibTeX RDF
1	Conal Elliott, Sigbjorn Finne, Oege de Moor	Compiling Embedded Languages.	SAIG	2000	DBLP DOI BibTeX RDF
1	Oege de Moor, Jeremy Gibbons	Invited Talk: Pointwise Relational Programming.	AMAST	2000	DBLP DOI BibTeX RDF
1	Oege de Moor, Jeremy Gibbons	Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting.	Sci. Comput. Program.	1999	DBLP DOI BibTeX RDF
1	Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk	Aspect-Oriented Compilers.	GCSE	1999	DBLP DOI BibTeX RDF
1	Oege de Moor, Ganesh Sittampalam	Higher Order Matching for Program Transformation.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
1	Oege de Moor, Ganesh Sittampalam	Generic Program Transformation.	Advanced Functional Programming	1998	DBLP DOI BibTeX RDF
1	Richard S. Bird, Geraint Jones, Oege de Moor	More Haste, Less Speed: Lazy Versus Eager Evaluation.	J. Funct. Program.	1997	DBLP BibTeX RDF
1	Richard S. Bird, Oege de Moor	Algebra of programming.		1997	RDF
1	Richard S. Bird, Oege de Moor, Paul F. Hoogendijk	Generic Functional Programming with Types and Relations.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
1	Richard S. Bird, Oege de Moor	The algebra of programming.	NATO ASI DPD	1996	DBLP BibTeX RDF
1	Oege de Moor	A Generic Program for Sequential Decision Processes	PLILP	1995	DBLP DOI BibTeX RDF
1	Paul H. B. Gardiner, Clare E. Martin, Oege de Moor	An Algebraic Construction of Predicate Transformers.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
1	Oege de Moor	Categories, Relations and Dynamic Programming.	Mathematical Structures in Computer Science	1994	DBLP DOI BibTeX RDF
1	Richard S. Bird, Oege de Moor	List Partitions.	Formal Asp. Comput.	1993	DBLP DOI BibTeX RDF
1	S. Doaitse Swierstra, Oege de Moor	Virtual Data Structures.	Formal Program Development	1993	DBLP DOI BibTeX RDF
1	Richard S. Bird, Oege de Moor	From Dynamic Programming to Greedy Algorithms.	Formal Program Development	1993	DBLP DOI BibTeX RDF
1	Oege de Moor	Inductive Data Types for Predicate Transformers.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
1	Richard S. Bird, Oege de Moor	Solving Optimisation Problems with Catamorphism.	MPC	1992	DBLP DOI BibTeX RDF
1	Paul H. B. Gardiner, Clare E. Martin, Oege de Moor	An Algebraic Construction of Predicate Transformers.	MPC	1992	DBLP DOI BibTeX RDF

Publications of "Oege de Moor" ( http://dblp.L3S.de/Authors/Oege_de_Moor )