Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Oege de Moor
@inproceedings{DBLP:conf/ecoop/AvgustinovMJS16,
author = {Pavel Avgustinov and
Oege de Moor and
Michael Peyton Jones and
Max Sch{\"{a}}fer},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {{QL:} Object-oriented Queries on Relational Data},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {2:1--2:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.2},
doi = {10.4230/LIPICS.ECOOP.2016.2},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AvgustinovMJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AvgustinovBHLMM15,
author = {Pavel Avgustinov and
Arthur I. Baars and
Anders Starcke Henriksen and
R. Greg Lavender and
Galen Menzel and
Oege de Moor and
Max Sch{\"{a}}fer and
Julian Tibble},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Tracking Static Analysis Violations over Time to Capture Developer
Characteristics},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {437--447},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.62},
doi = {10.1109/ICSE.2015.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AvgustinovBHLMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CarteyLM12,
author = {Luke Cartey and
Rune B. Lyngs{\o} and
Oege de Moor},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Synthesising graphics card programs from DSLs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {121--132},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254080},
doi = {10.1145/2254064.2254080},
timestamp = {Sat, 11 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CarteyLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SchaikM11,
author = {Sebastiaan J. van Schaik and
Oege de Moor},
editor = {Timos K. Sellis and
Ren{\'{e}}e J. Miller and
Anastasios Kementsietsidis and
Yannis Velegrakis},
title = {A memory efficient reachability data structure through bit vector
compression},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
pages = {913--924},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989323.1989419},
doi = {10.1145/1989323.1989419},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/SchaikM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/datalog/2010,
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24206-9},
doi = {10.1007/978-3-642-24206-9},
isbn = {978-3-642-24205-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchaferM10,
author = {Max Sch{\"{a}}fer and
Oege de Moor},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Specifying and implementing refactorings},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {286--301},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869485},
doi = {10.1145/1869459.1869485},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SchaferM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SchaferM10,
author = {Max Sch{\"{a}}fer and
Oege de Moor},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Type inference for datalog with complex type hierarchies},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {145--156},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706317},
doi = {10.1145/1706299.1706317},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/SchaferM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchaferVEM09,
author = {Max Sch{\"{a}}fer and
Mathieu Verbaere and
Torbj{\"{o}}rn Ekman and
Oege de Moor},
editor = {Sophia Drossopoulou},
title = {Stepping Stones over the Refactoring Rubicon},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {369--393},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_17},
doi = {10.1007/978-3-642-03013-0\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SchaferVEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SchaferEM09,
author = {Max Sch{\"{a}}fer and
Torbj{\"{o}}rn Ekman and
Oege de Moor},
editor = {Giuseppe Castagna},
title = {Formalising and Verifying Reference Attribute Grammars in Coq},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {143--159},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_11},
doi = {10.1007/978-3-642-00590-9\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SchaferEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/SchaferEM09,
author = {Max Sch{\"{a}}fer and
Torbj{\"{o}}rn Ekman and
Oege de Moor},
editor = {Thorsten Altenkirch and
Todd D. Millstein},
title = {Challenge proposal: verification of refactorings},
booktitle = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
2009},
pages = {67--72},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481848.1481859},
doi = {10.1145/1481848.1481859},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/SchaferEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2009,
editor = {Oege de Moor and
Michael I. Schwartzbach},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {5501},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00722-4},
doi = {10.1007/978-3-642-00722-4},
isbn = {978-3-642-00721-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchaferEM08,
author = {Max Sch{\"{a}}fer and
Torbj{\"{o}}rn Ekman and
Oege de Moor},
editor = {Gail E. Harris},
title = {Sound and extensible renaming for java},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {277--294},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449787},
doi = {10.1145/1449764.1449787},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SchaferEM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BellamyAMS08,
author = {Ben Bellamy and
Pavel Avgustinov and
Oege de Moor and
Damien Sereni},
editor = {Gail E. Harris},
title = {Efficient local type inference},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {475--492},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449802},
doi = {10.1145/1449764.1449802},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BellamyAMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/MoorSAV08,
author = {Oege de Moor and
Damien Sereni and
Pavel Avgustinov and
Mathieu Verbaere},
editor = {Maurizio Lenzerini and
Domenico Lembo},
title = {Type inference for datalog and its application to query optimisation},
booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
BC, Canada},
pages = {291--300},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376916.1376957},
doi = {10.1145/1376916.1376957},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/MoorSAV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SereniAM08,
author = {Damien Sereni and
Pavel Avgustinov and
Oege de Moor},
editor = {Jason Tsong{-}Li Wang},
title = {Adding magic to an optimising datalog compiler},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2008, Vancouver, BC, Canada, June 10-12, 2008},
pages = {553--566},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376616.1376673},
doi = {10.1145/1376616.1376673},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/SereniAM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2008,
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {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},
publisher = {{ACM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1328408},
isbn = {978-1-59593-977-7},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/DigJTMBGK07,
author = {Danny Dig and
Ralph E. Johnson and
Frank Tip and
Oege de Moor and
Jan Becicka and
William G. Griswold and
Markus Keller},
editor = {Michael Cebulla},
title = {Refactoring Tools},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {193--202},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_19},
doi = {10.1007/978-3-540-78195-0\_19},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/DigJTMBGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/MoorSVHAEOT07,
author = {Oege de Moor and
Damien Sereni and
Mathieu Verbaere and
Elnar Hajiyev and
Pavel Avgustinov and
Torbj{\"{o}}rn Ekman and
Neil Ongkingco and
Julian Tibble},
editor = {Ralf L{\"{a}}mmel and
Joost Visser and
Jo{\~{a}}o Saraiva},
title = {.QL: Object-Oriented Queries Made Easy},
booktitle = {Generative and Transformational Techniques in Software Engineering
II, International Summer School, {GTTSE} 2007, Braga, Portugal, July
2-7, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5235},
pages = {78--133},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88643-3\_3},
doi = {10.1007/978-3-540-88643-3\_3},
timestamp = {Sun, 26 Apr 2020 17:09:18 +0200},
biburl = {https://dblp.org/rec/conf/gttse/MoorSVHAEOT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AvgustinovTM07,
author = {Pavel Avgustinov and
Julian Tibble and
Oege de Moor},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Making trace monitors feasible},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {589--608},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297070},
doi = {10.1145/1297027.1297070},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AvgustinovTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AvgustinovTM07a,
author = {Pavel Avgustinov and
Julian Tibble and
Oege de Moor},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {A comparison of compilation techniques for trace monitors with free
variables},
booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {821--822},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297905},
doi = {10.1145/1297846.1297905},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AvgustinovTM07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VerbaereHM07,
author = {Mathieu Verbaere and
Elnar Hajiyev and
Oege de Moor},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Improve software quality with SemmleCode: an eclipse plugin for semantic
code search},
booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {880--881},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297936},
doi = {10.1145/1297846.1297936},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/VerbaereHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MoorHV07,
author = {Oege de Moor and
Elnar Hajiyev and
Mathieu Verbaere},
editor = {G. Ramalingam and
Eelco Visser},
title = {Object-oriented queries over software systems: (abstract of invited
talk)},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {91},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244396},
doi = {10.1145/1244381.1244396},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MoorHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AvgustinovHOMSTV07,
author = {Pavel Avgustinov and
Elnar Hajiyev and
Neil Ongkingco and
Oege de Moor and
Damien Sereni and
Julian Tibble and
Mathieu Verbaere},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Semantics of static pointcuts in aspectJ},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {11--23},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190221},
doi = {10.1145/1190216.1190221},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/AvgustinovHOMSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AvgustinovTM07,
author = {Pavel Avgustinov and
Julian Tibble and
Oege de Moor},
editor = {Oleg Sokolsky and
Serdar Tasiran},
title = {On the Semantics of Matching Trace Monitoring Patterns},
booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
Canada, March 13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4839},
pages = {9--21},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77395-5\_2},
doi = {10.1007/978-3-540-77395-5\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/AvgustinovTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/MoorVHAEOST07,
author = {Oege de Moor and
Mathieu Verbaere and
Elnar Hajiyev and
Pavel Avgustinov and
Torbj{\"{o}}rn Ekman and
Neil Ongkingco and
Damien Sereni and
Julian Tibble},
title = {Keynote Address: .QL for Source Code Analysis},
booktitle = {Seventh {IEEE} International Workshop on Source Code Analysis and
Manipulation {(SCAM} 2007), September 30 - October 1, 2007, Paris,
France},
pages = {3--16},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SCAM.2007.31},
doi = {10.1109/SCAM.2007.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/MoorVHAEOST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2007,
editor = {Brian M. Barry and
Oege de Moor},
title = {Proceedings of the 6th International Conference on Aspect-Oriented
Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
March 12-16, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {208},
publisher = {{ACM}},
year = {2007},
isbn = {1-59593-615-7},
timestamp = {Tue, 10 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyMPT06,
author = {Olivier Danvy and
Oege de Moor and
Julian A. Padget and
Peter Thiemann},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {1},
pages = {5},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-8607-3},
doi = {10.1007/S10990-006-8607-3},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyMPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/AvgustinovCHKLLMSST06,
author = {Pavel Avgustinov and
Aske Simon Christensen and
Laurie J. Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble},
title = {\emph{abc} : An Extensible AspectJ Compiler},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {1},
pages = {293--334},
year = {2006},
url = {https://doi.org/10.1007/11687061\_9},
doi = {10.1007/11687061\_9},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taosd/AvgustinovCHKLLMSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/OngkingcoATHMS06,
author = {Neil Ongkingco and
Pavel Avgustinov and
Julian Tibble and
Laurie J. Hendren and
Oege de Moor and
Ganesh Sittampalam},
editor = {Robert E. Filman},
title = {Adding open modules to AspectJ},
booktitle = {Proceedings of the 5th International Conference on Aspect-Oriented
Software Development, {AOSD} 2006, Bonn, Germany, March 20-24, 2006},
pages = {39--50},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1119655.1119664},
doi = {10.1145/1119655.1119664},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/OngkingcoATHMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HajiyevVM06,
author = {Elnar Hajiyev and
Mathieu Verbaere and
Oege de Moor},
editor = {Dave Thomas},
title = {\emph{codeQuest: } Scalable Source Code Queries with Datalog},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {2--27},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_2},
doi = {10.1007/11785477\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HajiyevVM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/AvgustinovBHHLMOSSTV06,
author = {Pavel Avgustinov and
Eric Bodden and
Elnar Hajiyev and
Laurie J. Hendren and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Neil Ongkingco and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble and
Mathieu Verbaere},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Aspects for Trace Monitoring},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {20--39},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_2},
doi = {10.1007/11940197\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/AvgustinovBHHLMOSSTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VerbaereEM06,
author = {Mathieu Verbaere and
Ran Ettinger and
Oege de Moor},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {JunGL: a scripting language for refactoring},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {172--181},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134311},
doi = {10.1145/1134285.1134311},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/VerbaereEM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AvgustinovBHMOSST06,
author = {Pavel Avgustinov and
Eric Bodden and
Elnar Hajiyev and
Oege de Moor and
Neil Ongkingco and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble},
editor = {Tarmo Uustalu},
title = {Aspects and Data Refinement},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {5--9},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_3},
doi = {10.1007/11783596\_3},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AvgustinovBHMOSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VerbaerePM06,
author = {Mathieu Verbaere and
Arnaud Payement and
Oege de Moor},
editor = {Peri L. Tarr and
William R. Cook},
title = {Scripting refactorings with JunGL},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {651--652},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176656},
doi = {10.1145/1176617.1176656},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/VerbaerePM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HajiyevOAMSTV06,
author = {Elnar Hajiyev and
Neil Ongkingco and
Pavel Avgustinov and
Oege de Moor and
Damien Sereni and
Julian Tibble and
Mathieu Verbaere},
editor = {Peri L. Tarr and
William R. Cook},
title = {Datalog as a pointcut language in aspect-oriented programming},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {667--668},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176664},
doi = {10.1145/1176617.1176664},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/HajiyevOAMSTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AvgustinovTBHLMOS06,
author = {Pavel Avgustinov and
Julian Tibble and
Eric Bodden and
Laurie J. Hendren and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Neil Ongkingco and
Ganesh Sittampalam},
editor = {Peri L. Tarr and
William R. Cook},
title = {Efficient trace monitoring},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {685--686},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176673},
doi = {10.1145/1176617.1176673},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AvgustinovTBHLMOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/AvgustinovCHKLLMSST05,
author = {Pavel Avgustinov and
Aske Simon Christensen and
Laurie J. Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble},
editor = {Mira Mezini and
Peri L. Tarr},
title = {abc: an extensible AspectJ compiler},
booktitle = {Proceedings of the 4th International Conference on Aspect-Oriented
Software Development, {AOSD} 2005, Chicago, Illinois, USA, March 14-18,
2005},
pages = {87--98},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1052898.1052906},
doi = {10.1145/1052898.1052906},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/AvgustinovCHKLLMSST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/AllanACHKLLMSST05,
author = {Chris Allan and
Pavel Avgustinov and
Aske Simon Christensen and
Laurie J. Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble},
editor = {Robert Gl{\"{u}}ck and
Michael R. Lowry},
title = {\emph{abc}: The AspectBench Compiler for AspectJ},
booktitle = {Generative Programming and Component Engineering, 4th International
Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3676},
pages = {10--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561347\_2},
doi = {10.1007/11561347\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/AllanACHKLLMSST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AllanACDGHKLLMSSTV05,
author = {Chris Allan and
Pavel Avgustinov and
Aske Simon Christensen and
Bruno Dufour and
Christopher Goard and
Laurie J. Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble and
Clark Verbrugge},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {abc the aspectBench compiler for aspectJ a workbench for aspect-oriented
programming language and compilers research},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {88--89},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094877},
doi = {10.1145/1094855.1094877},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AllanACDGHKLLMSSTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HajiyevVMV05,
author = {Elnar Hajiyev and
Mathieu Verbaere and
Oege de Moor and
Kris De Volder},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {CodeQuest: querying source code with datalog},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {102--103},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094884},
doi = {10.1145/1094855.1094884},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/HajiyevVMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AllanACHKLMSST05,
author = {Chris Allan and
Pavel Avgustinov and
Aske Simon Christensen and
Laurie J. Hendren and
Sascha Kuzins and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Adding trace matching with free variables to AspectJ},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {345--364},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094839},
doi = {10.1145/1094811.1094839},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AllanACHKLMSST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AvgustinovCHKLLMSST05,
author = {Pavel Avgustinov and
Aske Simon Christensen and
Laurie J. Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {Optimising aspectJ},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {117--128},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065026},
doi = {10.1145/1065010.1065026},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AvgustinovCHKLLMSST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DufourGHMSV04,
author = {Bruno Dufour and
Christopher Goard and
Laurie J. Hendren and
Oege de Moor and
Ganesh Sittampalam and
Clark Verbrugge},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Measuring the dynamic behaviour of AspectJ programs},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {150--169},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1028990},
doi = {10.1145/1028976.1028990},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DufourGHMSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SittampalamML04,
author = {Ganesh Sittampalam and
Oege de Moor and
Ken Friis Larsen},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Incremental execution of transformation specifications},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {26--38},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964004},
doi = {10.1145/964001.964004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SittampalamML04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarryM04,
author = {Brian M. Barry and
Oege de Moor},
editor = {Brian M. Barry and
Oege de Moor},
title = {Preface},
booktitle = {Proceedings of the Second Eclipse Technology Exchange: eTX and the
Eclipse Phenomenon, eTX 2004, Barcelona, Spain, March 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {107},
pages = {1--5},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.043},
doi = {10.1016/J.ENTCS.2004.02.043},
timestamp = {Fri, 09 Dec 2022 12:32:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarryM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eclipse/2004ep,
editor = {Brian M. Barry and
Oege de Moor},
title = {Proceedings of the Second Eclipse Technology Exchange: eTX and the
Eclipse Phenomenon, eTX 2004, Barcelona, Spain, March 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {107},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/107/suppl/C},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eclipse/2004ep.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ElliottFM03,
author = {Conal Elliott and
Sigbj{\o}rn Finne and
Oege de Moor},
title = {Compiling embedded languages},
journal = {J. Funct. Program.},
volume = {13},
number = {3},
pages = {455--481},
year = {2003},
url = {https://doi.org/10.1017/S0956796802004574},
doi = {10.1017/S0956796802004574},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ElliottFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MoorLW03,
author = {Oege de Moor and
David Lacey and
Eric Van Wyk},
title = {Universal Regular Path Queries},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {1-2},
pages = {15--35},
year = {2003},
url = {https://doi.org/10.1023/A:1023063919574},
doi = {10.1023/A:1023063919574},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/MoorLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/SereniM03,
author = {Damien Sereni and
Oege de Moor},
editor = {William G. Griswold and
Mehmet Aksit},
title = {Static analysis of aspects},
booktitle = {Proceedings of the 2nd International Conference on Aspect-Oriented
Software Development, {AOSD} 2003, Boston, Massachusetts, USA, March
17-21, 2003},
pages = {30--39},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/643603.643607},
doi = {10.1145/643603.643607},
timestamp = {Tue, 06 Nov 2018 16:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aosd/SereniM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/WykMBK02,
author = {Eric Van Wyk and
Oege de Moor and
Kevin Backhouse and
Paul Kwiatkowski},
editor = {R. Nigel Horspool},
title = {Forwarding in Attribute Grammars for Modular Language Design},
booktitle = {Compiler Construction, 11th International Conference, {CC} 2002, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2304},
pages = {128--142},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45937-5\_11},
doi = {10.1007/3-540-45937-5\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/WykMBK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DrapeMS02,
author = {Stephen Drape and
Oege de Moor and
Ganesh Sittampalam},
title = {Transforming the .NET intermediate language using path logic programming},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {133--144},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571171},
doi = {10.1145/571157.571171},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/DrapeMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MoorS01,
author = {Oege de Moor and
Ganesh Sittampalam},
title = {Higher-order matching for program transformation},
journal = {Theor. Comput. Sci.},
volume = {269},
number = {1-2},
pages = {135--162},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00402-3},
doi = {10.1016/S0304-3975(00)00402-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MoorS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LaceyM01,
author = {David Lacey and
Oege de Moor},
editor = {Reinhard Wilhelm},
title = {Imperative Program Transformation by Rewriting},
booktitle = {Compiler Construction, 10th International Conference, {CC} 2001 Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2027},
pages = {52--68},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45306-7\_5},
doi = {10.1007/3-540-45306-7\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/LaceyM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pado/SittampalamM01,
author = {Ganesh Sittampalam and
Oege de Moor},
editor = {Olivier Danvy and
Andrzej Filinski},
title = {Higher-Order Pattern Matching for Automatically Applying Fusion Transformations},
booktitle = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
May 21-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2053},
pages = {218--237},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44978-7\_13},
doi = {10.1007/3-540-44978-7\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/pado/SittampalamM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/MoorBS00,
author = {Oege de Moor and
Kevin Backhouse and
S. Doaitse Swierstra},
title = {First-class Attribute Grammars},
journal = {Informatica (Slovenia)},
volume = {24},
number = {3},
year = {2000},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/MoorBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HoogendijkM00,
author = {Paul F. Hoogendijk and
Oege de Moor},
title = {Container types categorically},
journal = {J. Funct. Program.},
volume = {10},
number = {2},
pages = {191--225},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003640},
doi = {10.1017/S0956796899003640},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HoogendijkM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MoorG00,
author = {Oege de Moor and
Jeremy Gibbons},
editor = {Teodor Rus},
title = {Invited Talk: Pointwise Relational Programming},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {371--390},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_27},
doi = {10.1007/3-540-45499-3\_27},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/MoorG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/ElliottFM00,
author = {Conal Elliott and
Sigbj{\o}rn Finne and
Oege de Moor},
editor = {Walid Taha},
title = {Compiling Embedded Languages},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
International Workshop {SAIG} 2000, Montreal, Canada, September 20,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1924},
pages = {9--27},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45350-4\_5},
doi = {10.1007/3-540-45350-4\_5},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saig/ElliottFM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MoorG99,
author = {Oege de Moor and
Jeremy Gibbons},
title = {Bridging the Algorithm Gap: {A} Linear-Time Functional Program for
Paragraph Formatting},
journal = {Sci. Comput. Program.},
volume = {35},
number = {1},
pages = {3--27},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(99)00005-2},
doi = {10.1016/S0167-6423(99)00005-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MoorG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MoorS99,
author = {Oege de Moor and
Ganesh Sittampalam},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Higher Order Matching for Program Transformation},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {209--224},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_14},
doi = {10.1007/10705424\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/MoorS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcse/MoorPW99,
author = {Oege de Moor and
Simon L. Peyton Jones and
Eric Van Wyk},
editor = {Krzysztof Czarnecki and
Ulrich W. Eisenecker},
title = {Aspect-Oriented Compilers},
booktitle = {Generative and Component-Based Software Engineering, First International
Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {1799},
pages = {121--133},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-40048-6\_10},
doi = {10.1007/3-540-40048-6\_10},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/gcse/MoorPW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/MoorS98,
author = {Oege de Moor and
Ganesh Sittampalam},
editor = {S. Doaitse Swierstra and
Pedro Rangel Henriques and
Jos{\'{e}} Nuno Oliveira},
title = {Generic Program Transformation},
booktitle = {Advanced Functional Programming, Third International School, Braga,
Portugal, September 12-19, 1998, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1608},
pages = {116--149},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10704973\_3},
doi = {10.1007/10704973\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/MoorS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/AitkenDKMRS98,
author = {William Aitken and
Brian Dickens and
Paul Kwiatkowski and
Oege de Moor and
David Richter and
Charles Simonyi},
editor = {Premkumar T. Devanbu and
Jeffrey S. Poulin},
title = {Transformation in intentional programming},
booktitle = {Proceedings of the Fifth International Conference on Software Reuse,
{ICSR} 1998, Victoria, BC, Canada, June 2-5, 1998},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSR.1998.685736},
doi = {10.1109/ICSR.1998.685736},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/AitkenDKMRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0096998,
author = {Richard S. Bird and
Oege de Moor},
title = {Algebra of programming},
series = {Prentice Hall International series in computer science},
publisher = {Prentice Hall},
year = {1997},
isbn = {978-0-13-507245-5},
timestamp = {Thu, 03 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0096998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdJM97,
author = {Richard S. Bird and
Geraint Jones and
Oege de Moor},
title = {More Haste, Less Speed: Lazy Versus Eager Evaluation},
journal = {J. Funct. Program.},
volume = {7},
number = {5},
pages = {541--547},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002827},
doi = {10.1017/S0956796897002827},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BirdJM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdMH96,
author = {Richard S. Bird and
Oege de Moor and
Paul F. Hoogendijk},
title = {Generic Functional Programming with Types and Relations},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {1--28},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001556},
doi = {10.1017/S0956796800001556},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BirdMH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/BirdM96,
author = {Richard S. Bird and
Oege de Moor},
editor = {Manfred Broy},
title = {The algebra of programming},
booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program
Design, Marktoberdorf, Germany},
pages = {167--203},
year = {1996},
timestamp = {Tue, 14 Nov 2006 16:17:55 +0100},
biburl = {https://dblp.org/rec/conf/nato/BirdM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Moor95,
author = {Oege de Moor},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {A Generic Program for Sequential Decision Processes},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {1--23},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026809},
doi = {10.1007/BFB0026809},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Moor95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Moor94,
author = {Oege de Moor},
title = {Categories, Relations and Dynamic Programming},
journal = {Math. Struct. Comput. Sci.},
volume = {4},
number = {1},
pages = {33--69},
year = {1994},
url = {https://doi.org/10.1017/S0960129500000360},
doi = {10.1017/S0960129500000360},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Moor94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GardinerMM94,
author = {Paul H. B. Gardiner and
Clare E. Martin and
Oege de Moor},
title = {An Algebraic Construction of Predicate Transformers},
journal = {Sci. Comput. Program.},
volume = {22},
number = {1-2},
pages = {21--44},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)90006-X},
doi = {10.1016/0167-6423(94)90006-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GardinerMM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BirdM93,
author = {Richard S. Bird and
Oege de Moor},
title = {List Partitions},
journal = {Formal Aspects Comput.},
volume = {5},
number = {1},
pages = {61--78},
year = {1993},
url = {https://doi.org/10.1007/BF01211316},
doi = {10.1007/BF01211316},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BirdM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/BirdM93,
author = {Richard S. Bird and
Oege de Moor},
editor = {Bernhard M{\"{o}}ller and
Helmuth Partsch and
Stephen A. Schuman},
title = {From Dynamic Programming to Greedy Algorithms},
booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
Report},
series = {Lecture Notes in Computer Science},
volume = {755},
pages = {43--61},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57499-9\_16},
doi = {10.1007/3-540-57499-9\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-1/BirdM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/SwierstraM93,
author = {S. Doaitse Swierstra and
Oege de Moor},
editor = {Bernhard M{\"{o}}ller and
Helmuth Partsch and
Stephen A. Schuman},
title = {Virtual Data Structures},
booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
Report},
series = {Lecture Notes in Computer Science},
volume = {755},
pages = {355--371},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57499-9\_26},
doi = {10.1007/3-540-57499-9\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-1/SwierstraM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Moor92,
author = {Oege de Moor},
title = {Inductive Data Types for Predicate Transformers},
journal = {Inf. Process. Lett.},
volume = {43},
number = {3},
pages = {113--117},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90001-C},
doi = {10.1016/0020-0190(92)90001-C},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Moor92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdM92,
author = {Richard S. Bird and
Oege de Moor},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Solving Optimisation Problems with Catamorphism},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {45--66},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_7},
doi = {10.1007/3-540-56625-2\_7},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/BirdM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GardinerMM92,
author = {Paul H. B. Gardiner and
Clare E. Martin and
Oege de Moor},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {An Algebraic Construction of Predicate Transformers},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {100--121},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_10},
doi = {10.1007/3-540-56625-2\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GardinerMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-09 00:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
