BibTeX records: Ray Nickson

download as .bib file

@incollection{DBLP:conf/lopstr/ColvinGHHNS04,
  author       = {Robert Colvin and
                  Lindsay Groves and
                  Ian J. Hayes and
                  David Hemer and
                  Ray Nickson and
                  Paul A. Strooper},
  editor       = {Maurice Bruynooghe and
                  Kung{-}Kiu Lau},
  title        = {Developing Logic Programs from Specifications Using Stepwise Refinement},
  booktitle    = {Program Development in Computational Logic: {A} Decade of Research
                  Advances in Logic-Based Program Development},
  series       = {Lecture Notes in Computer Science},
  volume       = {3049},
  pages        = {66--89},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25951-0\_3},
  doi          = {10.1007/978-3-540-25951-0\_3},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ColvinGHHNS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmsjcm/Utting0N02,
  author       = {Mark Utting and
                  Peter J. Robinson and
                  Ray Nickson},
  title        = {Ergo 6: {A} Generic Proof Engine that Uses Prolog Proof Technology},
  journal      = {{LMS} J. Comput. Math.},
  volume       = {5},
  pages        = {194--219},
  year         = {2002},
  url          = {https://doi.org/10.1112/s1461157000000759},
  doi          = {10.1112/S1461157000000759},
  timestamp    = {Sat, 27 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmsjcm/Utting0N02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/HayesCHSN02,
  author       = {Ian J. Hayes and
                  Robert Colvin and
                  David Hemer and
                  Paul A. Strooper and
                  Ray Nickson},
  title        = {A refinement calculus for logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {2},
  number       = {4-5},
  pages        = {425--460},
  year         = {2002},
  url          = {https://doi.org/10.1017/S1471068402001448},
  doi          = {10.1017/S1471068402001448},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/HayesCHSN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-SE-0202002,
  author       = {Ian J. Hayes and
                  Robert Colvin and
                  David Hemer and
                  Paul A. Strooper and
                  Ray Nickson},
  title        = {A Refinement Calculus for Logic Programs},
  journal      = {CoRR},
  volume       = {cs.SE/0202002},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0202002},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0202002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aswec/GrovesNRRU00,
  author       = {Lindsay Groves and
                  Ray Nickson and
                  Greg Reeve and
                  Steve Reeves and
                  Mark Utting},
  title        = {A Survey of Software Development Practices in the New Zealand Software
                  Industry},
  booktitle    = {12th Australian Software Engineering Conference {(ASWEC} 2000), 28-30
                  April 2000, Canberra, Australia},
  pages        = {189--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ASWEC.2000.844576},
  doi          = {10.1109/ASWEC.2000.844576},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/GrovesNRRU00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CarringtonHNWW98,
  author       = {David A. Carrington and
                  Ian J. Hayes and
                  Ray Nickson and
                  Geoffrey Watson and
                  Jim Welsh},
  title        = {A Program Refinement Tool},
  journal      = {Formal Aspects Comput.},
  volume       = {10},
  number       = {2},
  pages        = {97--124},
  year         = {1998},
  url          = {https://doi.org/10.1007/s001650050006},
  doi          = {10.1007/S001650050006},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CarringtonHNWW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NicksonH97,
  author       = {Ray Nickson and
                  Ian J. Hayes},
  title        = {Supporting Contexts in Program Refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {29},
  number       = {3},
  pages        = {279--302},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-6423(97)00002-6},
  doi          = {10.1016/S0167-6423(97)00002-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/NicksonH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/TraynorHKMNW97,
  author       = {Owen Traynor and
                  Daniel Hazel and
                  Peter Kearney and
                  Andrew P. Martin and
                  Ray Nickson and
                  Luke Wildman},
  editor       = {Michael Johnson},
  title        = {The Cogito Development System},
  booktitle    = {Algebraic Methodology and Software Technology, 6th International Conference,
                  {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1349},
  pages        = {586--591},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0000505},
  doi          = {10.1007/BFB0000505},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/TraynorHKMNW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/NicksonG94,
  author       = {Raymond G. Nickson and
                  Lindsay J. Groves},
  editor       = {David Till},
  title        = {Metavariables and Conditional Refinements in the Refinement Calculus},
  booktitle    = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
                  organised by BCS-FACS, London, UK, 5-7 January 1994},
  series       = {Workshops in Computing},
  pages        = {167--187},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-1-4471-3240-0\_9},
  doi          = {10.1007/978-1-4471-3240-0\_9},
  timestamp    = {Tue, 20 Aug 2019 12:41:38 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/NicksonG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/GrovesNU92,
  author       = {Lindsay Groves and
                  Raymond G. Nickson and
                  Mark Utting},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A Tactic Driven Refinement Tool},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {272--297},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_14},
  doi          = {10.1007/978-1-4471-3550-0\_14},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refine/GrovesNU92.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.