Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: James F. Power
@inproceedings{DBLP:conf/zum/FarrellMP23,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Building Specifications in the Event-B Institution: {A} Summary},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {245--253},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_19},
doi = {10.1007/978-3-031-33163-3\_19},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/FarrellMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FarrellMP22,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
title = {Building Specifications in the Event-B Institution},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:4)2022},
doi = {10.46298/LMCS-18(4:4)2022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/FarrellMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10881,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
title = {Building Specifications in the Event-B Institution},
journal = {CoRR},
volume = {abs/2103.10881},
year = {2021},
url = {https://arxiv.org/abs/2103.10881},
eprinttype = {arXiv},
eprint = {2103.10881},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PowerW20,
author = {James F. Power and
John Waldron},
editor = {Jian Zhang and
Mark Sherriff and
Sarah Heckman and
Pamela A. Cutter and
Alvaro E. Monge},
title = {Calibration and Analysis of Source Code Similarity Measures for Verilog
Hardware Description Language Projects},
booktitle = {Proceedings of the 51st {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2020, Portland, OR, USA, March 11-14, 2020},
pages = {420--426},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3328778.3366928},
doi = {10.1145/3328778.3366928},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PowerW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/MalloyP19,
author = {Brian A. Malloy and
James F. Power},
title = {An empirical analysis of the transition from Python 2 to Python 3},
journal = {Empir. Softw. Eng.},
volume = {24},
number = {2},
pages = {751--778},
year = {2019},
url = {https://doi.org/10.1007/s10664-018-9637-2},
doi = {10.1007/S10664-018-9637-2},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/MalloyP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MalloyP19,
author = {Brian A. Malloy and
James F. Power},
title = {Grammar engineering for multiple front-ends for Python},
journal = {Softw. Pract. Exp.},
volume = {49},
number = {3},
pages = {380--400},
year = {2019},
url = {https://doi.org/10.1002/spe.2665},
doi = {10.1002/SPE.2665},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/MalloyP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PowerW19,
author = {James F. Power and
John Waldron},
editor = {Bruce Scharlau and
Roger McDermott and
Arnold Pears and
Mihaela Sabin},
title = {Quantifying Activity and Collaboration Levels in Programming Assignments},
booktitle = {Proceedings of the 2019 {ACM} Conference on Innovation and Technology
in Computer Science Education, Aberdeen, Scotland, UK, July 15-17,
2019},
pages = {112--118},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3304221.3319769},
doi = {10.1145/3304221.3319769},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PowerW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ChengMP18,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
title = {Formalised {EMFTVM} bytecode language for sound verification of model
transformations},
journal = {Softw. Syst. Model.},
volume = {17},
number = {4},
pages = {1197--1225},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0553-x},
doi = {10.1007/S10270-016-0553-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ChengMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/MalloyP17,
author = {Brian A. Malloy and
James F. Power},
editor = {Ayse Bener and
Burak Turhan and
Stefan Biffl},
title = {Quantifying the Transition from Python 2 to 3: An Empirical Study
of Python Applications},
booktitle = {2017 {ACM/IEEE} International Symposium on Empirical Software Engineering
and Measurement, {ESEM} 2017, Toronto, ON, Canada, November 9-10,
2017},
pages = {314--323},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ESEM.2017.45},
doi = {10.1109/ESEM.2017.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/MalloyP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FarrellMP17,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Zhenhua Duan and
Luke Ong},
title = {Combining Event-B and {CSP:} An Institution Theoretic Approach to
Interoperability},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {140--156},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_9},
doi = {10.1007/978-3-319-68690-5\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FarrellMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FarrellMP17,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Specification Clones: An Empirical Study of the Structure of Event-B
Specifications},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {152--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_10},
doi = {10.1007/978-3-319-66197-1\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FarrellMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HealyMP16,
author = {Andrew Healy and
Rosemary Monahan and
James F. Power},
editor = {Sascha Ossowski},
title = {Evaluating the use of a general-purpose benchmark suite for domain-specific
SMT-solving},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1558--1561},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851975},
doi = {10.1145/2851613.2851975},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/HealyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/FarrellMP16,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Phillip James and
Markus Roggenbach},
title = {An Institution for Event-B},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {104--119},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_8},
doi = {10.1007/978-3-319-72044-9\_8},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/FarrellMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HealyMP17,
author = {Andrew Healy and
Rosemary Monahan and
James F. Power},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Predicting {SMT} Solver Performance for Software Verification},
booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
series = {{EPTCS}},
volume = {240},
pages = {20--37},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.240.2},
doi = {10.4204/EPTCS.240.2},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/HealyMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/ChengMP15,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
editor = {Dimitris S. Kolovos and
Manuel Wimmer},
title = {A Sound Execution Semantics for {ATL} via Translation Validation -
Research Paper},
booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9152},
pages = {133--148},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21155-8\_11},
doi = {10.1007/978-3-319-21155-8\_11},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/ChengMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ChengMP15,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Verifying SimpleGT Transformations Using an Intermediate Verification
Language},
booktitle = {Proceedings of the Fourth International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations {(STAF} 2015), L'Aquila, Italy, July 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1530},
pages = {12--19},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1530/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/ChengMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Power14,
author = {James F. Power},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {An Early Completion Algorithm: Thue's 1914 Paper on the Transformation
of Symbol Sequences},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {343--346},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_35},
doi = {10.1007/978-3-319-08019-2\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Power14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccrea/ODonoghuePODMHA14,
author = {Diarmuid P. O'Donoghue and
James F. Power and
Sian O'Briain and
Feng Dong and
Aidan Mooney and
Donny Hurley and
Yalemisew M. Abgaz and
Charles Markham},
editor = {Simon Colton and
Dan Ventura and
Nada Lavrac and
Michael Cook},
title = {Can a Computationally Creative System Create Itself? Creative Artefacts
and Creative Processes},
booktitle = {Proceedings of the Fifth International Conference on Computational
Creativity, {ICCC} 2014, Ljubljana, Slovenia, June 10-13, 2014},
pages = {146--154},
publisher = {computationalcreativity.net},
year = {2014},
url = {http://computationalcreativity.net/iccc2014/wp-content/uploads/2014/06/9.1\_ODonoghue.pdf},
timestamp = {Fri, 11 Dec 2020 14:55:11 +0100},
biburl = {https://dblp.org/rec/conf/icccrea/ODonoghuePODMHA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WuMP13,
author = {Hao Wu and
Rosemary Monahan and
James F. Power},
title = {Exploiting Attributed Type Graphs to Generate Metamodel Instances
Using an {SMT} Solver},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {175--182},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.31},
doi = {10.1109/TASE.2013.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WuMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Power13,
author = {James F. Power},
title = {Thue's 1914 paper: a translation},
journal = {CoRR},
volume = {abs/1308.5858},
year = {2013},
url = {http://arxiv.org/abs/1308.5858},
eprinttype = {arXiv},
eprint = {1308.5858},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Power13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ClarkePBK12,
author = {Peter J. Clarke and
James F. Power and
Djuradj Babich and
Tariq M. King},
title = {A testing strategy for abstract classes},
journal = {Softw. Test. Verification Reliab.},
volume = {22},
number = {3},
pages = {147--169},
year = {2012},
url = {https://doi.org/10.1002/stvr.429},
doi = {10.1002/STVR.429},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ClarkePBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChengMP12,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {A Simple Complexity Measurement for Software Verification and Software
Testing},
booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
pages = {28--31},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873/papers/paper\_8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/ChengMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DulaighPC12,
author = {Keith {\'{O}} D{\'{u}}laigh and
James F. Power and
Peter J. Clarke},
title = {Measurement of exception-handling code: an exploratory study},
booktitle = {Proceedings of the 5th International Workshop on Exception Handling,
{WEH} 2012, Zurich, Switzerland, June 9, 2012},
pages = {55--61},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WEH.2012.6226602},
doi = {10.1109/WEH.2012.6226602},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DulaighPC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-6322,
author = {Hao Wu and
Rosemary Monahan and
James F. Power},
title = {Metamodel Instance Generation: {A} systematic literature review},
journal = {CoRR},
volume = {abs/1211.6322},
year = {2012},
url = {http://arxiv.org/abs/1211.6322},
eprinttype = {arXiv},
eprint = {1211.6322},
timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BabichCPK11,
author = {Djuradj Babich and
Peter J. Clarke and
James F. Power and
B. M. Golam Kibria},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Using a class abstraction technique to predict faults in {OO} classes:
a case study through six releases of the Eclipse {JDT}},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {1419--1424},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982492},
doi = {10.1145/1982185.1982492},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BabichCPK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PowerWB11,
author = {James F. Power and
Thomas Whelan and
Susan Bergin},
editor = {Thomas J. Cortina and
Ellen Lowenfeld Walker and
Laurie A. Smith King and
David R. Musicant},
title = {Teaching discrete structures: a systematic review of the literature},
booktitle = {Proceedings of the 42nd {ACM} technical symposium on Computer science
education, {SIGCSE} 2011, Dallas, TX, USA, March 9-12, 2011},
pages = {275--280},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953163.1953247},
doi = {10.1145/1953163.1953247},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PowerWB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AleksyAGPW09,
author = {Markus Aleksy and
Vasco Amaral and
Ralf Gitzel and
James F. Power and
John Waldron},
title = {{PPPJ} special issue-Foreword},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {259--260},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.008},
doi = {10.1016/J.SCICO.2009.01.008},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AleksyAGPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/HennessyP08,
author = {Mark Hennessy and
James F. Power},
title = {Analysing the effectiveness of rule-coverage as a reduction criterion
for test suites of grammar-based software},
journal = {Empir. Softw. Eng.},
volume = {13},
number = {4},
pages = {343--368},
year = {2008},
url = {https://doi.org/10.1007/s10664-008-9067-7},
doi = {10.1007/S10664-008-9067-7},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/HennessyP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AleksyGWP08,
author = {Markus Aleksy and
Ralf Gitzel and
John Waldron and
James F. Power},
title = {{PPPJ} 2006 special issue - foreword},
journal = {Sci. Comput. Program.},
volume = {70},
number = {2-3},
pages = {87--88},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2007.07.002},
doi = {10.1016/J.SCICO.2007.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AleksyGWP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/McQuillanP08,
author = {Jacqueline A. McQuillan and
James F. Power},
title = {A Metamodel for the Measurement of Object-Oriented Systems: An Analysis
using Alloy},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {288--297},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.58},
doi = {10.1109/ICST.2008.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/McQuillanP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LambertP08,
author = {Jonathan M. Lambert and
James F. Power},
editor = {Alessandro Aldini and
Christel Baier},
title = {Platform Independent Timing of Java Virtual Machine Bytecode Instructions},
booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
pages = {97--113},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.021},
doi = {10.1016/J.ENTCS.2008.11.021},
timestamp = {Fri, 20 Jan 2023 13:44:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LambertP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KraftMP07,
author = {Nicholas A. Kraft and
Brian A. Malloy and
James F. Power},
title = {An infrastructure to support interoperability in reverse engineering},
journal = {Inf. Softw. Technol.},
volume = {49},
number = {3},
pages = {292--307},
year = {2007},
url = {https://doi.org/10.1016/j.infsof.2006.10.014},
doi = {10.1016/J.INFSOF.2006.10.014},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/KraftMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KraftMP07,
author = {Nicholas A. Kraft and
Brian A. Malloy and
James F. Power},
title = {A tool chain for reverse engineering {C++} applications},
journal = {Sci. Comput. Program.},
volume = {69},
number = {1-3},
pages = {3--13},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.01.012},
doi = {10.1016/J.SCICO.2007.01.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KraftMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ClarkeBKP07,
author = {Peter J. Clarke and
Djuradj Babich and
Tariq M. King and
James F. Power},
title = {Intra-Class Testing of Abstract Class Features},
booktitle = {{ISSRE} 2007, The 18th {IEEE} International Symposium on Software
Reliability, Trollh{\"{a}}ttan, Sweden, 5-9 November 2007},
pages = {191--200},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISSRE.2007.11},
doi = {10.1109/ISSRE.2007.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ClarkeBKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KearneyP07,
author = {Steven Kearney and
James F. Power},
title = {REM4j - {A} Framework for Measuring the Reverse Engineering Capability
of {UML} {CASE} Tools},
booktitle = {Proceedings of the Nineteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
USA, July 9-11, 2007},
pages = {209--214},
publisher = {Knowledge Systems Institute Graduate School},
year = {2007},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/KearneyP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MitchellP06,
author = {{\'{A}}ine Mitchell and
James F. Power},
title = {A study of the influence of coverage on the relationship between static
and dynamic coupling metrics},
journal = {Sci. Comput. Program.},
volume = {59},
number = {1-2},
pages = {4--25},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.07.002},
doi = {10.1016/J.SCICO.2005.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MitchellP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MalloyP06,
author = {Brian A. Malloy and
James F. Power},
title = {Exploiting design patterns to automate validation of class invariants},
journal = {Softw. Test. Verification Reliab.},
volume = {16},
number = {2},
pages = {71--95},
year = {2006},
url = {https://doi.org/10.1002/stvr.327},
doi = {10.1002/STVR.327},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MalloyP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/HennessyP06,
author = {Mark Hennessy and
James F. Power},
editor = {Hakan Erdogmus and
Eleni Stroulia and
Darlene A. Stewart},
title = {Ensuring behavioural equivalence in test-driven porting},
booktitle = {Proceedings of the 2006 conference of the Centre for Advanced Studies
on Collaborative Research, October 16-19, 2006, Toronto, Ontario,
Canada},
pages = {377},
publisher = {{IBM}},
year = {2006},
url = {https://doi.org/10.1145/1188966.1189017},
doi = {10.1145/1188966.1189017},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/HennessyP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/McQuillanP06,
author = {Jacqueline A. McQuillan and
James F. Power},
editor = {Thomas K{\"{u}}hne},
title = {On the Application of Software Metrics to {UML} Models},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {217--226},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_27},
doi = {10.1007/978-3-540-69489-2\_27},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/McQuillanP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/McQuillanP06,
author = {Jacqueline A. McQuillan and
James F. Power},
editor = {Ralf Gitzel and
Markus Aleksy and
Martin Schader},
title = {Experiences of using the Dagstuhl Middle Metamodel for defining software
metrics},
booktitle = {Proceedings of the 4th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2006, Mannheim, Germany, August 30
- September 1, 2006},
series = {{ACM} International Conference Proceeding Series},
volume = {178},
pages = {194--198},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1168054.1168082},
doi = {10.1145/1168054.1168082},
timestamp = {Sun, 25 Oct 2020 23:04:31 +0100},
biburl = {https://dblp.org/rec/conf/pppj/McQuillanP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/GreggPW05,
author = {David Gregg and
James F. Power and
John Waldron},
title = {A method-level comparison of the Java Grande and {SPEC} {JVM98} benchmark
suites},
journal = {Concurr. Pract. Exp.},
volume = {17},
number = {7-8},
pages = {757--773},
year = {2005},
url = {https://doi.org/10.1002/cpe.846},
doi = {10.1002/CPE.846},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/GreggPW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PowerW05,
author = {James F. Power and
John Waldron},
title = {Editorial},
journal = {Sci. Comput. Program.},
volume = {54},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.002},
doi = {10.1016/J.SCICO.2004.05.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PowerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/BrownMP05,
author = {Stephen Brown and
{\'{A}}ine Mitchell and
James F. Power},
editor = {Peter Kokol},
title = {A Coverage Analysis of Java Benchmark Suites},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 15-17, 2005},
pages = {144--149},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Tue, 10 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/BrownMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HennessyP05,
author = {Mark Hennessy and
James F. Power},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {An analysis of rule coverage as a criterion in generating minimal
test suites for grammar-based software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {104--113},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101926},
doi = {10.1145/1101908.1101926},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HennessyP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MitchellP05,
author = {{\'{A}}ine Mitchell and
James F. Power},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Using object-level run-time metrics to study coupling between objects},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1456--1462},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1067010},
doi = {10.1145/1066677.1067010},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/MitchellP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softvis/MalloyP05,
author = {Brian A. Malloy and
James F. Power},
editor = {Thomas L. Naps and
Wim De Pauw},
title = {Exploiting {UML} dynamic object modeling for the visualization of
{C++} programs},
booktitle = {Proceedings of the {ACM} 2005 Symposium on Software Visualization,
St. Louis, Missouri, USA, May 14-15, 2005},
pages = {105--114},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1056018.1056033},
doi = {10.1145/1056018.1056033},
timestamp = {Thu, 09 May 2019 13:10:55 +0200},
biburl = {https://dblp.org/rec/conf/softvis/MalloyP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MalloyP05,
author = {Brian A. Malloy and
James F. Power},
title = {Using a Molecular Metaphor to Facilitate Comprehension of 3D Object
Diagrams},
booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}},
pages = {233--240},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/VLHCC.2005.66},
doi = {10.1109/VLHCC.2005.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MalloyP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/KraftMP05,
author = {Nicholas A. Kraft and
Brian A. Malloy and
James F. Power},
title = {Toward an Infrastructure to Support Interoperability in Reverse Engineering},
booktitle = {12th Working Conference on Reverse Engineering, {WCRE} 2005, Pittsburgh,
PA, USA, November 7-11, 2005},
pages = {196--205},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WCRE.2005.32},
doi = {10.1109/WCRE.2005.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/KraftMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KraftMP05,
author = {Nicholas A. Kraft and
Brian A. Malloy and
James F. Power},
editor = {James R. Cordy and
Ralf L{\"{a}}mmel and
Andreas Winter},
title = {g4re: Harnessing {GCC} to Reverse Engineer {C++} Applications},
booktitle = {Transformation Techniques in Software Engineering, 17.-22. April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05161},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/424},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KraftMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/PowerS04,
author = {James F. Power and
David Sinclair},
title = {A Formal Model of Forth Control Words in the Pi-Calculus},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {9},
pages = {1272--1293},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-09-1272},
doi = {10.3217/JUCS-010-09-1272},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/PowerS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/PowerM04,
author = {James F. Power and
Brian A. Malloy},
title = {A metrics suite for grammar-based software},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {16},
number = {6},
pages = {405--426},
year = {2004},
url = {https://doi.org/10.1002/smr.293},
doi = {10.1002/SMR.293},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/PowerM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/ODonoghueP04,
author = {Diarmuid P. O'Donoghue and
James F. Power},
editor = {Hamid R. Arabnia and
Minyi Guo and
Laurence Tianruo Yang},
title = {Identifying and Evaluating a Generic Set of Superinstructions for
Embedded Java Programs},
booktitle = {Proceedings of the International Conference on Embedded Systems and
Applications, {ESA} '04 {\&} Proceedings of the International
Conference on VLSI, {VLSI} '04, June 21-24, 2004, Las Vegas, Nevada,
{USA}},
pages = {192--198},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 17 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csreaESA/ODonoghueP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/MitchellP04,
author = {{\'{A}}ine Mitchell and
James F. Power},
editor = {John Waldron},
title = {An empirical investigation into the dimensions of run-time coupling
in Java programs},
booktitle = {Proceedings of the 3rd International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2004, Las Vegas, Nevada, USA, June
16-18, 2004},
series = {{ACM} International Conference Proceeding Series},
volume = {91},
pages = {9--14},
publisher = {{ACM}},
year = {2004},
url = {https://dl.acm.org/citation.cfm?id=1071568},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/MitchellP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/MitchellP04,
author = {{\'{A}}ine Mitchell and
James F. Power},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Run-Time Cohesion Metrics: An Empirical Investigation},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '04, June 21-24, 2004, Las Vegas, Nevada,
USA, Volume 2},
pages = {532--537},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 19 Nov 2004 15:25:03 +0100},
biburl = {https://dblp.org/rec/conf/serp/MitchellP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SinclairP05,
author = {David Sinclair and
James F. Power},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Specifying and Verifying Communications Protocols using Mixed Intuitionistic
Linear Logic},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {255--273},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.068},
doi = {10.1016/J.ENTCS.2004.08.068},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SinclairP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/GreggPW03,
author = {David Gregg and
James F. Power and
John Waldron},
title = {Platform independent dynamic Java virtual machine analysis: the Java
Grande Forum benchmark suite},
journal = {Concurr. Comput. Pract. Exp.},
volume = {15},
number = {3-5},
pages = {459--484},
year = {2003},
url = {https://doi.org/10.1002/cpe.666},
doi = {10.1002/CPE.666},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/GreggPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MalloyGP03,
author = {Brian A. Malloy and
Tanton H. Gibbs and
James F. Power},
title = {Decorating tokens to facilitate recognition of ambiguous language
constructs},
journal = {Softw. Pract. Exp.},
volume = {33},
number = {1},
pages = {19--39},
year = {2003},
url = {https://doi.org/10.1002/spe.493},
doi = {10.1002/SPE.493},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/MalloyGP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/HennessyMP03,
author = {Mark Hennessy and
Brian A. Malloy and
James F. Power},
title = {gccXfront: Exploiting gcc as a Front End for Program Comprehension
Tools via {XML/XSLT}},
booktitle = {11th International Workshop on Program Comprehension {(IWPC} 2003),
May 10-11, 2003, Portland, Oregon, {USA}},
pages = {298},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WPC.2003.1199222},
doi = {10.1109/WPC.2003.1199222},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/HennessyMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2003,
editor = {James F. Power and
John Waldron},
title = {Proceedings of the 2nd International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2003, Kilkenny City, Ireland, June
16-18, 2003},
series = {{ACM} International Conference Proceeding Series},
volume = {42},
publisher = {{ACM}},
year = {2003},
url = {https://dl.acm.org/citation.cfm?id=957289},
isbn = {0-9544145-1-9},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/GreggPW02,
author = {David Gregg and
James F. Power and
John Waldron},
editor = {Jos{\'{e}} E. Moreira and
Geoffrey C. Fox and
Vladimir Getov},
title = {Measuring the impact of object-oriented techniques in grande applications:
a method-level analysis},
booktitle = {Proceedings of the 2002 Joint {ACM-ISCOPE} Conference on Java Grande
2002, Seattle, Washington, USA, November 3-5, 2002},
pages = {229},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/583810.583841},
doi = {10.1145/583810.583841},
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
biburl = {https://dblp.org/rec/conf/java/GreggPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GibbsMP02,
author = {Tanton H. Gibbs and
Brian A. Malloy and
James F. Power},
title = {Automated Validation of Class Invariants in {C} ++ Applications},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {205},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115014},
doi = {10.1109/ASE.2002.1115014},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GibbsMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/ODonoghueLPW02,
author = {Diarmuid P. O'Donoghue and
Aine Leddy and
James F. Power and
John Waldron},
editor = {John Waldron and
James F. Power},
title = {Bigram analysis of Java bytecode sequences},
booktitle = {Proceedings of the naugural International Symposium on Principles
and Practice of Programming in Java, {PPPJ} 2002, and Proceedings
of the second workshop on Intermediate representation engineering
for virtual machines, Dublin, Ireland, June 13-14, 2002},
series = {{ACM} International Conference Proceeding Series},
volume = {25},
pages = {187--192},
publisher = {{ACM}},
year = {2002},
url = {https://dl.acm.org/citation.cfm?id=638513},
timestamp = {Fri, 17 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/ODonoghueLPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RinePG02,
author = {David C. Rine and
James F. Power and
J. Paul Gibson},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {{ACM} {SAC2002} software engineering: theory and applications {(SETA)}
track description},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {969--970},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508980},
doi = {10.1145/508791.508980},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/RinePG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/PowerM02,
author = {James F. Power and
Brian A. Malloy},
editor = {Arie van Deursen and
Elizabeth Burd},
title = {Program Annotation in {XML:} {A} Parse-Tree Based Approach},
booktitle = {9th Working Conference on Reverse Engineering {(WCRE} 2002), 28 October
- 1 November 2002, Richmond, VA, {USA}},
pages = {190},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/WCRE.2002.1173077},
doi = {10.1109/WCRE.2002.1173077},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/PowerM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2002,
editor = {John Waldron and
James F. Power},
title = {Proceedings of the naugural International Symposium on Principles
and Practice of Programming in Java, {PPPJ} 2002, and Proceedings
of the second workshop on Intermediate representation engineering
for virtual machines, Dublin, Ireland, June 13-14, 2002},
series = {{ACM} International Conference Proceeding Series},
volume = {25},
publisher = {{ACM}},
year = {2002},
url = {https://dl.acm.org/citation.cfm?id=638476},
isbn = {0-901519-87-1},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/DalyHPW01,
author = {Charlie Daly and
Jane Horgan and
James F. Power and
John Waldron},
editor = {Denis Caromel and
John Reynders and
Michael Philippsen},
title = {Platform independent dynamic Java virtual machine analysis: the Java
Grande Forum Benchmark suite},
booktitle = {Proceedings of the {ACM} 2001 Java Grande Conference, Stanford University,
California, USA, June 2-4, 2001},
pages = {106--115},
publisher = {{ACM}},
year = {2001},
url = {http://portal.acm.org/citation.cfm?id=376656.376826},
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
biburl = {https://dblp.org/rec/conf/java/DalyHPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PowerM01,
author = {James F. Power and
Brian A. Malloy},
editor = {Gary B. Lamont},
title = {Exploiting metrics to facilitate grammar transformation into {LALR}
format},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {636--640},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372789},
doi = {10.1145/372202.372789},
timestamp = {Tue, 06 Nov 2018 11:06:46 +0100},
biburl = {https://dblp.org/rec/conf/sac/PowerM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/HorganPW01,
author = {Jane Horgan and
James F. Power and
John Waldron},
title = {Measurement and Analysis of Runtime Profiling Data for Java Programs},
booktitle = {1st {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2001), 10 November 2001, Florence, Italy},
pages = {124--132},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/SCAM.2001.972673},
doi = {10.1109/SCAM.2001.972673},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/HorganPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/CosgravePW00,
author = {L. Cosgrave and
James F. Power and
John Waldron},
title = {An object oriented approach to parser generation in {C++}},
journal = {South Afr. Comput. J.},
volume = {26},
pages = {207--211},
year = {2000},
url = {http://reference.sabinet.co.za/document/EJC27882},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/saj/CosgravePW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/SinclairPGGH00,
author = {David Sinclair and
James F. Power and
J. Paul Gibson and
David Gray and
Geoff W. Hamilton},
editor = {Ten{-}Hwang Lai},
title = {Specifying and Verifying {IP} with Linear Logic},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {E104--E110},
year = {2000},
timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/SinclairPGGH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/PowerM00,
author = {James F. Power and
Brian A. Malloy},
title = {Metric-Based Analysis of Context-Free Grammars},
booktitle = {8th International Workshop on Program Comprehension {(IWPC} 2000),
10-11 June 2000, Limerick, Ireland},
pages = {171--178},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/WPC.2000.852491},
doi = {10.1109/WPC.2000.852491},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/PowerM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PowerM00,
author = {James F. Power and
Brian A. Malloy},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Ernesto Damiani and
Hisham Haddad and
Dave Oppenheim},
title = {An Approach for Modeling the Name Lookup Problem in the {C++} Programming
Language},
booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
19-21, 2000. Volume 2},
pages = {792--796},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/338407.338564},
doi = {10.1145/338407.338564},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/PowerM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/PowerM00,
author = {James F. Power and
Brian A. Malloy},
title = {Symbol Table Construction and Name Lookup in {ISO} {C++}},
booktitle = {{TOOLS} Pacific 2000: 37th International Conference on Technology
of Object-Oriented Languages and Systems, Sydney, Australia, November
2000},
pages = {57--69},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TOOLS.2000.891358},
doi = {10.1109/TOOLS.2000.891358},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/PowerM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/GrayHSGP99,
author = {David Gray and
Geoff W. Hamilton and
David Sinclair and
J. Paul Gibson and
James F. Power},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Four Logics and a Protocol},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4227},
timestamp = {Tue, 19 Jun 2018 08:04:47 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/GrayHSGP99.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-04-25 05:53 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:
