James Power - Recent Publications

See also: Entries in DBLP, ACM Author Profile, Google Scholar

[93] Brian A. Malloy and James F. Power. Quantifying the transition from Python 2 to 3: An empirical study of Python applications. In ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, Toronto, Canada, 9-10 November 2017. [ bib | .pdf | Abstract ]
[92] Marie Farrell, Rosemary Monahan, and James F. Power. Specification clones: An empirical study of the structure of Event-B specifications. In Software Engineering and Formal Methods, volume 10469 of Lecture Notes in Computer Science, pages 152--167, 4--8 September 2017. [ bib | DOI | .pdf | Abstract ]
[91] Marie Farrell, Rosemary Monahan, and James F. Power. Combining Event-B and CSP: An institution theoretic approach to interoperability. In International Conference on Formal Engineering Methods, Xi'an, China, 13-17 November 2017. [ bib | .pdf | Abstract ]
[90] Andrew Healy, Rosemary Monahan, and James F. Power. Predicting SMT solver performance for software verification. In 3rd Workshop on Formal Integrated Development Environment, volume 240 of Electronic Proceedings in Theoretical Computer Science, pages 20--37, Limassol, Cyprus, November 8 2016. [ bib | DOI | .pdf | Abstract ]
[89] Marie Farrell, Rosemary Monahan, and James F. Power. Providing a semantics and modularisation constructs for Event-B using institutions. In 23rd International Workshop on Algebraic Development Techniques, Gregynog, Wales, September 21-24 2016. [ bib | .pdf ]
[88] Zheng Cheng, Rosemary Monahan, and James F. Power. Formalised EMFTVM bytecode language for sound verification of model transformations. Journal of Software and Systems Modeling, pages 1--29, 2016. [ bib | DOI | .pdf | Abstract ]
[87] Marie Farrell, Rosemary Monahan, and James F. Power. Using the theory of institutions to integrate software models via refinement. In PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications, Reykjavik, Iceland, June 5 2016. [ bib ]
[86] Andrew Healy, Rosemary Monahan, and James F. Power. Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. In 31st ACM Symposium on Applied Computing, pages 1558--1561, Pisa, Italy, April 4-8 2016. [ bib | DOI | .pdf | Abstract ]
[85] Andrew Healy, Rosemary Monahan, and James F. Power. Evaluating SMT solvers for software verification. In 32nd British Colloquium of Theoretical Computer Science, Queens University, Belfast, Northern Ireland, March 22-24 2016. [ bib ]
[84] Marie Farrell, Rosemary Monahan, and James F. Power. A logical framework for integrating software models via refinement. In 32nd British Colloquium of Theoretical Computer Science, Queens University, Belfast, Northern Ireland, March 22-24 2016. [ bib ]
[83] Andrew Healy, Rosemary Monahan, and James Power. Characterising the workload of SMT solvers for program verification. In 22nd Workshop on Automated Reasoning, pages 17--18, Birmingham, UK, April 9-10 2015. [ bib ]
[82] Zheng Cheng, Rosemary Monahan, and James F. Power. Verifying SimpleGT transformations using an intermediate verification language. In 4th International Workshop on the Verification Of Model Transformations, pages 12--19, L'Aquila, Italy, July 2015. [ bib | .pdf ]
[81] Zheng Cheng, Rosemary Monahan, and James F. Power. A sound execution semantics for ATL via translation validation. In 8th International Conference on Model Transformation, pages 133--148, L'Aquila, Italy, July 20-21 2015. [ bib | DOI | Abstract ]
[80] Aidan Mooney, Joseph Duffin, Thomas Naughton, Rosemary Monahan, James Power, and Phil Maguire. PACT: An initiative to introduce computational thinking in to second level education. In International Conference on Engaging Pedagogy, Athlone, Ireland, December 5 2014. [ bib | http | .pdf | Abstract ]
[79] James F. Power. An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences. In 10th Conference on Computability in Europe, pages 343--346, Budapest, Hungary, June 23-27 2014. [ bib | DOI | .pdf | Abstract ]
[78] Diarmuid P. O'Donoghue, James Power, Sian O'Briain, Feng Dong, Aidan Mooney, Donny Hurley, Yalemisew Abgaz, and Charles Markham. Can a computationally creative system create itself? Creative artefacts and creative processes. In International Conference on Computational Creativity, pages 146--155, Ljubljana, Slovenia, June 10-13 2014. [ bib | .pdf | Abstract ]
[77] James F. Power. Exploring Thue's 1914 paper on the transformation of strings according to given rules. In International Conference on the History and Philosophy of Computing, Paris, France, Oct 28-31 2013. [ bib | .pdf | Abstract ]
[76] Hao Wu, Rosemary Monahan, and James F. Power. Exploiting attributed type graphs to generate metamodel instances using an SMT solver. In 7th International Symposium on Theoretical Aspects of Software Engineering, pages 175--182, July 1-3 2013. [ bib | DOI | .pdf | Abstract ]
[75] Zheng Cheng, Rosemary Monahan, and James F. Power. A simple complexity measurement for software verification and software testing. In International Workshop on Comparative Empirical Evaluation of Reasoning Systems, volume 873 of CEUR Workshop Proceedings, pages 28--31, Manchester, UK, June 30 2012. [ bib | .pdf | .pdf | Abstract ]
[74] Keith Ó Dúlaigh, James F. Power, and Peter J. Clarke. Measurement of Exception-Handling Code: An Exploratory Study. In 5th International Workshop on Exception Handling, pages 55--61, Zurich, Switzerland, June 9 2012. [ bib | DOI | .pdf | Abstract ]
[73] Peter J. Clarke, James F. Power, Djuradj Babich, and Tariq M. King. A Testing Strategy for Abstract Classes. Software Testing, Verification and Reliability, 22(3):147--169, 2012. [ bib | DOI | .pdf | Abstract ]
[72] Djuradj Babich, Peter J. Clarke, James F. Power, and B. M. Golam Kibria. Using a Class Abstraction Technique to Predict Faults in OO Classes: A case study through six releases of the Eclipse JDT. In ACM Symposium On Applied Computing, pages 1419--1424, TaiChung, Taiwan, March 21-25 2011. [ bib | DOI | .pdf | Abstract ]
[71] Thomas Whelan, Susan Bergin, and James F. Power. Teaching Discrete Structures: A systematic review of the literature. In ACM Technical Symposium on Computer Science Education, pages 275--280, Dallas, Texas, USA, March 9-12 2011. [ bib | DOI | .pdf | Abstract ]
[70] Hao Wu, Rosemary Monahan, and James F. Power. Test case generation for programming language metamodels. In Doctoral Symposium of the 3rd International Conference on Software Language Engineering, Eindhoven, Netherlands, October 11 2010. [ bib | .pdf | Abstract ]
[69] Hao Wu, Rosemary Monahan, and James F. Power. Using ATL in a tool-chain to calculate coverage data for UML class diagrams. In 2nd International Workshop on Model Transformation with ATL, pages 60--64, Malaga, Spain, June 30 2010. [ bib | .pdf | Abstract ]
[68] Jacqueline A. McQuillan and James F. Power. White-Box Coverage Criteria for Model Transformations. In 1st International Workshop on Model Transformation with ATL, pages 63--77, Nantes, France, July 8-9 2009. [ bib | .pdf | Abstract ]
[67] Markus Aleksy, Vasco Amaral, Ralf Gitzel, James F. Power, and John Waldron. Foreword to the special issue on principles and practices of programming in Java. Science of Computer Programming, 74(5-6):259--260, March 2009. [ bib | DOI | Abstract ]
[66] Jonathan Lambert and James F. Power. Platform Independent Timing of Java Virtual Machine Bytecode Instructions. Electronic Notes in Theoretical Computer Science, 220(3):97--113, 12 December 2008. [ bib | DOI | .pdf | Abstract ]
[65] Mark Hennessy and James F. Power. Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software. Empirical Software Engineering, 13(4):343--368, August 2008. [ bib | DOI | Abstract ]
[64] Jacqueline A. McQuillan and James F. Power. A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. In IEEE International Conference on Software Testing Verification and Validation, pages 288--297, Lillehammer, Norway, April 9-11 2008. [ bib | DOI | .pdf | Abstract ]
[63] Markus Aleksy, Ralf Gitzel, John Waldron, and James F. Power. PPPJ 2006 special issue - foreword. Science of Computer Programming, 70(2-3):87--88, February 2008. [ bib | DOI | Abstract ]
[62] Nicholas A. Kraft, Brian A. Malloy, and James F. Power. A tool chain for reverse engineering C++ applications. Science of Computer Programming, 69(1-3):3--13, 1 December 2007. [ bib | DOI | Abstract ]
[61] Peter J. Clarke, Djuradj Babich, Tariq M. King, and James F. Power. Intra-Class Testing of Abstract Class Features. In 18th IEEE International Symposium on Software Reliability Engineering, pages 191--200, Trollhattan, Sweden, 5-9 November 2007. [ bib | DOI | .pdf | Abstract ]
[60] Steven Kearney and James F. Power. REM4j - A framework for measuring the reverse engineering capability of UML CASE tools. In 19th International Conference on Software Engineering and Knowledge Engineering, pages 209--214, Boston, USA, 9-11 July 2007. [ bib | .pdf | Abstract ]
[59] Jacqueline A. McQuillan and James F. Power. On the application of software metrics to UML models. In Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers, pages 217-- 226, Springer Lecture Notes in Computer Science, Vol. 4364 2007. [ bib | DOI | .pdf | Abstract ]
[58] Nicholas A. Kraft, Brian A. Malloy, and James F. Power. An Infrastructure to Support Interoperability in Reverse Engineering. Information and Software Technology, 49(3):292--307, March 2007. [ bib | DOI | .pdf | Abstract ]
[57] Mark Hennessy and James F. Power. Ensuring behavioural equivalence in test-driven porting. In 16th Annual International Conference on Computer Science and Software Engineering: Dublin Symposium, Dublin, Ireland, October 17 2006. [ bib | http | .pdf | Abstract ]
[56] Jacqueline A. McQuillan and James F. Power. Some observations on the application of software metrics to UML models. In MoDELS/UML Workshop on Model Size Metrics, Genova, Italy, October 3 2006. [ bib | .pdf | Abstract ]
[55] Jacqueline A. McQuillan and James F. Power. Experiences of using the Dagstuhl Middle Metamodel for defining software metrics. In Principles and Practice of Programming in Java, pages 194--198, Mannheim, Germany, August 30 - September 1 2006. [ bib | DOI | .pdf | Abstract ]
[54] Jacqueline A. McQuillan and James F. Power. Towards re-usable metric definitions at the meta-level. In PhD Workshop of the 20th European Conference on Object-Oriented Programming, Nantes, France, July 3-7 2006. [ bib | .pdf | Abstract ]
[53] Brian A. Malloy and James F. Power. Exploiting design patterns to automate validation of class invariants. Software Testing, Verification and Reliability, 16(2):71--95, June 2006. [ bib | DOI | .pdf | Abstract ]
[52] Áine Mitchell and James F. Power. A study of the influence of coverage on the relationship between static and dynamic coupling metrics. Science of Computer Programming, 59(1-2):4--25, January 2006. [ bib | DOI | .pdf | Abstract ]
[51] Nicholas A. Kraft, Brian A. Malloy, and James F. Power. Toward an Infrastructure to Support Interoperability in Reverse Engineering. In 12th Working Conference on Reverse Engineering, pages 196--205, Pittsburgh, Pennsylvania, USA, November 8-11 2005. [ bib | DOI | .pdf | Abstract ]
[50] Mark Hennessy and James F. Power. An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for Grammar-Based Software. In 20th IEEE/ACM International Conference on Automated Software Engineering, pages 104--113, Long Beach, California, USA, November 7-11 2005. [ bib | DOI | .pdf | Abstract ]
[49] Nicholas A. Kraft, Brian A. Malloy, and James F. Power. g4re: Harnessing GCC to Reverse Engineer C++ Applications. In Transformation Techniques in Software Engineering: Dagstuhl Seminar Proceedings No. 05161, IBFI, Schloss Dagstuhl, Germany, April 17-22 2005. [ bib | http | .pdf | Abstract ]
[48] Brian A. Malloy and James F. Power. Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams. In IEEE Symposium on Visual Languages and Human-Centric Computing, pages 233--240, Dallas, Texas, USA, September 20-24 2005. [ bib | DOI | .pdf | Abstract ]
[47] David Sinclair and James F. Power. Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electronic Notes in Theoretical Computer Science, 133:255--273, 31 May 2005. [ bib | DOI | .pdf | Abstract ]
[46] Brian A. Malloy and James F. Power. Exploiting UML dynamic object modeling for the visualization of C++ programs. In ACM Symposium on Software Visualization, pages 105--114, St. Louis, Missouri, USA, May 15-16 2005. [ bib | DOI | .pdf | Abstract ]
[45] James F. Power and John T. Waldron. Editorial: Special Issue on the Principles and Practice of Programming in Java. Science of Computer Programming, 54(1):1--2, January 2005. [ bib | DOI | .pdf | Abstract ]
[44] Stephen Brown, Áine Mitchell, and James F. Power. A Coverage Analysis of Java Benchmark Suites. In The IASTED International Conference on Software Engineering, pages 144--150, Innsbruck, Austria, February 15-17 2005. [ bib | .pdf | Abstract ]
[43] Áine Mitchell and James F. Power. Using Object-Level Run-Time Metrics to Study Coupling Between Objects. In 20th Annual ACM Symposium on Applied Computing, pages 1456 -- 1462, Santa Fe, New Mexico, March 13 -17 2005. [ bib | DOI | .pdf | Abstract ]
[42] David Gregg, James F. Power, and John Waldron. A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites. Concurrency and Computation: Practice and Experience, 17(7-8):757--773, June-July 2005. [ bib | DOI | .pdf | Abstract ]
[41] James F. Power and Brian A. Malloy. A metrics suite for grammar-based software. Software Maintenance and Evolution: Research and Practice, 16(6):405--426, November/December 2004. [ bib | DOI | http | .pdf | Abstract ]
[40] James F. Power and David Sinclair. A Formal Model of Forth Control Words in the Pi-Calculus. Journal of Universal Computer Science, 10(9):1272--1293, September 2004. [ bib | DOI | http | .pdf | Abstract ]
[39] Diarmuid O'Donoghue and James F. Power. Identifying and evaluating a generic set of superinstructions for embedded Java programs. In International Conference on Embedded Systems and Applications, pages 192--198, Las Vegas, Nevada, USA, June 21-24 2004. [ bib | .pdf | Abstract ]
[38] Áine Mitchell and James F. Power. Run-Time Cohesion Metrics: An Empirical Investigation. In International Conference on Software Engineering Research and Practice, pages 532--537, Las Vegas, Nevada, USA, June 21-24 2004. [ bib | .pdf | Abstract ]
[37] Áine Mitchell and James F. Power. An Empirical Investigation into the Dimensions of Run-Time Coupling Metrics in Java programs. In The Third International Conference on the Principles and Practice of Programming in Java, pages 9--14, Las Vegas, Nevada, USA, June 16-18 2004. [ bib | http | .pdf | Abstract ]
[36] Áine Mitchell and James F. Power. An approach to quantifying the run-time behaviour of Java GUI applications. In Winter International Symposium on Information and Communication Technologies, Cancun, Mexico, January 5-8 2004. [ bib | http | .pdf | Abstract ]
[35] Brian A. Malloy, James. F. Power, and Tanton H. Gibbs. C++ Compilers and ISO Conformance. Dr. Dobb's Journal, 28(11):54--60, November 2003. [ bib | http | Abstract ]
[34] Áine Mitchell and James F. Power. Toward a definition of run-time object-oriented metrics. In 7th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering, Darmstadt, Germany, July 21-25 2003. [ bib | .pdf | Abstract ]
[33] Mark Hennessy, Brian Malloy, and James Power. gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. In 11th IEEE International Workshop on Program Comprehension, (Tool Demo), pages 298--299, Portland, Oregon, USA, May 9-11 2003. [ bib | http | .pdf | Abstract ]
[32] David Gregg, James Power, and John Waldron. Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite. Concurrency and Computation: Practice and Experience, 15(3-5):459--484, March 2003. [ bib | DOI | http | Abstract ]
[31] Brian A. Malloy, Tanton H. Gibbs, and James F. Power. Decorating tokens to facilitate recognition of ambiguous language constructs. Software: Practice and Experience, 33(1):19--39, January 2003. [ bib | DOI | http | Abstract ]
[30] James F. Power and John T. Waldron (Eds.). Recent Advances in Java Technology: Theory, Application, Implementation. Computer Science Press, Trinity College Dublin, November 2002. [ bib | .pdf | Abstract ]
[29] D. Gregg, J.F. Power, and J.T. Waldron. Measuring the impact of object-oriented techniques in Grande applications: a method-level analysis. In Joint ACM-ISCOPE Conference on Java Grande (Poster Session), pages 229--229, Seattle, Washington, USA, November 3-5 2002. [ bib | http | .pdf | Abstract ]
[28] J.F. Power and B.A. Malloy. Program annotation in XML: a parser-based approach. In 9th IEEE Working Conference on Reverse Engineering, pages 190--198, Richmond, Virginia, USA, October 28 - November 1 2002. [ bib | http | .pdf | Abstract ]
[27] T.H. Gibbs, B.A. Malloy, and J.F. Power. Automated Validation of Class Invariants in C++ Applications. In 17th IEEE International Conference on Automated Software Engineering, pages 205--214, Edinburgh, UK, September 23-27 2002. [ bib | http | .pdf | Abstract ]
[26] B. A. Malloy, J. F. Power, and J. T. Waldron. Applying Software Engineering Techniques to Parser Design. In Conference of the South African Institute of Computer Scientists and Information Technologists, pages 75--82, Port Elizabeth, South Africa, September 16-18 2002. [ bib | http | .pdf | Abstract ]
[25] D. O'Donoghue, A. Leddy, J.F. Power, and J.T. Waldron. Bi-gram Analysis of Java Bytecode Sequences. In Proceedings of the Second Workshop on Intermediate Representation Engineering for the Java Virtual Machine, pages 187--192, Trinity College, Dublin, Ireland, June 13-14 2002. [ bib | http | .pdf | Abstract ]
[24] Brian A. Malloy, Scott A. Linde, Edward B. Duffy, and James F. Power. Testing C++ Compilers for ISO Language Conformance. Dr. Dobb's Journal, (337):71--78, June 2002. [ bib | http | .pdf | Abstract ]
[23] T. Dowling, J. Power, and J. Waldron. Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set, pages 106--111. WSEAS Press, 2002. [ bib | Abstract ]
[22] D. Gregg, J. Power, and J. Waldron. Benchmarking the Java Virtual Architecture - The SPEC JVM98 Benchmark Suite, chapter 1, pages 1--18. Kluwer Academic, 2002. [ bib | DOI | .pdf | Abstract ]
[21] Sarah Matzko, Peter J. Clarke, Tanton H. Gibbs, Brian A. Malloy, James F. Power, and Rosemary Monahan. Reveal: A Tool to Reverse Engineer Class Diagrams. In Fortieth International Conference on Technology of Object-Oriented Languages and Systems, pages 13--21, Sydney, Australia, February 18-21 2002. [ bib | http | .pdf | Abstract ]
[20] T. Dowling, J. Power, and J. Waldron. Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set. In Symposium on Mathematical Methods and Computational Techniques in Electronic Engineering, Athens, Greece, December 29-31 2001. [ bib | .pdf | Abstract ]
[19] Jane Horgan, James Power, and John Waldron. Measurement and Analysis of Runtime Profiling Data for Java Programs. In IEEE International Workshop on Source Code Analysis and Manipulation, Florence, Italy, November 10 2001. [ bib | http | .pdf | Abstract ]
[18] Charles Daly, Jane Horgan, James Power, and John Waldron. Gender and Learning Systems. In Third International Conference on Women in Africa and the African Diaspora, Antananarivo/Tamatave, Madagascar, October 8-17 2001. [ bib | Abstract ]
[17] Brian A. Malloy and James F. Power. An Interpretation of Purdom's Algorithm for Automatic Generation of Test Cases. In 1st Annual International Conference on Computer and Information Science, Orlando, Florida, USA, October 3-5 2001. [ bib | .pdf | Abstract ]
[16] B. Aziz, D. Gray, G. Hamilton, F. Oehl, J. Power, and D. Sinclair. Implementing Protocol Verification for E-Commerce. In International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, Italy, Aug 6-12 2001. [ bib | .pdf | Abstract ]
[15] S. Byrne, J. Power, and J. Waldron. A Dynamic Comparison of the SPEC98 and Java Grande Benchmark Suites. In Workshop on Intermediate Representation Engineering for the Java Virtual Machine, pages 95--98, Orlando, Florida, USA, July 22-25 2001. [ bib | .pdf | Abstract ]
[14] James Power and David Sinclair. A Formal Model of Forth Control Words in the Pi-Calculus. In 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris, France, July 16-17 2001. [ bib | .pdf | Abstract ]
[13] Karsten Fritsche, James Power, and John Waldron. A Java Distributed Computation Library. In Second International Conference on Parallel and Distributed Computing, Applications and Technologies, Taipei, Taiwan, July 9-11 2001. [ bib | .pdf | Abstract ]
[12] Charles Daly, Jane Horgan, James Power, and John Waldron. Platform Independent Dynamic Java Virtual Machine Analysis: the Java Grande Forum Benchmark Suite. In Joint ACM Java Grande - ISCOPE 2001 Conference, Stanford University, USA, June 2-4 2001. [ bib | http | .pdf | Abstract ]
[11] David Gray, Geoff Hamilton, James Power, and David Sinclair. A Specification of TCP/IP using Mixed Intuitionistic Linear Logic (Extended Abstract) . In 2nd Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, 20 April 2001. [ bib | .pdf | Abstract ]
[10] Charles Daly, Jane Horgan, James Power, and John Waldron. Some measurements of Java-to-byecode compiler performance in the Java Virtual Machine. In Workshop on Java Optimization Strategies for Embedded Systems, University of Genova, Italy, April 1 2001. [ bib | .pdf | Abstract ]
[9] James Power and Brian Malloy. Exploiting Metrics to Facilitate Grammar Transformation into LALR Format. In 16th ACM Symposium on Applied Computing, Las Vegas, USA, March 11-14 2001. [ bib | http | .pdf | Abstract ]
[8] James F. Power and Brian A. Malloy. Symbol Table Construction and Name Lookup in ISO C++. In 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 20-23 2000. [ bib | .pdf | Abstract ]
[7] Lisa Cosgrave, James Power, and John Waldron. An Object Oriented Approach to Parser Generation in C++. In Conference of the South African Institute of Computer Scientists and Information Technologists, Cape Town, South Africa, November 1-3 2000. [ bib | .pdf | Abstract ]
[6] John Waldron and James Power. Comparison of Bytecode and Stack Frame Usage by Eiffel and Java Programs in the Java Virtual Machine. In 2nd International Workshop on Computer Science and Information Technologies, Ufa, Russia, September 18-23 2000. [ bib | .pdf | Abstract ]
[5] James Power and Brian Malloy. Metric-Based Analysis of Context-Free Grammars. In 8th IEEE International Workshop on Program Comprehension, Limerick, Ireland, 10-11 June 2000. [ bib | .pdf | Abstract ]
[4] David Sinclair, James Power, Paul Gibson, David Gray, , and Geoff Hamilton. Specifying and Verifying IP with Linear Logic. In International Workshop on Distributed Systems Validation and Verification, Taipei, Taiwan, ROC, April 10 2000. [ bib | .pdf | Abstract ]
[3] James F. Power and Brian A. Malloy. An Approach for Modeling the Name Lookup Problem in the C++ Programming Language. In 15th ACM Symposium on Applied Computing, Villa Olmo, Como, Italy, March 19-21 2000. [ bib | DOI | .pdf | Abstract ]
[2] James Power and Caroline Webster. Working with Linear Logic in Coq. In 12th International Conference on Theorem Proving in Higher Order Logics (Work-in-progress paper), University of Nice, France, September 14-17 1999. [ bib | http | .pdf | Abstract ]
[1] David Gray, Geoff Hamilton, David Sinclair, Paul Gibson, and James Power. Four Logics and a Protocol. In 3rd. Irish Workshop in Formal Methods, National University of Ireland, Galway, Ireland, July 1-2 1999. [ bib | .pdf | Abstract ]

This file was generated by bibtex2html 1.98.

Before 1999: See previous work

James Power,
Dept. of Computer Science, Maynooth University
Last revised: Thursday September 14, 2017