MURAL - Maynooth University Research Archive Library



    Items where Author is "Power, James F."


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | Date | No Grouping
    Number of items: 97.

    Article

    Healy, Andrew and Monahan, Rosemary and Power, James F. (2017) Predicting SMT Solver Performance for Software Verification. Electronic Proceedings in Theoretical Computer Science, 240. pp. 20-37. ISSN 2075-2180

    Cheng, Zheng and Monahan, Rosemary and Power, James F. (2016) Formalised EMFTVM bytecode language for sound verification of model transformations. Software and Systems Modeling, 17. pp. 1197-1225. ISSN 1619-1366

    Cheng, Zheng and Monahan, Rosemary and Power, James F. (2012) A Simple Complexity Measurement for Software Verification and Software Testing. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873. pp. 28-331. ISSN 1613-0073

    Power, James F. (2012) A virtual bridge between Maynooth and Kilkenny for Software Development Students. Teaching Fellowships 2012 – 2013. pp. 16-17.

    Wu, Hao and Monahan, Rosemary and Power, James F. (2012) Metamodel Instance Generation: A systematic literature review. arXiv.

    Clarke, Peter J. and Power, James F. and Babich, Djuradj and Kingz, Tariq M. (2012) A Testing Strategy for Abstract Classes [Draft]. Software Testing, Verification and Reliability, 22 (3). pp. 147-169. ISSN 1099-1689

    Dabich, Djuradj and Clarke, Peter J. and Power, James F. and Kibria, Golam B.M. (2011) Using a Class Abstraction Technique to Predict Faults in OO Classes: A case study through six releases of the Eclipse JDT. ACM Symposium On Applied Computing. pp. 1419-1424. ISSN 978-1-4503-0113-8

    Whelan, Thomas and Bergin, Susan and Power, James F. (2010) Teaching Discrete Structures: A systematic review of the literature. Proceedings of the ACM Technical Symposium on Computer Science Education.

    Wu, Hao and Monahan, Rosemary and Power, James F. (2010) Test Case Generation for Programming Language Metamodels. Proceedings of the Third International Conference, SLE 2010. ISSN 978-3-642-19439-9

    Wu, Hao and Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. Proceedings of the 2nd International Workshop on Model Transformation with ATL. pp. 60-64. ISSN 1613-0073

    Aleksy, Markus and Amaral, Vasco and Gitzel, Ralf and Power, James F. and Waldron, John (2009) PPPJ special issue - Foreword. Science of Computer Programming, 74 (5-6). pp. 259-260. ISSN 0167-6423

    McQuillan, Jacqueline A. and Power, James F. (2009) White-Box Coverage Criteria for Model Transformations. Proceedings of the 1st International Workshop on Model Transformation with ATL. pp. 63-77.

    Hennessey, Mark and Power, James F. (2008) Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software. Empirical Software Engineering, 13 (4). pp. 343-368. ISSN 1382-3256

    Lambert, Jonathan M. and Power, James F. (2008) Platform Independent Timing of Java Virtual Machine Bytecode Instructions. Electronic Notes in Theoretical Computer Science, 220 (3). pp. 97-113. ISSN 1571-0661

    Kraft, Nicholas A. and Malloy, Brian A. and Power, James F. (2007) An Infrastructure to Support Interoperability in Reverse Engineering. Information and Software Technology, 49 (3). pp. 292-307. ISSN 0950-5849

    Kraft, Nicholas A. and Malloy, Brian A. and Power, James F. (2007) A tool chain for reverse engineering C++ applications. Science of Computer Programming, 69 (1-3). pp. 3-13. ISSN 0167-6423

    Malloy, Brian A. and Power, James F. (2006) Exploiting design patterns to automate validation of class invariants. Software Testing, Verification and Reliability, 16. pp. 71-95. ISSN 1099-1689

    Mitchell, Aine and Power, James F. (2006) A Study of the Influence of Coverage on the Relationship Between Static and Dynamic Coupling Metrics. Science of Computer Programming, 59 (1/2). pp. 4-25. ISSN 0167-6423

    Power, James F. and Waldron, John T. (2005) Editorial. Science of Computer Programming, 54 (1). pp. 1-2. ISSN 0167-6423

    Power, James F. and Waldron, John (2005) Editorial: Special Issue on the Principles and Practice of Programming in Java. Science of Computer Programming, 54 (1). pp. 1-2. ISSN 0167-6423

    Sinclair, David and Power, James F. (2005) Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electronic Notes in Theoretical Computer Science, 133. pp. 255-273. ISSN 1571-0661

    Mitchell, Aine and Power, James F. (2005) Using Object-Level Run-Time Metrics to Study Coupling Between Objects. Science of Computer Programming, 59 (1/2). pp. 4-25. ISSN 0167-6423

    Gregg, David and Power, James F. and Waldron, John (2005) A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites. Concurrency and Computation: Practice and Experience, 17 (7/8). pp. 757-773. ISSN 1532-0626

    Power, James F. and Sinclair, David (2004) A Formal Model of Forth Control Words in the Pi-Calculus. Journal of Universal Computer Science, 10 (9). pp. 1272-1293. ISSN 0948-695X

    Power, James F. and Malloy, Brian A. (2004) A metrics suite for grammar-based software. Journal of Software Maintenance and Evolution: Research and Practice, 16 (6). pp. 405-426. ISSN 1532-060X

    Malloy, Brian A. and Power, James F. and Gibbs, Tanton H. (2003) C++ Compilers & ISO Conformance. Dr. Dobbs Journal.

    Malloy, Brian A. and Gibbs, Tanton H. and Power, James F. (2003) Decorating tokens to facilitate recognition of ambiguous language constructs. Software: Practice and Experience, 33 (1). pp. 19-39. ISSN 0038-0644

    Gregg, David and Power, James F. and Waldron, John (2003) Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite. Concurrency and Computation: Practice and Experience, 15 (3-5). pp. 459-484. ISSN 1532-0626

    Malloy, Brian A. and Linde, Scott A. and Duffy, Edward B. and Power, James F. (2002) Testing C++ Compilers for ISO Language Conformance. Dr. Dobbs Journal (337). pp. 71-78.

    Book Section

    Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. In: ICFEM 2017: Formal Methods and Software Engineering. Lecture Notes in Computer Science (LNCS) (10610). Springer, pp. 140-156. ISBN 9783319686899

    Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) An Institution for Event-B. In: Recent Trends in Algebraic Development Techniques : Revised Selected Papers. Lecture Notes in Computer Science (10644). Springer, Cham, Switzerland, pp. 104-119. ISBN 978-3-319-72043-2

    Malloy, Brian A. and Power, James F. (2017) Quantifying the Transition from Python 2 to 3: An Empirical Study of Python Applications. In: 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). IEEE, pp. 314-323. ISBN 9781509040391

    Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) Specification Clones: An Empirical Study of the Structure of Event-B Specifications. In: SEFM 2017: Software Engineering and Formal Methods. Lecture Notes in Computer Science (LNCS) (10469). Springer, pp. 152-167. ISBN 9783319661964

    Healy, Andrew and Monahan, Rosemary and Power, James F. (2016) Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. In: SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing. ACM, pp. 1558-1561. ISBN 9781450337397

    Cheng, Zheng and Monahan, Rosemary and Power, James F. (2015) A Sound Execution Semantics for ATL via Translation Validation. In: ICMT 2015: Theory and Practice of Model Transformations. Lecture Notes in Computer Science book series (LNCS) (9152). Springer, pp. 133-148. ISBN 9783319211541

    O'Donoghue, Diarmuid and Power, James F. and O'Briain, Sian and Dong, Feng and Mooney, Aidan and Hurley, Donny and Abgaz, Yalemisew and Markham, Charles (2014) Can a Computationally Creative System Create Itself? Creative Artefacts and Creative Processes. In: Proceedings of the Fifth International Conference on Computational Creativity. Jožef Stefan Institute, pp. 146-154. ISBN 9789612640552

    Power, James F. (2014) An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences. In: Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science (8493). Springer International Publishing, pp. 343-346. ISBN 9783319080185

    Wu, Hao and Monahan, Rosemary and Power, James F. (2013) Exploiting attributed type graphs to generate metamodel instances using an SMT solver. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), 2013. IEEE, pp. 175-182. ISBN 9780768550534

    Ó Dúlaigh, Keith and Power, James F. and Clarke, Peter J. (2012) Measurement of Exception-Handling Code: An Exploratory Study. In: 5th International Workshop on Exception Handling (WEH), 2012. IEEE, pp. 55-61. ISBN 9781467317672

    McQuillan, Jacqueline A. and Power, James F. (2008) A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. In: 1st International Conference on Software Testing, Verification, and Validation, 2008. IEEE, pp. 288-297. ISBN 9780769531274

    McQuillan, Jacqueline A. and Power, James F. (2007) On the Application of Software Metrics to UML Models. In: Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. Lecture Notes In Computer Science (4364). Springer, pp. 217-226. ISBN 9783540694885

    McQuillan, Jacqueline A. and Power, James F. (2006) Experiences of using the Dagstuhl Middle Metamodel for defining software metrics. In: PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java. ACM, pp. 194-198. ISBN 3939352055

    Hennessy, Mark and Power, James F. (2005) An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for GrammarBased Software. In: ASE '05 International Conference on Automated Software Engineering 2005. ACM, pp. 7-11. ISBN 1581139934

    Malloy, Brian A. and Power, James F. (2005) Exploiting UML dynamic object modeling for the visualization of C++ programs. In: SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization. ACM, pp. 105-114. ISBN 1595930736

    Kraft, Nicholas A. and Malloy, Brian A. and Power, James F. (2005) Toward an Infrastructure to Support Interoperability in Reverse Engineering. In: 12th Working Conference on Reverse Engineering. IEEE, pp. 196-205. ISBN 0769524745

    Malloy, Brian A. and Power, James F. (2005) Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams. In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE, pp. 233-240. ISBN 0769524435

    Mitchell, Aine and Power, James F. (2004) An Empirical Investigation into the Dimensions of Run-Time Coupling in Java Programs. In: PPPJ '04 Proceedings of the 3rd international symposium on Principles and practice of programming in Java. Trinity College Dublin, pp. 9-14. ISBN 1595931716

    Mitchell, Aine and Power, James F. (2004) An approach to quantifying the run-time behaviour of Java GUI applications. In: WISICT '04 Proceedings of the winter international synposium on Information and communication technologies. Trinity College Dublin, pp. 1-6.

    Hennessy, Mark and Malloy, Brian A. and Power, James F. (2003) gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. In: IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension. IEEE, p. 298. ISBN 0769518834

    Malloy, Brian A. and Power, James F. and Waldron, John T. (2002) Applying Software Engineering Techniques to Parser Design: The Development of a C# Parser. In: SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology. South African Institute for Computer Scientists and Information Technologists, pp. 75-82. ISBN 1581135963

    Gibbs, Tanton H. and Malloy, Brian A. and Power, James F. (2002) Automated Validation of Class Invariants In C++ Applications. In: 17th IEEE International Conference on Automated Software Engineering, 2002. Proceedings. ASE 2002. IEEE, pp. 205-214. ISBN 0769517366

    Gregg, David and Power, James F. and Waldron, John (2002) Benchmarking the Java Virtual Architecture. In: Java Microarchitectures. The Springer International Series in Engineering and Computer Science (679). Springer, pp. 1-18. ISBN 9781461353416

    O'Donoghue, Diarmuid and Leddy, Aine and Power, James F. and Waldron, John (2002) Bi-gram Analysis of Java Bytecode Sequences. In: PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002. National University of Ireland Maynooth, pp. 187-192. ISBN 0901519871

    Gregg, David and Power, James F. and Waldron, John T. (2002) Measuring the impact of object-oriented techniques in grande applications: a method-level analysis. In: JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande. ACM, p. 229. ISBN 1581135998

    Power, James F. and Malloy, Brian A. (2002) Program annotation in XML: a parse-tree based approach. In: Ninth Working Conference on Reverse Engineering, 2002. Proceedings. IEEE, pp. 190-198. ISBN 0769517994

    Matzko, Sarah and Clarke, Peter J. and Gibbs, Tanton H. and Malloy, Brian A. and Power, James F. and Monahan, Rosemary (2002) Reveal: A Tool to Reverse Engineer Class Diagrams. In: CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications. Australian Computer Society, Inc., pp. 13-21. ISBN 0909925887

    Power, James F. and Malloy, Brian A. (2001) Exploiting Metrics to Facilitate Grammar Transformation into LALR Format. In: SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. ACM, pp. 1-5. ISBN 1581132875

    Horgan, Jane and Power, James F. and Waldron, John (2001) Measurement and Analysis of Runtime Profiling Data for Java Programs. In: First IEEE International Workshop on Source Code Analysis and Manipulation, 2001. Proceedings. IEEE, pp. 122-130. ISBN 0769513875

    Daly, Charles and Horgan, Jane and Power, James F. and Waldron, John (2001) Platform Independent Dynamic Java Virtual Machine Analysis: the Java Grande Forum Benchmark Suite. In: JGI '01 Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande. ACM, pp. 106-115. ISBN 1581133596

    Power, James F. and Malloy, B.A. (2000) Metric-based analysis of context-free grammars. In: 8th International Workshop on Program Comprehension, 2000. Proceedings. IWPC 2000. IEEE, pp. 171-178. ISBN 0769506569

    Power, James F. and Malloy, Brian A. (2000) Symbol table construction and name lookup in ISO C++. In: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings. IEEE, pp. 57-68. ISBN 0769509185

    Power, James F. and Malloy, Brian A. (2000) An approach for modeling the name lookup problem in the C++ programming language (extended version). In: SAC '00 Proceedings of the 2000 ACM symposium on Applied computing. ACM, pp. 792-796. ISBN 1581132409

    Monograph

    Healy, Andrew and Monahan, Rosemary and Power, James F. (2016) Predicting SMT Solver Performance for Software Verification. Working Paper. arXiv.

    Power, James F. (2013) Thue's 1914 paper: a translation. Working Paper. arXiv.

    Whelan, Thomas and Bergin, Susan and Power, James F. (2010) Discrete Structures Teaching: A Systematic Literature Review. Technical Report: NUIM-CS-TR-2010-01. Technical Report. Department of Computer Science, National University of Ireland Maynooth.

    McQuillan, Jacqueline A. and Power, James F. (2008) Specifying Coupling and Cohesion Metrics using OCL and Alloy. Technical Report NUIM-CS-TR-2008-02. Technical Report. Dept. of Computer Science, National University of Ireland Maynooth.

    Kearney, Steven and Power, James F. (2007) Benchmarking the accuracy of reverse engineering tools for Java programs: a study of eleven UML tools. Technical Report: NUIM-CS-TR-2007-01. Technical Report. Dept. of Computer Science, National University of Ireland Maynooth.

    McQuillan, Jacqueline A. and Power, James F. (2006) A Definition of the Chidamber and Kemerer Metrics suite for UML. Technical Report NUIM-CS-TR-2006-03. Technical Report. Dept. of Computer Science.

    Conference or Workshop Item

    Farrell, Marie and Monahan, Rosemary and Power, James F. and Fisher, Michael (2018) An Approach to Combining the Institutions for Event-B and Temporal Logic. In: 24th International Workshop on Algebraic Development Technique, July 2018, Royal Holloway, University of London.

    Farrell, Marie and Monahan, Rosemary and Power, James F. (2016) A Logical Framework for Integrating Software Models via Refinement. In: 32nd British Colloquium of Theoretical Computer Science, March 22-24, 2016, Queens University, Belfast, Northern Ireland. (Unpublished)

    Cheng, Zheng and Monahan, Rosemary and Power, James F. (2016) Verifying SimpleGT Transformations Using an Intermediate Verification Language. In: 4th International Workshop on the Verification Of Model Transformations, Jully 2015, L'Aquila, Italy.

    Mooney, Aidan and Duffin, Joe and Naughton, Thomas J. and Monahan, Rosemary and Power, James F. and Maguire, Phil (2014) PACT: An initiative to introduce computational thinking to second-level education in Ireland. In: International Conference on Engaging Pedagogy 2014 (ICEP), 5th December 2014, Athlone Institute of Technology.

    Power, James F. (2013) Exploring Thue's 1914 paper on the transformation of strings according to given rules. In: HaPoC 2013 : 2nd International Conference on the History and Philosophy of Computing 2013, 28-31 Oct 2013, Paris.

    Wu, Hao and Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. In: 2nd International Workshop on Model Transformation with ATL (MtATL), June 30th 2010, Malaga, Spain . (Unpublished)

    Clarke, P.J. and Babich, Djuradj and King, T.M and Power, James F. (2007) Intra-Class Testing of Abstract Class Features. In: Proceedings 18th IEEE International Symposium on Software Reliability Engineering ISSRE 2007, 5–9 November 2007, Trollhättan, Sweden .

    Kearney, Steven and Power, James F. (2007) REM4j - A framework for measuring the reverse engineering capability of UML CASE tools. In: 19th International Conference on Software Engineering and Knowledge Engineering, 9-11 July 2007, Boston, USA.

    Hennessy, Mark and Power, James F. (2006) Ensuring behavioural equivalence in test-driven porting. In: CASCON 2006: Dublin Symposium, 17 October 2006, Dublin.

    McQuillan, Jacqueline A. and Power, James F. (2006) Some observations on the application of software metrics to UML models. In: Workshop on Model Size Metrics at MoDELS/ UML 2006, 3 October 2006, Genova, Italy.

    McQuillan, Jacqueline A. and Power, James F. (2006) Towards the re-usability of software metric definitions at the meta level. In: PhD Workshop of the 20th European Conference on Object-Oriented Programming, 3-7 July 2006, Nantes, France.

    Brown, Stephen and Mitchell, Aine and Power, James F. (2005) A Coverage Analysis of Java Benchmark Suites. In: The IASTED International Conference on Software Engineering, 15-17 February 2005, Innsbruck, Austria.

    Kraft, Nicholas A. and Malloy, Brian A. and Power, James F. (2005) g4re: Harnessing GCC to Reverse Engineer C++ Applications. In: Dagstuhl Seminar # 05161, Transformation Techniques in Software Engineering, 17-22 April 2005, Schloss Dagstuhl.

    O'Donoghue, Diarmuid and Power, James F. (2004) Identifying and evaluating a generic set of superinstructions for embedded Java programs. In: International Conference on Embedded Systems and Applications (ESA ’04), 21-24 June 2004, Las Vegas, Nevada, USA.

    Mitchell, Aine and Power, James F. (2004) Run-Time Cohesion Metrics: An Empirical Investigation. In: International Conference on Software Engineering Research and Practice, 21-24 June 2004, Las Vegas, Nevada, USA.

    Mitchell, Aine and Power, James F. (2003) Toward a definition of run-time object-oriented metrics. In: 7th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering, July 21-25 2003, Darmstadt, Germany.

    Dowling, Tom and Power, James F. and Waldron, John (2002) 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, 29-31 December 2001, Athens, Greece.

    Byrne, Siobhan and Power, James F. and Waldron, John (2001) A Dynamic Comparison of the SPEC98 and Java Grande Benchmark Suites. In: Workshop on Intermediate Representation Engineering for the Java Virtual Machine, 22-25 July 2001, Orlando, Florida.

    Power, James F. and Sinclair, David (2001) A Formal Model of Forth Control Words in the Pi-Calculus. In: 6th International Workshop on Formal Methods for Industrial Critical Systems, 16-17 July 2001, Paris, France.

    Aziz, B. and Gray, D. and Hamilton, G. and Oehl, F. and Power, James F. and Sinclair, D. (2001) Implementing protocol verification for E-Commerce. In: International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, 6-12 August 2001, L'Aquila, Italy.

    Malloy, Brian A. and Power, James F. (2001) An Interpretation of Purdom's Algorithm for Automatic Generation of Test Cases. In: International Conference on Computer and Information Science, 3-5 October 2001, Orlando, Florida.

    Fritsche, Karsten and Power, James F. and Waldron, John (2001) A Java Distributed Computation Library. In: 2nd International Conference on Parallel and Distributed Computing, Applications and Technologies, 9-11 July 2011, Taipei, Taiwan.

    Daly, Charles and Horgan, Jane and Power, James F. and Waldron, John (2001) Some measurements of Java-to-bytecode compiler performance in the Java Virtual Machine. In: Workshop on Java Optimization Strategies for Embedded Systems, 1 April 2001, University of Genova, Italy.

    Gray, David and Hamilton, Geoff and Power, James F. and Sinclair, David (2001) A Specification of TCP/IP using Mixed Intuitionistic Linear Logic. In: 2nd Joint Workshop on Formal Specification of Computer-Based Systems, 20 April 2001, Washington DC, USA.

    Waldron, John and Power, James F. (2000) 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, 18-23 September 2000, Ufa, Russia.

    Cosgrave, Lisa and Power, James F. and Waldron, John (2000) An Object Oriented Approach to Parser Generation in C++. In: Conference of the South African Institute of Computer Scientists and Information Technologists, 1-3 November 2000, Cape Town, South Africa.

    Sinclair, David and Power, James F. and Gibson, Paul and Gray, David and Hamilton, Geoff (2000) Specifying and Verifying IP with Linear Logic. In: International Workshop on Distributed Systems Validation and Verification, 10 April 2000, Taipei, Taiwan.

    Gray, David and Hamilton, Geoff and Sinclair, David and Gibson, Paul and Power, James F. (1999) Four Logics and a Protocol. In: 3rd Irish Workshop in Formal Methods, 1-2 July 1999, National University of Ireland, Galway.

    Power, James F. and Webster, Caroline (1999) Working with Linear Logic in Coq. In: 12th International Conference on Theorem Proving in Higher Order Logics, 14-17 September 1999, University of Nice, France.

    This list was generated on Thu May 26 22:19:18 2022 UTC.