default search action
BibTeX 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} }
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.