Items where division is "Faculties > Sciences > School of Computing > Theoretical Computing Group"

A

Aichernig, Bernhard K., Boiten, Eerke Albert, Butler, Michael, Derrick, John, Groves, Lindsay (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. (doi:10.1007/s00165-008-0100-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Aichernig, Bernhard K., Boiten, Eerke Albert, Derrick, John, Groves, Lindsay (2007) Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. Electronic Notes in Theoretical Computer Science, 187 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.040) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H., Bordbar, Behzad, Derrick, John, Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds. Procedings of the 7th Cabernet Radicals Workshop. .

Preview

Akehurst, David H. and Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report. n/a

Preview

Akehurst, David H., Derrick, John, Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: Najm, Elie and Nestmann, Uwe and Stevens, Perdita, eds. FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. Lecture Notes in Computer Science , 2884. pp. 276-292. Springer ISBN 3-540-20491-1.

Preview

Alexander, Kaganovsky (1999) Computing with Exact Real Numbers in a Radix-r System. Technical report. , University of Kent at Canterbury

Preview Preview

Anzellotti, G., Battiti, Roberto, Lazzizzera, I., Soncini, G., Zorat, Alessandro, Sartori, Alvise, Tecchiolli, Giampietro, Lee, Peter (1995) Totem:. a Highly Parallel Chip for Triggering Applications with Inductive Learning Based on the Reactive Tabu Search. In: International Journal of Modern Physics C. 6. pp. 555-560. World Scientific Publ Co Pte Ltd (doi:10.1142/S0129183195000423) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arts, Thomas, Earle, Clara Benac, Derrick, John (2003) Development of a Verified Erlang Program for Resource Locking. Software Tools for Technology Transfer (STTT), 5 (2). pp. 205-220. ISSN 1433-2779. (doi:10.1007/s10009-003-0114-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arts, Thomas and Earle, Clara Benac and Derrick, John (2002) Verifying Erlang code: a resource locker case-study. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. UNSPECIFIED LNCS, 2391 . Springer-Verlag, pp. 184-203. ISBN 3-540-43928-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Arts, Thomas, Earle, Clara Benac, Penas, Juan José Sánchez (2004) Translating Erlang to muCRL. In: 4th International Conference on Application of Concurrency to System Design. . pp. 135-144. IEEE Computer Society Press, Piscataway, New Jersey ISBN 0-7695-2077-4.

Preview Preview

Asveld, Peter R. J. and Boiten, Eerke Albert (1986) A Generator for Turing Machine Simulation Programs - user's manual. Technical report. Universiteit Twente (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Augusto, Juan Carlos, Gomez, Rodolfo (2003) A Procedure to Translate PARADIGM Specifications to Propositional Linear Temporal Logic and its Application to Verification. International Journal of Software Engineering and Knowledge Engineering, 13 (6). pp. 627-654. ISSN 0218-1940. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

B

Barnes, David J., Fincher, Sally, Thompson, Simon (1997) Introductory Problem Solving in Computer Science. In: Daughton, Goretti and Magee, Patricia, eds. 5th Annual Conference on the Teaching of Computing. . pp. 36-39. , Centre for Teaching Computing, Dublin City University, Dublin 9, Ireland

Preview

Barnes, David J., Hopkins, Tim (2000) The evolution and testing of a medium sized numerical package. In: Langtangen, Hans Petter and Bruaset, Are Magnus and Quak, Ewald, eds. Advances In Software Tools For Scientific Computing. 10. pp. 225-237. Springer-Verlag Berlin ISBN 3-540-66557-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bartoszek, Bozena and Czeck, Zbigniew and Konopka, Marek (1993) Parallel Searching for a First Solution. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK

Preview Preview

Bassett, Eryl E., Brooks, Stephen P., Morgan, Byron J. T. (1994) Minitab macros for multivariate analysis. Computational Statistics and Data Analysis, 17 (1). pp. 100-101. ISSN 0167-9473. (doi:10.1016/0167-9473(94)90031-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Battiti, Roberto and Lee, Peter and Sartori, Alvise and Tecchiolli, Giampietro (1995) Special-purpose parallel architectures for high-performance machine learning. In: Hertzberger, Bob and Serazzi, Giuseppe, eds. High-Performance Computing and Networking International Conference and Exhibition. Lecture Notes in Computer Science . Springer, Berlin, Germany, p. 944. ISBN 978-3-540-59393-5. E-ISBN 978-3-540-49242-9. (doi:10.1007/BFb0046600) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Beckett, David J. (1995) Combined Log System. Computer Networks and ISDN Systems, 27 . pp. 1089-1096. ISSN 0169-7552. (doi:10.1016/0169-7552(95)00013-W)

Preview

Beezer, Anthony E., Mitchell, John C., Colegate, Rachel M., Scally, David J., Twyman, Lance J., Willson, Richard J. (1995) Microcalorimetry in the Screening of Discovery Compounds and in the Investigation of Novel Drug-Delivery systems. Thermochimica Acta, 250 (2). pp. 277-283. ISSN 0040-6031. (doi:10.1016/0040-6031(94)01966-K) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Benoy, Florence and King, Andy (1996) Inferring Argument Size Relationships with CLP(R). In: Gallagher, John, ed. Logic Logic Program Synthesis and Transformation 6th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 204-223. ISBN 978-3-540-62718-0. E-ISBN 978-3-540-68494-7. (doi:10.1007/3-540-62718-9_12)

Preview

Benoy, Florence, King, Andy (1999) An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions. University of Kent, School of Computing, University of Kent, 21 pp.

Preview

Blackburn, Steve, Jones, Richard E., McKinley, Kathryn S., Moss, J.Eliot B. (2002) Beltway: Getting Around Garbage Collection Gridlock. In: Hendren, Laurie J., ed. Proceedings of PLDI'02 Programming Language Design and Implementation. . pp. 153-164. Association for Computing Machinery, Berlin ISBN 1-58113-463-0.

Preview Preview

Blair, Gordon S., Blair, Lynne, Bowman, Howard, Chetwynd, Amanda G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Blair, Lynne, Blair, Gordon S., Bowman, Howard, Chetwynd, Amanda G. (1995) Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces, 17 (5-6). pp. 413-436. ISSN 0920-5489. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bodden, Eric (2003) JAnalyzer, A Visual Static Analyzer for Java. Technical report. University of Kent, Kent, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boel, R.K., Bordbar, Behzad, Stremersch, G. (1998) Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. IEEE Systems, Man, and Cybernetics,Conference , 1. pp. 674-679. IEEE, San Diego, California, USA ISBN 0-7803-4778-1. (doi:10.1109/ICSMC.1998.725491) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (2003) Book review: Concepts in Programming Languages, by John Mitchell. Review of: Concepts in Programming Languages by Mitchell, John. Journal of Functional Programming, 13 (6). pp. 1087-1088. ISSN 0956-7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1988) Een Syntax Assisted Editor. Other masters thesis, Universiteit Twente. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1990) Factorisation of the Factorial -- an algorithm discovered by playing with transformations. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1992) Factorisation of the Factorial -- an example of inverting the flow of computation. Periodica Polytechnica: Electrical Engineering, 35 (2). pp. 77-99. ISSN 0324-6000. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (2008) From ABZ to cryptography (abstract). In: Börger, Egon and Butler, Michael and Bowen, Jonathan P. and Boca, Paul, eds. UNSPECIFIED Lecture Notes in Computer Science . Springer, Berlin, Germany. ISBN 978-3-540-87602-1. E-ISBN 978-3-540-87603-8. (doi:10.1007/978-3-540-87603-8_40)

Preview

Boiten, Eerke Albert (1992) Improving recursive functions by inverting the order of evaluation. Science of Computer Programming, 18 . pp. 139-179. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (2004) Input/Output Abstraction of State Based Systems. Technical report. University of Kent

Preview Preview

Boiten, Eerke Albert (2002) Integrating Specifications: Development Relations and Correspondences. In: Ehrig, Hartmut and Grosse-Rhode, Martin, eds. INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop. . p. 8. INIST-CNRS

Preview Preview

Boiten, Eerke Albert (1991) Intersections of Bags and Sets of Extended Substructures -- a Class of Problems. In: Möller, Bernhard, ed. Constructing Programs from Specifications : Proceedings of the IFIP TC2/WG 2.1 Working Conference. . pp. 33-48. North-Holland, Amsterdam ISBN 0-444-89184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1991) Intersections of Sets and Bags of Extended Substructures, and Can Bag Comprehension be Used at All? Technical report. Dept. of Informatics, University of Nijmegen (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1989) Inverting the Flow of Computation in Tree-like Recursive Functions. In: Apers, P.M.G. and Bosman, D. and van Leeuwen, J., eds. Computer Science in the Netherlands 1989. . pp. 33-56. Stichting Mathematisch Centrum, Amsterdam ISBN 90-6196-382-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (2002) Loose Specification and Refinement in Z. In: Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds. ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 226-241. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Möller, Bernhard, eds. (2002) Mathematics of Program Construction: Sixth International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, 267 pp. ISBN 978-3-540-43857-1. E-ISBN 978-3-540-45442-7. (doi:10.1007/3-540-45442-X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1993) Parsing in ISBES. In: Bjorner, D. and Broy, M. and Pottosin, I.V., eds. Formal Methods in Programming and Their Applications International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 423-433. ISBN 978-3-540-57316-6. E-ISBN 978-3-540-48056-3. (doi:10.1007/BFb0039724)

Preview

Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, 70 . Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1991) Solving a combinatorial problem by transformation of abstract data types. In: van Leeuwen, J., ed. Computing Science in the Netherlands 1991. . pp. 99-108. Stichting Mathematisch Centrum, Amsterdam ISBN 90-6196-403-2.

Preview Preview

Boiten, Eerke Albert (2004) Travelling Salesman Heuristics: Exercises in Haskell. Technical report. University of Kent

Preview Preview

Boiten, Eerke Albert (2004) Turtle Graphics: Exercises in Haskell. Technical report. University of Kent

Preview Preview

Boiten, Eerke Albert (1992) Views of Formal Program Development. Doctor of Philosophy (PhD) thesis, University of Nijmegen, Faculty of Mathematics and Informatics. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury

Preview Preview

Boiten, Eerke Albert (1991) The many disguises of accumulation. Technical report. Dept. of Informatics, University of Nijmegen

Preview Preview

Boiten, Eerke Albert, Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286.

Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK

Preview Preview

Boiten, Eerke Albert, Bowman, Howard, Derrick, John, Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. . pp. 162-166. ACM ISBN 0-89791-867-3.

Preview Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 644-664. ISBN 978-3-540-63533-8. E-ISBN 978-3-540-69593-6. (doi:10.1007/3-540-63533-5_34)

Preview +1 more...

Boiten, Eerke Albert, Butler, Michael (2006) Guest Editorial: Editorial for the FAC Special Issue based on derivative papers from "Refine ’05". Formal Aspects of Computing, 18 (3). p. 263. ISSN 0934-5043. (doi:10.1007/s00165-006-0009-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (2005) Formal Program Development with Approximations. In: Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A., eds. ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 374-392. ISBN 978-3-540-25559-8. E-ISBN 978-3-540-32007-4. (doi:10.1007/11415787_22)

Preview

Boiten, Eerke Albert, Derrick, John (1998) Grey Box Data Refinement. In: Grundy, J. and Schwenke, M. and Vickers, T., eds. International Refinement Workshop & Formal Methods Pacific '98. Discrete Mathematics and Theoretical Computer Science . pp. 45-59. Springer-Verlag, Canberra ISBN 981-4021-16-4.

Preview

Boiten, Eerke Albert, Derrick, John (1998) IO - refinement in Z. In: 3rd Northern Formal MethodsWorkshop,, 1998.

Preview

Boiten, Eerke Albert, Derrick, John (2002) Integration of Specifications through Development Relations. In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds. Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology. . p. 8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (2000) Liberating data refinement. In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds. Mathematics of Program Construction 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 144-166. ISBN 978-3-540-67727-7. E-ISBN 978-3-540-45025-2. (doi:10.1007/10722010_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (2009) Modelling divergence in Relational Concurrent Refinement. In: Leuschel, Michael and Wehrheim, Heike, eds. Integrated Formal Methods 7th International Conference. Lecture Notes in Computer Science, 5423 . Springer, Berlin, Germany, pp. 183-199. ISBN 978-3-642-00254-0. E-ISBN 978-3-642-00255-7. (doi:10.1007/978-3-642-00255-7_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Derrick, John (2005) Proceedings of the REFINE 2005 Workshop. Electronic Notes in Theoretical Computer Science, 137 (2). pp. 1-242. ISSN 1571-0661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)80488-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Derrick, John (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617.

Preview

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED.

Preview Preview

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Duke, David J. and Evans, A.S., eds. BCS-FACS Northern formal methods Workshop. Workshops in Computing , 2. Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. . pp. 73-85. Stichting Mathematisch Centrum, Amsterdam ISBN 90-6196-460-1.

Preview Preview

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, 21 (1-2). pp. 65-102. ISSN 0934-5043. (doi:10.1007/s00165-007-0066-z)

Preview

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John and Smith, Graeme (2007) Refine 2007 Participants' Proceedings. Technical report. University of Kent, Canterbury, Canterbury, Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Geerling, A.M., Partsch, H.A. (1993) Transformational derivation of (parallel) programs using skeletons. In: Computer Science in the Netherlands 1993, 1993, Utrecht. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Grundy, Dan (2008) Reduction and refinement. Electronic Notes in Theoretical Computer Science, 201 . pp. 31-44. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.014)

Preview

Boiten, Eerke Albert and Hoogendijk, P.F. (1996) Nested collections and polytypism. Technical report. Department of Computing Science, Eindhoven University

Preview Preview

Boiten, Eerke Albert, Partsch, H.A., Tuijnman, D., Völker, N. (1992) How to produce correct software -- an introduction to formal specification and program development by transformations. Computer Journal, 35 (6). pp. 547-554. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, Schneider, Steve A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s00165-013-0290-7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert, van den Brand, M.G.J., van Diepen, N.W.P., Koster, C.H.A., Partsch, H.A., Völker, N. (1992) USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. Periodica Polytechnica: Electrical Engineering, 35 (2). pp. 101-123. ISSN 0324-6000.

Preview

Bolognesi, Tommaso, Derrick, John (1998) Constraint-oriented style for object-oriented formal specification. IEE Proceedings: Software, 145 (2-3). pp. 61-69. ISSN 1462-5970. (doi:10.1049/ip-sen:19986907) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad (1998) Weakly almost period functions on N with a negative base. Journal of the London Mathematical Society, (57). pp. 706-720. ISSN 0024-6107. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2003) A UML approach to the design of open distributed systems. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 561-572. ISBN 978-3-540-00029-7. E-ISBN 978-3-540-36103-9. (doi:10.1007/3-540-36103-0_56) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad, Derrick, John, Waters, A. Gill (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286. (doi:10.1016/S1389-1286(02)00255-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Proceedings of 6th International Federation of Automatic Control (IFAC). Workshop on Algorithms and Architectures for Real-Time Control . pp. 105-110. Elsevier, Palma de Mallorca, Spain ISBN 0-08-043685-4.

Preview

Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) Hybrid Control Systems: a Design Case Study. In: IEEE CCA/CACSD. . pp. 947-952. IEEE, Alaska, USA ISBN 0-7803-6562-3. (doi:10.1109/CCA.2000.897592)

Preview

Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: IEEE CCA/CACSD. . pp. 610-615. IEEE, Alaska, USA ISBN 0-7803-6562-3. (doi:10.1109/CCA.2000.897497)

Preview

Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. In: IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring. 2000 i. pp. 31-33. IEE Digest, London (doi:10.1049/ic:20000237)

Preview

Bordbar, Behzad, Giacomini, Luisa, Holding, David J. (2000) Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. In: Proceedings of the 6th International Workshop on Discrete Event Systems. . , Ghent, Belgium (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad, Pym, J.S. (2000) The Set of Idempotents in the Weakly Almost Periodic Compactification of the Integers is not Closed. Transactions of the American Mathematical Society, 352 (2). pp. 823-842. ISSN 0002-9947.

Preview

Bordbar, Behzad, Pym, J.S. (1998) The weakly almost periodic compactification of a direct sum of finite groups. Mathematical Proceedings of the Cambridge Philosophical Society, 124 (3). pp. 421-449. ISSN 0305-0041. (doi:10.1017/S0305004198002540) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bovey, John D. (1995) Building a Thesaurus for a Collection of Cartoon Drawings. Journal of Information Science, 21 (2). pp. 115-122. ISSN 1352-7460. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . pp. 162-163. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)81053-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard (1998) An Interpretation of Cognitive Theory in Concurrency Theory. Technical report. University of Kent

Preview

Bowman, Howard (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635. (doi:10.1007/BF03037429) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard (1999) Modelling Concurrent Cognitive Architectures Using Process Calculi. In: Bagnara, Sebastiano, ed. European Conference on Cognitive Science 1999. . pp. 161-166. Istituto di Psicologia, CNR ISBN 88-85059-10-4.

Preview Preview

Bowman, Howard (1999) Modelling Timeouts without Timelocks. In: Formal Methods for Real-Time and Probabilistic Systems 5th International. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 334-354. ISBN 978-3-540-66010-1. E-ISBN 978-3-540-48778-4. (doi:10.1007/3-540-48778-6_20)

Preview Preview

Bowman, Howard (1999) On Time and Action Lock Free Description of Timed Systems. Technical report.

Preview Preview

Bowman, Howard (2001) Time and Action Lock Freedom Properties of Timed Automata. In: Kim, Myungchul and Chin, Byoungmoon and Kang, Sungwon and Lee, Danhyung, eds. Formal Techniques for Networked and Distributed Systems. . pp. 119-134. Kluwer Academic Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1995) Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977. ISSN 0140-3664. (doi:10.1016/0140-3664(96)81596-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1993) Time Versus Abstraction In Formal Description. In: Tenney, Richard L. and Amer, Paul D. and Uyar, M.Umit, eds. FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI. North-Holland Publishing Co., Netherlands, pp. 467-482. ISBN 0-444-81773-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Blair, Lynne, Blair, Gordon S., Chetwynd, Amanda G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Hutchison, D. and Danthine, A. and Leopold, H. and Coulson, G., eds. Multimedia Transport and Teleservices, International COST 237 Workshop. Lecture Notes in Computer Science , 882. pp. 145-167. Springer-Verlag ISBN 3-540-58759-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview Preview

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK

Preview Preview

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:10.1016/S0167-6423(98)00017-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. . pp. 189-204. Chapman & Hall ISBN 0-412-79770-4.

Preview Preview

Bowman, Howard, Briscoe-Smith, C., Derrick, John, Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. . pp. 335-351. Chapman and Hall ISBN 0-412-82040-4.

Preview +1 more...

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi:10.1093/comjnl/44.4.230) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Bryans, Jeremy W., Derrick, John (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Priami, C., ed. Sixth International Workshop on Process Algebras and Performance Modelling. . pp. 51-69. , Nice

Preview

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856. (doi:10.1023/A:1021736013555) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent

Preview Preview

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Applied Logic Series . Kluwer

Preview +1 more...

Bowman, Howard and Derrick, John (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 382-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Derrick, John (1999) A Junction between State Based and Behavioural Specification. In: Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Robert, eds. Formal Methods for Open Object-based Distributed Systems. . pp. 213-239. Kluwer ISBN 0-7923-8429-6. (doi:10.1007/978-0-387-35562-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED.

Preview Preview

Bowman, Howard and Derrick, John (1994) Towards a Formal Model of Consistency in ODP. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview Preview

Bowman, Howard, Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, Behcet and Saito, Senro, eds. MMNet'95, International Conference on Multimedia and Networking. . pp. 173-182. IEEE Computer Society Press ISBN 0-8186-7090-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. ISSN 0098-5589. (doi:10.1109/TSE.2000.859528) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Derrick, John, Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. .

Preview Preview

Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:10.1016/0920-5489(95)00021-L)

Preview Preview

Bowman, Howard, Derrick, John, Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED.

Preview Preview

Bowman, Howard, Faconti, Giorgio (1999) Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11 (2). pp. 132-159. (doi:10.1007/s001650050045) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Faconti, Giorgio, Katoen, J-P., Latella, D., Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X. (doi:10.1007/s001650050032) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Faconti, Giorgio, Katoen, J-P., Latella, D., Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: Groote, J.F. and Luttik, B. and van Warnel, J., eds. FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. . pp. 97-124. CWI ISBN 90-6196-480-6.

Preview

Bowman, Howard, Faconti, Giorgio, Massink, M. (1998) Specification and Verification of Media Constraints using UPPAAL. In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98. Eurographics Series . pp. 261-277. Springer-Verlag ISBN 3-211-83212-2.

Preview Preview

Bowman, Howard and Faconti, Giorgio and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report.

Preview Preview

Bowman, Howard, Faconti, Giorgio, Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Bowman, Howard, ed. Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy. 43 of. pp. 97-112. Elsevier Science (doi:10.1016/S1571-0661(04)80896-X)

Preview

Bowman, Howard, Gomez, Rodolfo (2006) Concurrency Theory, Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, London, 459 pp. ISBN 1-85233-895-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard, Gomez, Rodolfo (2006) How to stop time stopping. Formal Aspects of Computing, 18 (4). pp. 459-493. ISSN 0934-5043.

Preview

Bowman, Howard and Gomez, Rodolfo and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK

Preview

Bowman, Howard, Katoen, J-P. (1998) A True Concurrency Semantics for ET-LOTOS. In: CSD'98 International Conference on Application of Concurrency to System Design. IEEE Computer Society . pp. 228-238. IEEE Computer Society Press ISBN 0-8186-8350-3. (doi:10.1109/CSD.1998.657554) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ

Preview Preview

Bowman, Howard, Steen, Maarten, Boiten, Eerke Albert, Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:10.1023/A:1016000201864) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent

Preview

Bowman, Howard, Thompson, Simon (2003) A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation, 13 (2). pp. 195-239. ISSN 0955-792X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury

Preview Preview

Bowman, Howard, Thompson, Simon (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods. Lecture Notes In Computer Science , 1397 (1397). pp. 108-123. Springer-Verlag ISBN 3-540-64406-7.

Preview

Brassel, Bernd, Chitil, Olaf, Hanus, Michael, Huch, Frank (2004) Observing Functional Logic Computations. In: Jayaraman, B., ed. Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04). LNCS 3057 , 3057. pp. 193-208. Springer ISBN 3-540-22253-7.

Preview

Briscoe-Smith, C. (2000) Behavioural Subtyping in Process Algebra. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury.

Brooks, Stephen P., Morgan, Byron J. T. (1994) Automatic Starting Point Selection For Function Optimization. Statistics and Computing, 4 (3). pp. 173-177. ISSN 0960-3174. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Christopher, Thompson, Simon (2007) Refactorings that Split and Merge Programs. In: Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007. . , Freiburg, Germany.

Preview

Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods Second International Conference. Lecture Notes in Comuter Science . Springer, Berlin, Germany, pp. 176-193. ISBN 978-3-540-41196-3. E-ISBN 978-3-540-40911-3. (doi:10.1007/3-540-40911-4_11)

Preview Preview

Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent

Preview Preview

Bryans, Jeremy W., Bowman, Howard, Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (doi:10.1145/937555.937558) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A. (1994) Real-time CSP and ET-LOTOS. Technical report. Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A. (1995) Towards a Denotational Semantics for Timed LOTOS. In: CONCUR '95: Concurrency Theory 6th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 269-283. ISBN 978-3-540-60218-7. E-ISBN 978-3-540-44738-2. (doi:10.1007/3-540-60218-6_20) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bryans, Jeremy W., Derrick, John (1999) Stochastic specification and verification. In: 3rd Irish Workshop in Formal Methods. Electronic Workshops in Computing . Springer

Preview Preview

Bujorianu, Manuela L., Bujorianu, Marius C. (2001) Constructive Foundations of Stochastic Analysis in Linear Logic. In: BCTCS 17 British Colloquium for Theoretical Computer Science. 74. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. Integrated Formal Methods, 4th International Conference, IFM 2004. 2999. pp. 421-440. Springer ISBN 3-540-21377-5. (doi:10.1007/b96106) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) An Abstract Domain for Probabilistic Hybrid Systems. European Association for Theoretical Computer Science, Bulletin of the European Association for Theoretical Computer Science, Issue 74. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C., Bujorianu, Manuela L. (2002) Constructive Potential Theory: A Linear Logic Approach. In: Berarducci, A. and Cutland, N.J., eds. NS 2002 Non-standard Methods and Applications in Mathematics. . University of Pisa, Pisa, Italy (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Constructive Potential Theory: Foundations and Applications. Technical report. University of Kent, Canterbury, Kent, UK

Preview Preview

Bujorianu, Marius C., Bujorianu, Manuela L. (2002) Linear Logic: from Stochastic Analysis to Software Testing. In: British colloquium on theoretical computer science 18, 7th-10th April 2002, HP laboratories Bristol. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) Logics, Viewpoints and Tests: Towards a Trinity. Other. Computing Laboratory, UKC (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C., Bujorianu, Manuela L. (2001) On the Hilbert Machines Quantitative Computational Model. In: QAPL'01 Workshop on Quantitative Aspects of Programming Laguages. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C., Bujorianu, Manuela L. (2001) Order Theoretic Topologies and Hybrid Systems. In: 5th Galway Colloquium on General Topology, 27-29 June 2001, University of Hull. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bujorianu, Marius C., Maharaj, Savitri, Bujorianu, Manuela L. (2002) Towards a formalization of viewpoints testing. In: Hierons, R. and Jéron, T., eds. Formal Approaches To Testing of Software 2002 (FATES'02). Research Report . INRIA, 35042 Rennes, France

Preview

C

Cameron, Helen, King, Peter, Bowman, Howard, Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Electronic Publishing 98. Lecture Notes In Computer Science , 1357. pp. 355-369. Springer ISBN 3-540-64298-6.

Preview Preview

Cameron, Helen, King, Peter, Thompson, Simon (2003) Modelling Reactive Multimedia: Events and Behaviours. Multimedia Tools and Applications, 19 (1). pp. 53-77. ISSN 1380-7501. (doi:10.1023/A:1021168913400) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Florissi, C., Soares, Patricia G., Melo, T.C.S (1987) Implementation of a Relational Language for Microcomputers. In: 7th Conference of the Brazilian Computer Society. . pp. 441-451. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Meira, Silvio Lemos (1989) Denotational Models of Software Systems. In: 9th Conference of the Brazilian Computer Society. . pp. 187-204. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Naumann, David A. (2002) Forward Simulation for Data Refinement of Classes. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science , 1. pp. 471-490. Springer-Verlag, Berlin ISBN 978-3-540-43928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Naumann, David A. (2002) On a Specification-oriented Model for Object-orientation. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. . pp. 114-127. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Naumann, David A. (2000) Simulation and Class Refinement for Java. In: Drossopoulou, Sophia and Eisenback, S., eds. ECOOP 2000 Workshop on Formal Techniques for Java Programs. Technical Report 269 . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Naumann, David A. (2000) A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering, 26 (8). pp. 713-728. ISSN 0098-5589. (doi:10.1007/3-540-48118-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Naumann, David A. (1999) A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In: FM'99: World Congress on Formal Methods in the Development of Computing Systems, Sep 20-24, 1999, Toulouse, France. (doi:10.1007/3-540-48118-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (1999) An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33 (1). pp. 87-96. ISSN 0167-6423. (doi:10.1016/S0167-6423(97)00015-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (1998) Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5 (1). pp. 1-15. ISSN 0104-6500. (doi:10.1590/S0104-65001998000200002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (2002) Refinement of Actions in Circus. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science , 70. pp. 132-162. Elsevier B.V (doi:10.1016/S1571-0661(05)80489-X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Woodcock, Jim (2002) A Weakest Precondition Semantics for Circus. In: Proceedings of the Communicating Processing Architectures 2002. . IOS Press ISBN 4-274-90539-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Woodcock, Jim (1998) A Weakest Precondition Semantics for Z. Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620. (doi:10.1093/comjnl/41.1.1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C., Woodcock, Jim (1998) ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10 (3). pp. 267-289. (doi:10.1007/s001650050016) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cesarini, Francesco, Thompson, Simon (2009) Erlang Programming. O'Reilly, 494 pp. ISBN 0-596-51818-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Charles, Nathan, Bowman, Howard, Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489. (doi:10.1016/S0920-5489(97)00005-6)

Preview Preview

Cheng, Russell C.H. (1994) Selecting Input Models. In: Tew, J.D. and Manivannan, M.S. and Sadowski, D.A. and Seila, A.F., eds. 1994 Winter Simulation Conference Proceedings. . pp. 184-191. I E E E ISBN 0-7803-2109-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chitil, Olaf (1997) Adding an Optimisation Pass to the Glasgow Haskell Compiler. Other. RWTH Aachen, Germany (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chitil, Olaf (1997) Common Subexpression Elimination in a Lazy Functional Language. In: Clack, Chris and Davie, Tony and Hammond, Kevin, eds. Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages. . pp. 501-516.

Preview

Chitil, Olaf (2001) Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01). . pp. 193-204. ACM, Firenze, Italy ISBN 1-58113-415-0. (doi:10.1145/507635.507659)

Preview

Chitil, Olaf (2000) Deforestation of Functional Programs through Type Inference. In: Goerigk, Wolfgang, ed. 17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten. . pp. 121-130. Bericht Nr. 2007 des Instituts für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel

Preview

Chitil, Olaf (1999) Denotational Semantics for Teaching Lazy Functional Programming. In: Proceedings of the Workshop on Functional and Declarative Programming in Education. Rice Technical Report 99-346 .

Preview

Chitil, Olaf (1995) Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung. Other masters thesis, RWTH Aachen.

Preview

Chitil, Olaf (2009) Functional Programming. In: Wah, Benjamin W., ed. Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Hoboken, NJ, pp. 1334-1344. ISBN 978-0-471-38393-2.

Preview

Chitil, Olaf (2005) Hat-Explore: Source-Based Trace Exploration. In: Runciman, Colin, ed. Hat Day 2005: work in progress on the Hat tracing system for Haskell. Tech. Report YCS-2005-395 . University of York, UK

Preview

Chitil, Olaf (2006) Pretty Printing with Delimited Continuations. Technical report. University of Kent, Kent, UK

Preview

Chitil, Olaf (2005) Pretty Printing with Partial Continuations. In: Butterfield, Andrew, ed. Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05. .

Preview

Chitil, Olaf (2005) Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems, 27 (1). pp. 163-184. ISSN 0164-0925. (doi:10.1145/1053468.1053473)

Preview

Chitil, Olaf (2006) Promoting Non-Strict Programming. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. . pp. 512-516. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7.

Preview

Chitil, Olaf (2001) A Semantics for Tracing. In: Arts, Thomas and Mohnen, Markus, eds. Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001. . pp. 249-254. , Älvsjö, Sweden

Preview

Chitil, Olaf (1996) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Technical report. RWTH Aachen, Aachen, Germany AIB-07-1996. (doi:AIB-07-1996)

Preview

Chitil, Olaf (1997) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Fundamenta Informaticae, 31 (3,4). pp. 253-294. ISSN 1875-8681. E-ISSN 0169-2968. (doi:10.3233/FI-1997-313404)

Preview

Chitil, Olaf (2004) Source-Based Trace Exploration. In: Draft Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL 2004. . pp. 239-244. Technical Report 0408, University of Kiel

Preview

Chitil, Olaf (2005) Source-Based Trace Exploration. In: Grelck, Clemens and Huch, Frank and Michaelson, Greg and Trinder, Phil, eds. Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004. LNCS 3474 . pp. 126-141. Springer ISBN 978-3-540-26094-3. E-ISBN 978-3-540-32038-8. (doi:10.1007/11431664_8)

Preview

Chitil, Olaf (1999) Type Inference Builds a Short Cut to Deforestation. In: ACM SIGPLAN Notices. 34. pp. 249-260. ACM Press, Broadway, New York, USA

Preview

Chitil, Olaf (2000) Type-Inference Based Deforestation of Functional Programs. Doctor of Philosophy (PhD) thesis, RWTH Aachen.

Preview

Chitil, Olaf (2000) Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. In: Clack, Chris and Koopman, Pieter, eds. Implementation of Functional Languages, 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers. LNCS 1868 . pp. 19-35. Springer ISBN 978-3-540-67864-9. E-ISBN 978-3-540-44658-3. (doi:10.1007/10722298)

Preview

Chitil, Olaf (1999) Type-Inference Based Short Cut Deforestation (nearly) without Inlining. In: Clack, Chris and Koopman, P., eds. Draft Proceedings of the 11th International Workshop on Implementation of Functional Languages. . pp. 17-32.

Preview

Chitil, Olaf, Davie, Thomas (2008) Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs. In: PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. . pp. 205-216. ACM ISBN 978-1-60558-117-0. (doi:10.1145/1389449.1389475)

Preview

Chitil, Olaf and Huch, Frank (2007) Monadic, prompt lazy assertions in Haskell. In: Shao, Zhong, ed. Programming Languages and Systems. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 38-53. ISBN 978-3-540-76636-0. E-ISBN 978-3-540-76637-7. (doi:10.1007/978-3-540-76637-7_4)

Preview

Chitil, Olaf, Huch, Frank (2006) A Pattern Logic for Prompt Lazy Assertions in Haskell. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. . Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7.

Preview

Chitil, Olaf and Huch, Frank (2007) A Pattern Logic for Prompt Lazy Assertions. In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds. Implementation and Application of Functional Languages. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 126-144. ISBN 978-3-540-74129-9. E-ISBN 978-3-540-74130-5. (doi:10.1007/978-3-540-74130-5)

Preview

Chitil, Olaf, Luo, Yong (2006) Proving the Correctness of Algorithmic Debugging for Functional Programs. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. .

Preview

Chitil, Olaf, Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. Electronic Notes in Theoretical Computer Science, 176 (1). pp. 39-63. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.10.032)

Preview

Chitil, Olaf, Luo, Yong (2006) Towards a Theory of Tracing for Functional Programs based on Graph Rewriting. In: Mackie, Ian, ed. Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. . Termgraph

Preview

Chitil, Olaf and McNeill, Dan and Runciman, Colin (2004) Lazy Assertions. In: Trinder, Phil and Michaelson, Greg and Pena, Ricardo, eds. Implementation of Functional Languages 15th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-19. ISBN 978-3-540-23727-3. E-ISBN 978-3-540-27861-0. (doi:10.1007/978-3-540-27861-0_1)

Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2001) Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In: Mohnen, Markus and Koopman, P., eds. Implementation of Functional Languages 12th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 176-193. ISBN 978-3-540-41919-8. E-ISBN 978-3-540-45361-1. (doi:10.1007/3-540-45361-X_11)

Preview

Chitil, Olaf, Runciman, Colin, Wallace, Malcolm (2000) Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems. In: Mohnen, Markus and Koopman, P., eds. Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages. . pp. 47-62. , Aachen, Germany

Preview

Chitil, Olaf, Runciman, Colin, Wallace, Malcolm (2002) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Draft papers of 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002. .

Preview

Chitil, Olaf, Runciman, Colin, Wallace, Malcolm (2003) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Lecture Notes in Computer Science. Implementation of Functional Languages: 14th International Workshop, IFL 2002. LNCS 2670 . pp. 165-181. Springer-Verlag Berlin, Berlin ISBN 978-3-540-40190-2. E-ISBN 978-3-540-44854-9. (doi:10.1007/3-540-44854-3_11)

Preview

Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm (2003) Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: Advanced Functional Programming 4th International School. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 59-99. ISBN 978-3-540-40132-2. E-ISBN 978-3-540-44833-4. (doi:10.1007/978-3-540-44833-4_3)

Preview

Clear, David, Ibbetson, Alan L., Collinson, Peter (1994) Exporting Home on Demand to PCS. In: Proceedings of the Eight Systems Administration Conference (LISA VIII). . pp. 139-147. Usenix Assoc ISBN 1-880446-64-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cobbah, W.G.K., Fairhurst, Michael (2000) Computer analysis of handwriting dynamics during dopamimetic tests in Parkinson's disease. In: Vajda, F., ed. Proceedings: 26TH Euromicro Conference. 1 &2. A414-A418. Ieee Computer Soc ISBN 0-7695-0781-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cohen, Dave, Watson, Phil (1991) An efficient representation of arithmetic for term rewriting. In: Book, Ronald V., ed. Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991. Lecture Notes in Computer Science , 488. pp. 240-251. Springer Verlag (doi:10.1007/3-540-53904-2_100) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Colchester, Alan C. F., Ourselin, Sébastien, Zhu, Yonggen, Bardinet, Eric, He, Yang, Roche, Alexis, Al-Sarraj, Safa, Nailon, Bill, Ironside, James, Ayache, Nicholas and others. (hide) (2000) 3-D reconstruction of macroscopic optical brain slice images. In: 3rd International Conference on Medical Image Computing and Computer-Assisted Intervention, Pittsburgh, Pennsylvania. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cole, James and Derrick, John and Milosevic, Zoran and Raymond, Kerry (2001) Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. In: Sloman, Morris and Lobo, Jorge and Lupu, Emil C., eds. Policies for Distributed Systems and Networks International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-17. ISBN 978-3-540-41610-4. E-ISBN 978-3-540-44569-2. (doi:10.1007/3-540-44569-2_1)

Preview Preview

Cooper, S. Barry, Lempp, Steffen, Watson, Philip (1989) Weak density and cupping in the d-r.e. degrees. Israel Journal of Mathematics, 67 (1). pp. 137-152. (doi:10.1007/BF02937291) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cornélioa, Márcio, Cavalcanti, Ana L. C., Sampaio, Augusto C.A. (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science , 70. pp. 311-330. Elsevier Science B V (doi:10.1016/S1571-0661(05)82564-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Coutinho, S.L., Reis, T.P.C., Cavalcanti, Ana L. C. (1999) A Tool for Teaching Refinement. In: 13th Brazilian Symposium on Software Engineering - Tools Session. . pp. 61-64. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cross, M. and Keech, M. and Liddell, Heather and Steel, John and Walshaw, C and Welch, Peter H. (1995) Implementing a strategy for the promotion of high performance computing in the UK. In: Hertzberger, Bob and Serazzi, Giuseppe, eds. High-Performance Computing and Networking International Conference and Exhibition. Lecture Notes in Computer Science . Springer, Berlin, Germany, p. 941. ISBN 978-3-540-59393-5. E-ISBN 978-3-540-49242-9. (doi:10.1007/BFb0046749) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

D

Daniels, Anthony C. (1997) Fran in action! Other. (Unpublished)

Preview Preview

Daniels, Anthony C. (1999) Fran poster. Other. (Unpublished)

Preview Preview

Daniels, Anthony C. (2000) Recursive Functions and Reactive Behaviours: The Essence of Fran. Other. Kent University (Unpublished)

Preview Preview

Daniels, Anthony C. (1999) A Semantics for Functions and Behaviours. Doctor of Philosophy (PhD) thesis, The University of Nottingham.

Preview Preview

Davie, Thomas, Chitil, Olaf (2006) Display of Functional Values for Debugging. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. . pp. 326-337. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7.

Preview

Davie, Thomas, Chitil, Olaf (2005) Hat-Delta --- One Right Does Make a Wrong. In: Runciman, Colin, ed. Hat Day 2005: work in progress on the Hat tracing system for Haskell. . pp. 6-11. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK

Preview

Davie, Thomas, Chitil, Olaf (2006) One Right Does Make a Wrong. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. .

Preview

Davies, Jim, Bryans, Jeremy W., Schneider, Steve A. (1996) Real-time LOSTOS and Timed Observations. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Dealmeida, F.A., Welch, Peter H. (1994) A Parallel Emulator for a Multi-Processor Dataflow Machine. In: DeGloria, A. and Jane, M.R. and Marini, D., eds. Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress. 41. pp. 259-272. I O S Press ISBN 90-5199-177-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Delaney, Aidan and Taylor, John and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Stapleton, Gem and Howse, John and Lee, John, eds. Diagrammatic Representation and Inference 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 172-187. ISBN 978-3-540-87729-5. E-ISBN 978-3-540-87730-1. (doi:10.1007/978-3-540-87730-1_18)

Preview

Dent, Alan, Hanna, Keith (1993) Reasoning about Array Structures Using a Dependently Typed Logic. In: Proc Computer Hardware Description Languages (CHDL-93). . pp. 195-212. Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John (2003) Timed CSP and Object-Z. In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds. ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science , 2651. pp. 300-318. Springer-Verlag ISBN 3-540-40253-5. (doi:10.1007/3-540-44880-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John (2000) A single complete refinement rule for Z. Journal of Logic and Computation, 10 (5). pp. 663-675. ISSN 0955-792X. (doi:10.1093/logcom/10.5.663)

Preview Preview

Derrick, John, Akehurst, David H., Boiten, Eerke Albert (2002) A framework for UML consistency. In: Kuzniarz, L. and Reggio, G. and Sourrouille, J.L. and Huzar, Z., eds. UML 2002 Workshop on Consistency Problems in UML-based Software Development. . pp. 30-45.

Preview

Derrick, John, Boiten, Eerke Albert (2002) Combining Component specifications in Object-Z and CSP. Formal Aspects of Computing, 13 (Part 2). pp. 111-127. ISSN 0934-5043. (doi:10.1007/s001650200002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John, Boiten, Eerke Albert (2008) More relational refinement: traces and partial relations. Electronic Notes in Theoretical Computer Science, 214 . pp. 255-276. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.012)

Preview

Derrick, John, Boiten, Eerke Albert (2001) Refinement in Z and Object-Z: Foundations and Advanced Applications. Formal Approaches to Computing and Information Technology . Springer ISBN 1-85233-245-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John, Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. E-ISBN 978-1-4471-5355-9. (doi:10.1007/978-1-4471-5355-9)

Preview

Derrick, John, Boiten, Eerke Albert (2000) Refinement of objects and operations in Object-Z. In: Smith, Scott F. and Talcott, Carolyn L., eds. Formal Methods for Open Object-based Distributed Systems IV. 49. pp. 257-277. Kluwer Academic Publishers ISBN 0-7923-7923-3.

Preview

Derrick, John, Boiten, Eerke Albert (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.043) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John, Boiten, Eerke Albert (1999) Separating component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. International Conference on Integrated Formal Methods 1999 (IFM'99). . pp. 293-312. Springer ISBN 18523310710.

Preview Preview

Derrick, John, Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50.

Preview Preview

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s001650050007)

Preview Preview

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. . pp. 399-406. Chapman & Hall, Paris ISBN 0-412-79770-4.

Preview Preview

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing . Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Weak refinement in Z. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. (doi:10.1007/BFb0027298)

+1 more...

Derrick, John, Bowman, Howard, Boiten, Eerke Albert, Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI. . pp. 501-516. Chapman & Hall, Kaiserslautern, Germany ISBN 0-412-79490-X.

Preview Preview

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED.

Preview Preview

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED.

Preview Preview

Derrick, John and Smith, Graeme (2004) Linear temporal logic and Z refinement. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 117-131. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/b98770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John, Smith, Graeme (2003) Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15 (1). pp. 1-27. ISSN 0934-5043. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John, Smith, Graeme (2000) Structural refinement in Object-Z / CSP. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods (IFM 2000). Lecture Notes in Computer Science , 1945. pp. 194-213. Springer ISBN 3-540-41196-8.

Preview Preview

Derrick, John and Sultana, R. (1993) The Specification in Z of the REX Protocol. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK

Preview Preview

Derrick, John, Wehrheim, Heike (2003) Using coupled simulations in non-atomic refinement. In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds. ZB 2003: Formal Specification and Development in Z and B. Lecture Notes in Computer Science , 2651. pp. 127-147. Springer ISBN 3-540-40253-5. (doi:10.1007/3-540-44880-2_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Dick, A.J.J., Watson, Phil (1991) Order-sorted term rewriting. Computer Journal, 34 (1). pp. 16-19. ISSN 0010-4620. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Duran, Adolfo and Sampaio, Ana and Cavalcanti, Augusto (2002) Refinement Algebra for Formal Bytecode Generation. In: Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 347-358. ISBN 978-3-540-00029-7. E-ISBN 978-3-540-36103-9. (doi:10.1007/3-540-36103-0_36) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Carvalho, Andre C.P.L.F., Fairhurst, Michael, Bisset, D.L. (1994) An Integrated Boolean Neural-Network for Pattern-Classification. Pattern Recognition Letters, 15 (8). pp. 807-813. ISSN 0167-8655. (doi:10.1016/0167-8655(94)90009-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Carvalho, Andre C.P.L.F., Fairhurst, Michael, Bisset, D.L. (1994) A Modular Boolean Architecture for Pattern Recognition. In: 1994 IEEE International Conference on Neural Networks. 1-7. pp. 4349-4352. I E E E ISBN 0-7803-1901-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

E

Evans, A.S., Holton, D.R.W., Lai, L.M., Watson, Phil (1997) A comparison of real-time formal specification languages. In: Duke, David J. and Evans, A.S., eds. Proceedings of the Northern Formal Methods Workshop, Ilkley, September 1996. Electronic Workshops in Computer Science . Springer Verlag ISBN 3-540-76117-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

F

Faridani, A., Dimond, Keith R. (1994) A Transputer-Based Vision System for Mobile Robots. In: Arabnia, Hamid R., ed. Transputer Research and Applications 7. 42. pp. 68-78. I O S Press ISBN 90-5199-187-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Felleisen, Matthias and Hanus, Michael and Thompson, Simon (1999) Proceedings of the 1999 Workshop on Functional and Declarative Programming in Education. Technical report. Rice University (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Findlay, G., Hirst, Timothy R. (1993) The Role of DSBA in Enterotoxin Biogenesis and Cell Viability. In: Freer, J. and Aitken, Robert and Alouf, J.E and Boulnois, G. and Falmagne, P. and Fehrenbach, F. and Montecucco, C. and Piemont, Y. and Rappuoli, R. and Wadstrom, Torkel and Witholt, B., eds. Bacterial Protein Toxins - Sixth European Workshop. 24. pp. 212-213. Gustav Fischer Verlag ISBN 3-437-11535-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Freitas, Leonardo (2002) JACK: A process algebra implementation in Java. Other masters thesis, Centro de Informatica, Universidade Federal de Pernambuco.

Preview

Freitas, Leonardo, Cavalcanti, Ana L. C., Sampaio, Augusto C.A. (2002) JACK: A Framework for Process Algebra Implementation in Java. In: Proceedings of XVI Simpósio Brasileiro de Engenharia de Software. . pp. 1-16. Sociedade Brasileira de Computacao, http://www.sbc.org.br/sbes

Preview

G

Gaizauskas, Robert, Cunningham, Hamish, Wilks, Yorick, Rodgers, Peter, Humphreys, Kevin (1996) GATE -- an Environment to Support Research and Development in Natural Language Engineering. In: Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-96). . pp. 58-66. IEEE Computer Society

Preview

Gaizauskas, Robert, Rodgers, Peter (1997) NL Module Evaluation in GATE. In: SALT '97 Workshop on Evaluation in Speech and Language Technology. .

Gaizauskas, Robert, Rodgers, Peter, Humphreys, Kevin (2001) Visual Tools for Natural Language Processing. Journal of Visual Languages and Computing, 12 (4). pp. 375-412. ISSN 1045-926X. (doi:10.1006/jvlc.2000.0203)

Preview

Giacomini, Luisa, Bordbar, Behzad, Holding, David J. (2000) Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. In: Proceedings of the 39th IEEE Conference on Decision and Control. IEEE Conference on Decision and Control - Proceedings , 1-5. pp. 2180-2185. , Sydney Convention and Exhibition Centre ISBN 0-7803-6638-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gomez, Rodolfo (2009) A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. In: Formal Modeling and Analysis of Timed Systems 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 179-194. ISBN 978-3-642-04367-3. E-ISBN 978-3-642-04368-0. (doi:10.1007/978-3-642-04368-0_15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gomez, Rodolfo (2009) Compositional detection of Zeno behavior in Timed Automata with Deadlines. Technical report. UKC

Preview

Gomez, Rodolfo (2009) From LIDL(m) to Timed Automata. Technical report. UKC

Preview

Gomez, Rodolfo (2006) Verification of Real-Time Systems: Improving Tool Support. Doctor of Philosophy (PhD) thesis, University of Kent.

Preview

Gomez, Rodolfo (2008) Verification of Timed Automata with Deadlines in Uppaal. Technical report. UKC

Preview

Gomez, Rodolfo, Augusto, Juan Carlos (2004) Durative Events in Active Databases. In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems. . pp. 306-311. , Porto, Portugal

Preview

Gomez, Rodolfo, Augusto, Juan Carlos, Acuña, Silvia.T. (2003) An Algorithm to Translate PARADIGM specifications to PLTL. In: Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03). . pp. 53-63. , Valdivia, Chile (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gomez, Rodolfo, Ausguto, Juan Carlos (2006) Expressiveness of Temporal Query Languages: On the Modelling of Intervals, Interval Relationships and States. Artificial Intelligence Review, 26 (4). pp. 269-289. ISSN 0269-2821. (doi:10.1007/s10462-007-9051-4)

Preview

Gomez, Rodolfo and Bowman, Howard (2006) Compositional Detection of Zeno Behaviour in Timed Automata. Technical report. Computing Laboratory, CT2 7NF Canterbury, Kent, UK

Preview

Gomez, Rodolfo and Bowman, Howard (2005) Discrete Timed Automata. Technical report. UKC

Preview

Gomez, Rodolfo, Bowman, Howard (2003) Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. In: Konig, H. and Heiner, M. and Wolisz, A., eds. Formal Techniques for Networked and Distributed Systems - FORTE 2003. Proceedings of the 23rd IFIP WG 6.1 International Conference. LNCS , 2767 (2767). pp. 177-192. Springer, Berlin, Germany ISBN 3-540-20175-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gomez, Rodolfo and Bowman, Howard (2007) Efficient Detection of Zeno Runs in Timed Automata. In: Raskin, J.-F. and Thiagarajan, P.S., eds. Formal Modeling and Analysis of Timed Systems 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 195-210. ISBN 978-3-540-75453-4. E-ISBN 978-3-540-75454-1. (doi:10.1007/978-3-540-75454-1_15)

Preview

Gomez, Rodolfo and Bowman, Howard (2003) A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Other. Kent University, Vienna, Austria (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gomez, Rodolfo, Bowman, Howard (2004) PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics, 14 (1-2). pp. 105-148. ISSN 1166-3081.

Preview

Griffin, Darren K., Mitchell, David, Thompson, Simon (2009) Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Computers and Education, 53 (2). pp. 532-539. ISSN 0360-1315. (doi:10.1016/j.compedu.2009.03.011)

Preview

H

Hanna, Keith (1998) Automatic Verification of Mixed-Level Logic Circuits. In: Gopalakrishna, O. and Windley, P., eds. Formal Methods in Computer-Aided Design. Lecture Notes in Computer Science , 1522. pp. 133-148. Springer-Verlag, Berlin, Proceedings FMCAS 98 ISBN 3-540-65191-8. (doi:10.1007/3-540-49519-3_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith (1999) Implementing Theorem Provers in a Purely Functional Style. Journal of Functional Programming, 9 (2). pp. 147-166. (doi:10.1017/S095679689900338X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith (2002) Interactive Visual Functional Programming. In: Jones, Simon L. Peyton, ed. Proc. Intnl Conf. on Functional Programming. International Conference on Functional Programming , 37. pp. 100-112. ACM ISBN 1-58113-487-8. (doi:10.1145/581478.581493) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith (1994) Reasoning about Real Digital Circuits. In: Proc Higher Order Logic Theorem Proving and its Applications. . Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil (1986) Purely Functional Implementation of a Logic. In: Proc. 8th Intnl. Conf. on Automated Deduction. . pp. 598-607. Springer Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil (1987) Specification and Verification of Digital Systems. In: Proc Conf on Logic and its Application to Computer Science. . pp. 73-143. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil (1985) Specification and Verification using Higher-Order Logic. In: Computer Hardware Description Languages and their Applications. . pp. 418-433. North Holland (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil (1986) Specification and Verification using Higher-Order Logic: A Case Study. In: Formal Aspects of VLSI Design. . pp. 179-213. North Holland (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil (1993) Strongly-Typed Theory of Structures and Behaviours. In: Correct Hardware Design and Verification Methods. . pp. 39-54. Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil (1992) The Veritas Design Logic; a User''s View. In: Proc. Theorem Provers in Circuit Design. . pp. 301-310. North Holland (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil, Longley, Mark (1989) Formal Synthesis of Digital Systems. In: Claesen, Luc J. M., ed. Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design. . pp. 532-548. Elsevier (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith, Daeche, Neil, Longley, Mark (1989) Veritas: A Specification Language based on Type Theory. In: Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects. . pp. 358-379. Springer Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Howells, Gareth (1994) Parallel Theorem Proving. In: Runciman, Colin and Wakeling, David, eds. Applications of Functional Programming. UCL Press, pp. 221-235. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Howells, Gareth (1994) The Veritas Proof Assistant. In: Runciman, Colin and Wakeling, David, eds. Applications of Functional Programming. UCL Press, pp. 125-204. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanus, Michael, Krishnamurthy, Shriram, Thompson, Simon (2002) Functional and Declarative Programming in Education 2002. In: Functional and Declarative Programming in Education (FDPE 2002). 0210. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hartel, Pieter H., Feeley, Marc, Jones, Richard E., Thomas, Stephen P. (1996) Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. Journal of Functional Programming, 6 (4). pp. 621-655. ISSN 0956--7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Heaton, Andrew and Hill, Pat and King, Andy (1998) Analysis of Logic Programs with Delay. In: Fuchs, Norbert, ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1463 . Springer-Verlag, pp. 148-167. ISBN 978-3-540-65074-4. (doi:10.1007/3-540-49674-2_8)

Preview

Heaton, Andrew, King, Andy (2000) Abstracting Builtins for Groundness Analysis. University of Kent, School of Computing, Computing Laboratory, 8 pp.

Preview

Hierons, R., Derrick, John (2000) Editorial: Special issue on specification-based testing. Software Testing Verification & Reliability, 10 (4). pp. 201-202. ISSN 0960-0833. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hill, Pat, King, Andy (1998) Detecting and Exploiting Determinacy in Logic Programs. Computational Logic Newsletter, 4 (1). pp. 100-101. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hill, Steve (1994) Continuation Passing Combinators for Parsing Precedence Grammars. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview Preview

Hill, Steve (1994) The Functional Simulation of a Simple Microprocessor. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview Preview

Hill, Steve (1995) The Lazy Z-Buffer. Information Processing Letters, 55 (2). pp. 65-70. ISSN 0020-0190. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hill, Steve (1994) The Lazy Z-Buffer. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview Preview

Hill, Steve (1995) Parallel imperative functional programming. In: Nixon, Paddy, ed. Transputer and Occam Developments. 44. pp. 33-46. I O S Press ISBN 90-5199-222-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hill, Steve, Thompson, Simon (1995) Miranda in Isabelle. In: Paulson, Lawrence C., ed. Preceedings of the first Isabelle Users Workshop. University Of Cambridge Computer Laboratory Technical Reports Series (397). pp. 122-135.

Preview Preview

Hobbs, M.H.W., Rodgers, Peter (1998) Representing Space: A Hybrid Genetic Algorithm for Aesthetic Graph Layout. In: FEA'98 Frontiers in Evolutionary Algorithms in Proceedings of JCIS'98 The Fourth Joint Conference on Information Sciences. 2. pp. 415-418.

Preview

Hojjatoleslami, Ali, Kittler, Josef (1998) Region Growing: A New Approach. IEEE Transactions on Image Processing, 7 (7). 1079 -1084. ISSN 1057-7149. (doi:10.1109/83.701170) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim (1992) Remark on Algorithm-540. Acm Transactions on Mathematical Software, 18 (3). pp. 343-344. ISSN 0098-3500. (doi:10.1145/131766.131773) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim and Morse, David R. (1992) Cumulative Index to the ACM Algorithms. Technical report. , University of Kent, Canterbury, UK

Preview Preview

Howe, Jacob M. (2001) Proof Search in Lax Logic. Mathematical Structures in Computer Science, 11 (4). pp. 573-588. ISSN 0960-1295. (doi:10.1017/S0960129501003334)

Preview Preview

Howe, Jacob M. (1999) Proof Search in Lax Logic. Technical report.

Preview Preview

Howe, Jacob M. (1997) Two Loop Detection Mechanisms: A Comparison. In: Galmiche, D., ed. Automated Reasoning with Analytic Tableaux and Related Methods International Conference. Lecture Notes in Artificial Intelligence . Springer, Berlin, Germany, pp. 188-200. ISBN 978-3-540-62920-7. E-ISBN 978-3-540-69046-7. (doi:10.1007/BFb0027414)

Preview +1 more...

Howe, Jacob M., King, Andy (2002) Correctness of Set-Sharing with Linearity. University of Kent, School of Computing, Canterbury, 5 pp.

Preview

Howe, Jacob M. and King, Andy (2001) Positive Boolean Functions as Multiheaded Clauses. In: Codognet, Philippe, ed. International Conference on Logic Programming. Lecture Notes in Computer Science, 2237 . Springer-Verlag, London, pp. 120-134. ISBN 3-540-42935-2. (doi:10.1007/3-540-45635-X_16)

Preview

Howe, Jacob M., King, Andy (1999) A Semantic Basis for Specialising Domain Constraints. University of Kent, School of Computing, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, 12 pp.

Preview

Howe, Jacob M. and King, Andy (1999) Specialising Finite Domain Programs using Polyhedra. In: Bossi, Annalisa, ed. Lecture Notes In Computer Science. Lecture Notes in Computer Science, 1817 . Springer-Verlag, pp. 118-135. ISBN 978-3-540-67628-7.

Preview

Howe, Jacob M., King, Andy (2001) Widening BDDs. University of Kent, School of Computing, 9 pp.

Preview

Howells, Gareth, Fairhurst, Michael, Bisset, D.L. (1994) BCN - an Architecture for Weightless Ram-Base Neural Networks. In: 1994 IEEE International Conference on Neural Networks. 1-7. pp. 1386-1390. I E E E ISBN 0-7803-1901-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Howells, Gareth, Fairhurst, Michael, Bisset, D.L. (1995) PCN: The Probabilistic Convergence Network. In: IEEE International Conference on Neural Networks Proceedings. 1-6. pp. 1211-1214. IEEE (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Howells, Gareth, Fairhurst, Michael, Rahman, Fuad (2000) An exploration of a new paradigm for weightless RAM-based neural networks. Connection Science, 12 (1). pp. 65-90. ISSN 0954-0091. (doi:10.1080/095400900116203) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

J

Johnson, Christopher W., Telford, Alastair J. (1996) Extending the Application of formal methods to analyse human error and system failure during accident investigations. Software Engineering Journal, 11 (6). pp. 355-365. ISSN 0268-6961. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Johnson, Colin G., Marsh, Duncan (1996) Modelling Robot Manipulators in a CAD Environment Using B-Splines. In: Bourbakis, Nikolaos G., ed. Proceedings of the 1996 IEEE Joint Symposia on Intelligence and Systems. . pp. 194-201. IEEE Press ISBN 0-8186-7728-7.

Preview Preview

Jones, Richard E. (1996) Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley and Sons, 403 pp. ISBN 0-471-94148-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1989) On the Implementation of Functional Programming Languages. Other masters thesis, UKC Computing Laboratory. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (2000) Session 3: Overview. In: Kirby, G.N.C. and Dearle, A. and Sjoberg, D.I.K., eds. Persistent Object Systems: Design, Implementation, and Use 9th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 84-86. ISBN 978-3-540-42735-3. E-ISBN 978-3-540-45498-4. (doi:10.1007/3-540-45498-5_8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1990) Tail Recursion Without Space Leaks. Technical report. UKC, University of Kent, Canterbury, UK 72*. (doi:72*) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1992) Tail recursion without Space Leaks. Journal of Functional Programming, 2 (1). pp. 73-79. ISSN 0956--7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1993) Zed --- a Z specification language Type 1 font. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1995) Zed --- a Z specification language font for PostScript Type 1 and TrueType. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and Jul, Eric (1999) Garbage Collection. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and Jul, Eric (2000) Introduction to Memory Management and Garbage Collection. ACM SIGPLAN. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and Lins, Rafael D. (1992) Cyclic Weighted Reference Counting without Delay. Technical report. UKC, University of Kent, Canterbury, UK 28-92*. (doi:28-92*) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E., Lins, Rafael D. (1993) Cyclic Weighted Reference Counting without Delay. In: Proceedings of PARLE'93. . pp. 712-715. ISBN 0-387-56891-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

K

Kaganovsky, Alexander (1999) Exact Complex Arithmetic in an Imaginary Radix System. Technical report.

Preview Preview

Kahrs, Stefan (1996) About the completeness of type systems. In: UNSPECIFIED.

Preview Preview

Kahrs, Stefan (1993) Compilation of combinatory reduction systems. In: Heering, Jan and Meinke, Karl and Möller, Bernhard and Nipkow, Tobias, eds. Selected Papers from the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting. Lecture Notes in Computer Science , 816. pp. 169-188. Springer ISBN 3-540-58233-9.

Preview

Kahrs, Stefan (1995) Confluence of Curried Term-Rewriting Systems. Journal of Symbolic Computation, 19 . pp. 601-623.

Preview Preview

Kahrs, Stefan (1994) First-class polymorphism for ML. In: UNSPECIFIED.

Preview Preview

Kahrs, Stefan (2006) Gene Expression Programming with Pre-Order Traversals. In: Sirlantzis, Konstantinos, ed. Proceedings of the 6th International Conference on Recent Advances in Soft Computing. . pp. 84-89. ISBN 1-902671-42-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kahrs, Stefan (2006) Genetic Programming with Primitive Recursion. In: Keijzer, Maarten, ed. Proceedings of the 8th annual conference on Genetic and evolutionary computation. 1. pp. 941-942. ACM Press, New York, New York (USA) ISBN 1-59593-186-4. (doi:10.1145/1143997.1144160) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kahrs, Stefan (2007) Infinitary rewriting: meta-theory and convergence. Acta Informatica, 44 (2). pp. 91-121. ISSN 0001-5903. (doi:10.1007/s00236-007-0043-2)

Preview

Kahrs, Stefan (1997) Lecture Notes on Formal Program Development. Technical report. University of Edinburgh

Preview Preview

Kahrs, Stefan (1996) Limits of ML-definability. In: UNSPECIFIED.

Preview Preview

Kahrs, Stefan (1993) Mistakes and Ambiguities in the definition of Standard ML. Technical report. University of Edinburgh

Preview Preview

Kahrs, Stefan (2009) Modularity of Convergence in Infinitary Rewriting. In: Treinen, Ralf, ed. Rewriting Techniques and Applications 20th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 179-193. ISBN 978-3-642-02347-7. E-ISBN 978-3-642-02348-4. (doi:10.1007/978-3-642-02348-4_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kahrs, Stefan (1992) Polymorphic Type Checking by Interpretation of Code. Technical report.

Preview Preview

Kahrs, Stefan (2001) Red-black trees with types. Journal of Functional Programming, 11 (4). pp. 425-432. (doi:10.1017/S0956796801004026) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kahrs, Stefan (1995) Towards a domain theory for termination proofs. In: UNSPECIFIED.

Preview Preview

Kahrs, Stefan (1992) Unlimp -- uniqueness as a leitmotiv for implementation. In: Bruynooghe, Maurice and Wirsing, Martin, eds. Programming Language Implementation and Logic Programming 4th International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 115-129. ISBN 978-3-540-55844-6. E-ISBN 978-3-540-47297-1. (doi:10.1007/3-540-55844-6_131)

Preview Preview

Kahrs, Stefan (2003) Well-Going Programs Can Be Typed. In: Hofmann, Martin, ed. Typed Lambda Calculi and Applications 6th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 167-179. ISBN 978-3-540-40332-6. E-ISBN 978-3-540-44904-1. (doi:10.1007/3-540-44904-3_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kahrs, Stefan (1995) The variable containment problem. In: UNSPECIFIED.

Preview Preview

Kahrs, Stefan and Sannella, Don and Tarlecki, Andrzej (1994) The definition of Extended ML. Technical report. University of Edinburgh (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Kahrs, Stefan, Sannella, Don, Tarlecki, Andrzej (1997) The semantics of Extended ML: A gentle introduction. Theoretical Computer Science, 173 (2). pp. 445-484. ISSN 0304-3975.

Preview Preview

Kalli, Kyriacos, Rao, Yun Jiang, Webb, David J., Jackson, David A. (1995) Potential of fibre optic point and distributed fibre optic sensors for structural monitoring. In: Augousti, A.T., ed. Sensors and their Aplications VII. . pp. 184-189. Iop Publishing Ltd ISBN 0-7503-0331-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kelner, J., Cavalcanti, Ana L. C., Pardo, A. (1989) LindA: A Language for Automated Authoring of Hypertexts. In: 3rd Brazilian Symposium on Sofrware Engineering. . pp. 124-136. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kemp, Bob and King, Andy and Soper, Paul (1994) Continuation Compilation for Concurrent Logic Programming. In: Crespo, Alfons, ed. Symposium on Artificial Intelligence in Real-time Control. Pergamon, pp. 299-306. ISBN 0-08-042236-5.

Preview

Kemp, Zarine P. (1995) Multimedia and Spatial Information Systems. IEEE Multimedia, 2 (4). pp. 68-76. ISSN 1070-986X. (doi:10.1109/93.482297) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kemp, Zarine P., Kowalczyk, Arek (1994) Incorporating the Temporal Dimension in a GIS. In: Worboys, Michael F., ed. Innovations in GIS - Selected Papers from the First National Conferece on Gis Research UK. . pp. 89-103. Taylor & Francis Ltd ISBN 0-7484-0140-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kettle, Neil (2008) Anytime Algorithms for ROBDD Symmetry Detection and Approximation. Doctor of Philosophy (PhD) thesis, Computing Laboratory.

Preview

Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. Asia and South Pacific Design Automation Conference. IEEE Press, pp. 243-248. ISBN 0-7803-9451-8. (doi:10.1145/1118299.1118364)

Preview

Kettle, Neil, King, Andy (2006) Proof of New Decompositional Results for Generalized Symmetries (appendix for journal paper). University of Kent, School of Computing, University of Kent, Canterbury, Kent, CT2 7NF, 10 pp.

Preview

Kettle, Neil, King, Andy (2006) Proof of New Implicational Relationships between Generalized Symmetries (appendix for journal paper). University of Kent, School of Computing, University of Kent, Canterbury, Kent, CT2 7NF, 11 pp.

Preview

King, Andrew C. (2002) Removing GC Synchronisation. In: OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications (Companion)R. SIGPLAN . pp. 112-113. ACM, Seattle, WA ISBN 1-58113-626-9.

Preview

King, Andy (1994) A Framework for Freeness Analysis. In: Tick, Evan and Succi, G., eds. Implementations of Logic Programming Systems. Implementations of Logic Programming Systems . Kluwer Academic Publishers, Dordrecht, pp. 137-149. ISBN 0-7923-9457-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

King, Andy, ed. (2008) Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (4915). Springer-Verlag, 219 pp. ISBN 978-3-540-78768-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

King, Andy (2008) Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry. In: Arenas, Puri and Zanardini, Damiano, eds. Proceedings on Logic-Based Methods in Programming Envrionments. . pp. 1-7. CoRR, Udine (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

King, Andy (1995) Share x Free Revisited. University of Kent, School of Computing, University of Kent, Canterbury, UK

Preview

King, Andy (1994) A Synergistic Analysis for Sharing and Groundness which traces Linearity. In: Sannella, Don, ed. European Symposium on Programming. Lecture Notes in Computer Science, 788 . Springer-Verlag, pp. 363-378. ISBN 3-540-57880-3.

Preview

King, Andy, Bryans, Jeremy W. (1998) Using Probability to Reason about Soft Deadlines. University of Kent, School of Computing, 7 pp.

Preview

King, Andy, Longley, Mark (1995) Abstract Matching Can Improve on Abstract Unification. University of Kent, School of Computing, University of Kent, Canterbury, UK

Preview

King, Andy, Lu, Lunjin (2001) A Backward Analysis for Constraint Logic Programs (appendix for journal paper). University of Kent, School of Computing, University of Kent at Canterbury, Kent, CT2 7NF, UK, 20 pp.

Preview

King, Andy, Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs (appendix for conference submission). University of Kent, School of Computing, University of Kent

Preview

King, Andy and Shen, Kish and Benoy, Florence (1997) Lower-bound Time-Complexity Analysis of Logic Programs. In: Maluszynski, Jan, ed. Proceedings of the 1996 International Symposium. Logic Programming . MIT Press, Cambridge, Massachusetts, USA, pp. 261-276. ISBN 0-262-63180-6.

Preview

King, Andy and Soper, Paul (1994) Depth-k Sharing and Freeness. In: Van Hentenryck, Pascal, ed. Proceedings of the Eleventh International Conference on Logic Programming. Logic Programming . MIT Press, Cambridge, Massachusetts, USA, pp. 553-568. ISBN 0-262-72022-1.

Preview

King, Andy and Soper, Paul (1991) Reducing Scheduling Overheads for Concurrent Logic Programs. In: Boley, Harold and Richter, Michael, eds. Processing Declarative Knowledge. Lecture Notes in Artificial Intelligence (567). Springer-Verlag, pp. 279-286. ISBN 3-540-55033-X.

Preview

King, Andy and Soper, Paul (1992) Serialisation Analysis of Concurrent Logic Programs. In: Kirchner, Hélène and Levi, Giorgio, eds. Algebraic and Logic Programming. Lecture Notes in Computer Science, 632 . Springer, pp. 322-334. ISBN 3-540-55873-X.

Preview

King, Peter, Schmitz, Patrick, Thompson, Simon (2004) Behavioural Reactivity and Real Time Programming in XML: Functional Programming meets SMIL animation. In: Vion-Dury, Jean-Yves, ed. ACM Symposium on Document Engineering 2004. . pp. 57-66. ACM New York, NY, USA ISBN 1-58113-938-1. (doi:10.1145/1030397.1030411)

Preview

Kittler, Josef, Hojjatoleslami, Ali, Windeatt, T. (1997) Strategies for combining classifiers employing shared and distinct pattern representations. Pattern Recognition Letters, 18 (11-13). pp. 1373-1377. ISSN 0167-8655. (doi:10.1016/S0167-8655(97)00095-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

L

Laemmel, Ralf, Thompson, Simon, Kaiser, Markus (2008) Programming errors in traversal programs over structured data. In: Vinju, Jurgen and Johnstone, Adrian, eds. 8th Workshop on Language Description, Tools and Applications. ENTCS . Springer (doi:10.1016/j.entcs.2009.09.045)

Preview

Lai, Luming, Watson, Phil (1997) A case study in Timed CSP: the railroad crossing problem. In: Maler, O., ed. Proceedings of the International Workshop on Hybrid and Real-Time Systems (HART 97). Lecture Notes in Computer Science , 1201. pp. 69-74. Springer Verlag ISBN 3-540-62600-X. (doi:10.1007/BFb0014714) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lange, Steffen, Watson, Phil (1994) Machine discovery in the presence of incomplete or ambiguous data. In: Jantke, Klaus P., ed. Algorithmic Learning Theory, Proceedings of the 5th International Workshop, Rheinhardsbrunn, Germany, 1994. Lecture Notes in Artificial Intelligence , 872. pp. 438-452. Springer Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Li, Huiqing (2006) Refactoring Haskell Programs. Doctor of Philosophy (PhD) thesis, University of Kent.

Preview

Li, Huiqing, Reinke, Claus, Thompson, Simon (2003) Tool Support for Refactoring Functional Programs. In: Jeuring, Johan, ed. ACM SIGPLAN 2003 Haskell Workshop. . pp. 27-38. ISBN 1-58113-758-3.

Preview

Li, Huiqing, Thompson, Simon (2008) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming(TFP). . , The Netherlands

Preview

Li, Huiqing, Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09). . , Savannah, Georgia, USA

Preview

Li, Huiqing, Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: Penta, Massimiliano Di and Knodel, Jens, eds. Third International Workshop on Detection of Software Clones. . 1pp. , Kaiserslautern, Germany

Preview

Li, Huiqing, Thompson, Simon (2006) A Comparative Study of Refactoring Haskell and Erlang Programs. In: Penta, Massimiliano Di and Moonen, Leon, eds. Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006). 6. pp. 197-206. IEEE Computer Society, Washington DC ISBN 0-7695-2353-6. (doi:10.1109/SCAM.2006.8)

Preview

Li, Huiqing, Thompson, Simon (2005) Formalisation of Haskell Refactorings. In: UNSPECIFIED.

Preview

Li, Huiqing and Thompson, Simon (2007) Testing Erlang Refactorings with QuickCheck. In: Lecture Notes In Computer Science archive. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 19-36. ISBN 978-3-540-85372-5. E-ISBN 978-3-540-85373-2. (doi:10.1007/978-3-540-85373-2_2)

Preview

Li, Huiqing, Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Partial Evaluation and Program Manipulation. . Assoc of Computing Machinery, San Francisco, California, USA ISBN 978-1-59593-977-7.

Preview

Li, Huiqing, Thompson, Simon (2008) Tool Support for Refactoring Functional Programs. In: Dig, Danny and Fuhrer, Robert and Johnson, Ralph, eds. Proceedings of the Second ACM SIGPLAN Workshop on Refactoring Tools. . 4pp. Assoc Computing Machinery, Nashville, Tennessee, USA ISBN 978-1-59593-977-7.

Preview

Li, Huiqing, Thompson, Simon, Lövei, László, Horváth, Zoltán, Kozsik, Tamás, Víg, Anikó, Nagy, Tamás (2006) Refactoring Erlang Programs. In: The Proceedings of 12th International Erlang/OTP User Conference. . , Stockholm, Sweden

Preview

Li, Huiqing, Thompson, Simon, Orosz, George, Töth, Melinda (2008) Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. In: Horváth, Zoltán and Teoh, Tee, eds. Proceedings of the Seventh ACM SIGPLAN Erlang Workshop. . 12pp. ACM Press, NY, USA ISBN 978-1-60558-065-4.

Preview

Li, Huiqing, Thompson, Simon, Orosz, György, Töth, Melinda (2008) Refactoring with Wrangler, updated. In: UNSPECIFIED.

Preview

Li, Huiqing, Thompson, Simon, Reinke, Claus (2005) The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science, 141 (4). pp. 29-34. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.02.053)

Preview

Li, Jia, Li, Huiqing, Jia, Xiumei (2004) A Naive Bayes Learning Based Website Reconfiguration System. In: Proceedings of the 2004 International Conference on Machine Learning and Applications. . pp. 18-25. IEEE ISBN 0-7803-8823-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Li, Xuan, King, Andy, Lu, Lunjin (2006) Correctness of Closure Collapsing (appendix to conference submission). Lecture Notes in Computer Science, 4079/2. Report number: 10.1007/11799573_13. University of Kent, School of Computing, University of Kent, Canterbury, CT2 7NF ISBN 978-3-540-36635-5. (doi:10.1007/11799573_13)

Preview

Linington, Peter F., Derrick, John, Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. . pp. 93-114. Chapman & Hall, Darmstadt, Germany

Preview Preview

Lins, Rafael D. (1989) Cyclic Reference Counting with Local Mark-Scan. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. (1992) Generational Cyclic Reference Counting. Technical report. Elsevier Science BV, University of Kent, Canterbury, UK

Preview Preview

Lins, Rafael D. (1992) A Multi-Processor Shared Memory Architecture. Technical report. UKC, University of Kent, Canterbury, UK

Preview Preview

Lins, Rafael D. (1992) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK

Preview Preview

Lins, Rafael D. (1994) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. (1991) A Shared Memory Architecture for Parallel Cyclic Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. and Jones, Richard E. (1991) Cyclic Weighted Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D., Jones, Richard E. (1993) Cyclic Weighted Reference Counting. In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria. . pp. 369-382. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. and Lira, Bruno O. (1992) GammaCMC: A Novel Way of Compiling Functional Languages. Technical report. Chapman Hall Limited, University of Kent, Canterbury, UK

Preview Preview

Lins, Rafael D. and Thompson, Simon (1990) Implementing SASL using Categorical Multi-combinators. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D., Thompson, Simon, Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:10.1017/S0956796800000939)

Preview Preview

Lins, Rafael D. and Vasques, M.A. (1991) A Comparative Study of Algorithms for Cyclic Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lu, Lunjin and King, Andy (2002) Backward Type Inference Generalises Type Checking. In: Hermenegildo, Manuel V. and Puebla, German, eds. Static Analysis 9th International Symposium. Lecture Notes in Computer Science, 2477 . Springer, Berlin, Germany, pp. 85-101. ISBN 978-3-540-44235-6. E-ISBN 978-3-540-45789-3. (doi:10.1007/3-540-45789-5_9)

Preview

Luo, Yong (2005) New eta-reduction and Church-Rosser. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK

Preview

Luo, Yong (2005) A Type Theory with Partially Defined Functions. Technical report. UKC, University of Kent, Canterbury, Kent, UK

Preview

Luo, Yong (2005) Yet Another Normalisation Proof for Martin-Lof's Logical Framework - Terms with correct arities are strongly normalising. Technical report. , University of Kent, Canterbury, Kent, UK

Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging for Locally Defined Functions. Technical report. University of Kent, Canterbury, Canterbury

Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging with Cyclic Traces of Lazy Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent

Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic debugging and trusted functions. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent

Preview

Luo, Yong, Chitil, Olaf (2006) Replacing Unevaluated Parts in the Traces of Functional Programs. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. . pp. 304-325. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7.

Preview

Luo, Yong and Chitil, Olaf (2007) Replacing unevaluated parts in the traces of functional programs. Technical report. University of Kent, Canterbury, Kent, Canterbury, Kent

Preview

M

Martin, Jon and King, Andy (1996) Typed Norms for Typed Logic Programs. In: Gallagher, John, ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1207 . Springer-Verlag, pp. 224-238. ISBN 3-540-62718-9. (doi:10.1007/3-540-62718-9_13)

Preview

Martin, Jonthan C. and King, Andy (1997) Generating Efficient, Terminating Logic Programs. In: Bidoit, Michel and Dauchet, Max, eds. Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer Verlag, pp. 173-184. ISBN 3-540-62781-2.

Preview

Martin, U.H. and Cohen, Dave and Lai, M.K.F. and Norrie, K.J. and Watson, Phil (1990) Case studies in equational reasoning. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, SRL and Cavalcanti, Ana L. C. (1992) MooZ Case Studies. In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, Silvio Lemos (1991) Modular Extensions to Z. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, Silvio Lemos (1991) On the Use of Structured Inductive Semantics in Source-to-Source Translation of Programming Languagues. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, Silvio Lemos, Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Nicholls, JE, ed. Z User Workshop. . pp. 173-192. Springer-Verlag, Oxford, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, Silvio Lemos and Cavalcanti, Ana L. C. and Santos, Cåssio Souza (1994) The Unix Filing System: A MooZ Specification. In: Lano, Kevin and Haughton, Howard, eds. Object Oriented Specification Case Studies. Prentice-Hall, pp. 80-109. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meneses, L.C.S., Soares, S., Meneses, J.B., Moura, Hermano, Cavalcanti, Ana L. C. (2000) A Framework for Defining Object-oriented Languages using Action Semantics. In: 4th Brazilian Symposium on Programming Languages. . pp. 172-185. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Miarka, Ralph (2002) Inconsistency and Underdefinedness in Z Specifications. Doctor of Philosophy (PhD) thesis, University of Kent.

Preview Preview

Miarka, Ralph and Boiten, Eerke Albert and Derrick, John (2000) Guards, Preconditions, and Refinement in Z. In: Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve, eds. ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 286-303. ISBN 978-3-540-67944-8. E-ISBN 978-3-540-44525-8. (doi:10.1007/3-540-44525-0_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Miarka, Ralph and Derrick, John and Boiten, Eerke Albert (2002) Handling Inconsistencies in Z using Quasi-Classical Logic. In: Berto, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds. ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 204-225. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Moreau, Luc, Dickman, Peter, Jones, Richard E. (2005) Birrell's Distributed Reference Listing Revisited. ACM Transactions on Programming Languages and Systems (TOPLAS), 27 (6). pp. 1-52. ISSN 0164-0925.

Preview

Moseley, Ralph (2002) Transcending Static Deployment of Circuits: Dynamic Run-Time Systems and Mobile Hardware Processes for FPGAs. Doctor of Philosophy (PhD) thesis, Computing Laboratory.

Preview

Musicante, Martin A. and Lins, Rafael D. (1992) GMC A Graph Categorical Multi-Combinator Machine. Technical report. , University of Kent, Canterbury, UK

Preview Preview

Mutton, Paul, Rodgers, Peter (2002) Demonstration of a Preprocessor for the Spring Embedder. In: Zeytovnian, R. and Kobourov, R.K. and Goodrich, M.T. and Kobourov, S.G., eds. GD 2002, LNCS 2528. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence . pp. 374-375. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin ISBN 978-3-540-00158-4.

Preview

Mutton, Paul, Rodgers, Peter (2002) Spring Embedder Preprocessing for WWW Visualization. In: Proceedings Information Visualization 2002. . pp. 744-749. IEEE, Canada/USA ISBN 0-7695-1656-4. (doi:10.1109/IV.2002.1028861)

Preview

N

Nalbantis, D., Walczowski, Les T., Waller, Winston A.J. (1996) O-2 ADL: An object-oriented analog VLSI design language. In: Zhang, Qingling and Tang, Ting-Ao and Yu, Huihua, eds. 1996 2nd International Conference on Asic, Proceedings. . pp. 27-30. Shanghai Scientific & Technical Literature Publ ISBN 7-5439-0940-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nguyen-Viet, Chau (2004) Transformation in HaRe. Technical report. kent uni, University of Kent, Canterbury, Kent, UK

Preview

Nuka, Gift and Woodcock, Jim (2006) Mechanising a Unifying Theory. In: Unifying Theories of Programming. Lecture Notes in Computer Science, 4010 . Springer, Berlin, pp. 217-35. ISBN 978-3-540-34750-7. (doi:10.1007/11768173_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

O

Oliveira, Marcel V. M. (2002) ArcAngel: a Tactic Language for Refinement and its Tool Support. Other masters thesis, Centro de Informatica, Universidade Federal de Pernambuco, Brazil.

Oliveira, Marcel V. M., Cavalcanti, Ana L. C. (2000) Tactics of Refinement. In: 14th Brazilian Symposium on Software Engineering. . pp. 117-132.

Preview

Oliver, Ian (2001) Animating Object Oriented Conceptual Models. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

of Program Construction group, Mathematics (1995) Fixed-Point Calculus. Information Processing Letters, 53 (3). pp. 131-136. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

P

Partsch, H.A., Boiten, Eerke Albert (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: Möller, Bernhard, ed. Constructing Programs from Specifications : Proceedings of the IFIP TC2/WG 2.1 Working Conference. . pp. 71-89. North-Holland, Amsterdam ISBN 0-444-89184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian, Thompson, Simon, Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. . pp. 279-286. ISBN 1-891706-17-9.

Preview

Pearson, Justin and Bryans, Jeremy W. (1998) Constraint Oriented Specification with CSP and Real Time Temporal Logic. Technical report. University of Kent

Preview Preview

Poll, Erik (1998) Behavioural Subtyping for a Type-Theoretic Model of Objects. In: FOOL5: Fifth International Workshop on Foundations of Object-Oriented Languages. .

Preview Preview

Poll, Erik (1998) Expansion Postponement for Normalising Pure Type Systems. Journal of Functional Programming, 8 (1). pp. 89-96. ISSN 0956-7968.

Preview Preview

Poll, Erik (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto. RIMS Lecture Notes 1023 .

Preview Preview

Poll, Erik (1997) Subtyping and Inheritance for Inductive Types. In: Proceedings of TYPES'97 Workshop on Subtyping, inheritance and modular development of proofs, Durham, UK. .

Preview +1 more...

Poll, Erik (1997) System F with Width-subtyping and Record Updating. In: Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan. Lecture Notes In Computer Science , 1281. pp. 439-457. Springer LNCS ISBN 3-540-63388-X.

Preview +1 more...

Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University

Preview Preview

Poll, Erik and Thompson, Simon (1999) The Type System of Aldor. Technical report. , Kent CT2 7NF, UK

Preview Preview

Printezis, Tony, Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. In: Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications. SIGPLAN Notices . pp. 343-358. ACM Press, Seattle, WA. ISBN 1581124711. (doi:10.1145/582419.582451)

Preview

Printezis, Tony and Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. Technical report. Computing Laboratory, UKC, Canterbury 1426. (doi:1426)

Preview Preview

R

Ramalho, Geber L., Barros, Flavia, Cavalcante, Sergio, Cavalcanti, Ana L. C. (1999) Cyber Rally: An Experience of Democratic Use of the Internet. In: 8th International Conference on Human-Computer Interaction: Communication, Cooperation, and Application Design, 22-26 August 1999, Munich, Germany. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ratnarajah, Nagulan and Simmons, Andy and Davydov, Oleg and Hojjatoleslami, Ali (2010) A Novel White Matter Fibre Tracking Algorithm Using Probabilistic Tractography and Average Curves. In: Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 666-673. ISBN 978-3-642-15704-2. E-ISBN 978-3-642-15705-9. (doi:10.1007/978-3-642-15705-9_81) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Reinke, Claus (2001) GHood -- Graphical Visualisation and Animation of Haskell Object Observations. In: Hinze, Ralf, ed. ACM Sigplan Haskell Workshop, Firenze, Italy. Electronic Notes in Theoretical Computer Science , 59. Elsevier Science

Preview Preview

Rizzo, Mike (1994) Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++. Sigplan Notices, 29 (3). pp. 33-35. ISSN 0362-1340. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Roberts, Jonathan C., Boukhelifa, Nadia, Rodgers, Peter (2002) Multiform Glyph Based Search Result Visualization. In: Proceeding of the Conference on Information Visualization 2002. . pp. 549-554. IEEE (doi:10.1109/IV.2002.1028828)

Preview

Rodgers, Peter (2000) Constructs for Programming with Graph Rewrites. In: Ehrig, Hartmut and Taentzer, Gabi, eds. GRATRA 2000: Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems. . pp. 59-66.

Preview

Rodgers, Peter (2000) An XML Specification for Grrr Programs. In: University of Paderborn GT Exchange Formats. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rodgers, Peter, Gaizauskas, Robert, Humphreys, Kevin, Cunningham, Hamish (1997) Visual Execution and Data Visualisation in Natural Language Processing. In: VL'97 IEEE Symposium on Visual Languages. VL . pp. 342-347. IEEE Computer Society ISBN 0-8186-8144-6.

Preview

Rodgers, Peter, King, P.J.H. (1997) A Graph Rewriting Visual Language for Database Programming. Journal of Visual Languages and Computing, 8 (6). pp. 641-674. ISSN 1045-926X. (doi:10.1006/jvlc.1997.0033)

Preview

Rodgers, Peter, Vidal, Natalia (2000) A Demonstration of the Grrr Graph Rewriting Programming Language. In: Proceedings of Agtive99: Applications of Graph Transformations with Industrial Relevance. Lecture Notes In Computer Science (LNCS) , 1779. pp. 473-480. Springer-Verlag

Preview

Rodgers, Peter, Vidal, Natalia (2000) Graph Algorithm Animation with Grrr. In: Agtive99: Applications of Graph Transformations with Industrial Relevance. Lecture Notes in Computer Science , 1779. pp. 379-394. Springer-Verlag

Preview

Rodgers, Peter, Vidal, Natalia (1999) Pragmatic Graph Rewriting Modifications. In: Proceedings of the 1999 IEEE Symposium on Visual Languages. . pp. 206-207. IEEE Computer Society ISBN 0-7695-0216-4. (doi:10.1109/VL.1999.795904)

Preview

Rodrigues, Helena C.C.D. and Jones, Richard E. (1997) Cyclic Distributed Garbage Collection with Group Merger. Technical report. University of Kent at Canterbury 17-97. (doi:17-97)

Preview Preview

Rodrigues, Helena C.C.D., Jones, Richard E. (1998) Cyclic Distributed Garbage Collection with Group Merger. In: Jul, Eric, ed. Proceedings of 12th European Conference on Object-Oriented Programming, ECOOP98. Lecture Notes in Computer Science , 1445. pp. 249-273. Springer, Brussels ISBN 3-540-64737-6.

Preview Preview

Russell, Dan (2001) FAD: A Functional Analysis and Design Methodology. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury.

Preview Preview

Ryder, Chris (2001) Iguana: A management support tool using Haskell and LDAP. Technical report. , University of Kent at Canterbury

Preview Preview

Ryder, Chris (2004) Software Measurement for Functional Programming. Doctor of Philosophy (PhD) thesis, Computing Lab, University of Kent.

Preview

Ryder, Chris and Thompson, Simon (1999) Aldor meets Haskell. Technical report. Computing Laboratory, University of Kent

Preview Preview

Ryder, Chris and Thompson, Simon (2005) Porting HaRe to the GHC API. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK

Preview

Ryder, Chris, Thompson, Simon (2005) Software Metrics: Measuring Haskell. In: UNSPECIFIED.

Preview

S

Sampaio, Augusto C.A., Woodcock, Jim, Cavalcanti, Ana L. C. (2002) Refinement in Circus. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science , 1. pp. 451-470. Springer-Verlag, Berlin ISBN 978-3-540-43928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sanches, R., Sette, S.S., Cavalcanti, Ana L. C., Florissi, C., Soares, Patricia G., Melo, T.C.S (1987) A Language for a Relational Database Management System. In: 2nd Brazilian Symposium on Databases. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sannella, Don, Tarlecki, Andrzej, Kahrs, Stefan (1994) Interfaces and Extended ML. SIGPLAN Notices, 29 (8). pp. 111-118.

Preview Preview

Schmitz, Patrick, Thompson, Simon, King, Peter (2003) Presentation Dynamism in XML. In: Twelfth International World Wide Web Conference. . W3C, Budapest, Hungary (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Schneider, Steve A. and Bryans, Jeremy W. and Davies, Jim (1994) A Failures Semantics for ET-LOTOS. Technical report. , Presented at the COST 247 - WG 6.1 working group meeting in Brighton

Preview

Shen, Kish and Costa, Vitor Santos and King, Andy (1998) Distance: a New Metric for Controlling Granularity for Parallel Execution. In: Jaffar, Joxan, ed. Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming. Logic Programming . MIT Press, Cambridge, Massachusetts, USA, pp. 85-99. ISBN 0-262-60031-5.

Preview

Sheriff, A., Cavalcanti, Ana L. C., Moura, Hermano (2002) An Action Semantics for Timed CSPm. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. . pp. 100-113. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Silva, Josep, Chitil, Olaf (2006) Combining Algorithmic Debugging and Program Slicing. In: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming. Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. . pp. 157-166. ACM Press, New York, New York (USA) ISBN 1-59593-388-3. (doi:10.1145/1140335.1140355)

Preview

Simon, Axel, Chitil, Olaf, Huch, Frank (2000) Typeview: A Tool for Understanding Type Errors. In: Mohnen, Markus and Koopman, P., eds. Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages. . pp. 63-69. , Aachen, Germany

Preview

Simon, Axel and King, Andy (2002) Analyzing String Buffers in C. In: Kirchner, Hélène and Ringeissen, Christophe, eds. International Conference on Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, 2422 . Springer, pp. 365-379. ISBN 3-540-44144-1. (doi:10.1007/3-540-45719-4_25)

Preview

Simon, Axel and King, Andy and Howe, Jacob M. (2002) Two Variables per Linear Inequality as an Abstract Domain. In: Leuschel, Michael, ed. Logic Based Program Synthesis and Transformation 12th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 71-89. ISBN 978-3-540-40438-5. E-ISBN 978-3-540-45013-9. (doi:10.1007/3-540-45013-0_7)

Preview

Smart, Nigel P. (1996) How difficult is it to solve a Thue equation? In: Cohen, H., ed. Algorithmic Number Theory Second International Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 363-373. ISBN 978-3-540-61581-1. E-ISBN 978-3-540-70632-8. (doi:10.1007/3-540-61581-4_67) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Smaus, Jan-Georg (1999) Modes and Types in Logic Programming. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury.

Preview Preview

Smaus, Jan-Georg (1999) Proving Termination of Input-Consuming Logic Programs. In: De Schreye, Danny, ed. Proceedings of the 1999 International Conference on Logic Programming. Logic Programming . MIT Press, Cambridge, Massachusetts, USA, pp. 335-349. ISBN 0-262-54104-1.

Preview Preview

Smaus, Jan-Georg (1999) Proving Termination of Input-Consuming Logic Programs. Technical report. , Kent, CT2 7NF, UK

Preview Preview

Smaus, Jan-Georg (1996) Resolution K-Transformations. Other masters thesis, Universitaet des Saarlandes (Max-Planck-Institut fuer Informatik).

Preview Preview

Smaus, Jan-Georg (1998) Well-Terminating, Input-Driven Logic Programs. Technical report. University of Kent

Preview Preview

Smaus, Jan-Georg and Hill, Pat and King, Andy (1999) Mode Analysis Domains for Typed Logic Programs. In: Bossi, Annalisa, ed. Logic-Based Program Synthesis and Transformation 9th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 82-101. ISBN 978-3-540-67628-7. E-ISBN 978-3-540-45148-8. (doi:10.1007/10720327_6)

Preview

Smaus, Jan-Georg and Hill, Pat and King, Andy (1998) Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using block Declarations. In: Flener, Pierre, ed. Logic Programming, Synthesis and Transformation. Lecture Notes in Computer Science, 1559 . Springer, pp. 182-196. ISBN 3-540-65765-7.

Preview

Smaus, Jan-Georg and Hill, Pat and King, Andy (1998) Termination of Logic Programs with block Declarations Running in Several Modes. In: Palamidessi, Catuscia, ed. International Symposium on Programming Languages: Implementations, Logics and Programs. Lecture Notes in Computer Science, 1490 . Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, pp. 182-196. ISBN 3-540-65012-1.

Preview

Smith, Graeme, Derrick, John (2002) Abstract Specification in Object-Z and CSP. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering. Lecture Notes in Computer Science , 2495. pp. 108-119. Springer, Berlin ISBN 3-540-00029-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Smith, Graeme, Derrick, John (2001) Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods in System Design, 18 (3). pp. 249-284. ISSN 0925-9856. (doi:10.1023/A:1011269103179) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Smith, Neil (1996) The UK national Web cache - The state of the art. Computer Networks and ISDN Systems, 28 . pp. 1407-1414. ISSN 0169-7552. (doi:10.1016/0169-7552(96)00029-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Soares, Patricia G. and Lins, Rafael D. (1992) Some Performance Figures for the G-Machine and its Optimisations. Technical report. Elsevier Science BV, University of Kent, Canterbury, UK

Preview Preview

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: 2004 IEEE Symposium on Visual Languages / Human Centered Computing 2004. . pp. 90-98. IEEE ISBN 0-7803-8696-5. (doi:10.1109/VLHCC.2004.57)

Preview

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (doi:10.1093/logcom/14.6.857)

Preview

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004) What Can Spider Diagrams Say? In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds. Diagrammatic Representation and Inference. Lecture Notes in Computer Science , 2980. pp. 179-186. Springer ISBN 3-540-21268-X. (doi:10.1007/978-3-540-25931-2_12)

Preview

Stapleton, Gem, Taylor, John, Thompson, Simon, Howse, John (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (doi:10.1016/j.jvlc.2008.01.005)

Preview

Stapleton, Gem, Thompson, Simon, Fish, Andrew, Howse, John, Taylor, John (2005) A New Language for the Visualization of Logic and reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. . pp. 287-292. ISBN 1-891706-17-9.

Preview

Steen, Maarten (1998) Consistency and Composition of Process Specifications. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Steen, Maarten, Bowman, Howard, Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Steen, Maarten, Bowman, Howard, Derrick, John, Boiten, Eerke Albert (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97. 107. pp. 177-192. Chapman & Hall, Osaka, Japan ISBN 0-412-82060-9.

Preview

Steen, Maarten and Derrick, John (1999) Applying the UML to the ODP Enterprise Viewpoint. Technical report. University of Kent at Canterbury

Preview Preview

Steen, Maarten, Derrick, John (1999) Formalising ODP Enterprise Policies. In: 3rd International Enterprise Distributed Object Computing Conference (EDOC '99). . pp. 84-93. IEEE Publishing ISBN 0-7803-5784-1. (doi:10.1109/EDOC.1999.792052)

Preview Preview

Steen, Maarten, Derrick, John (2000) ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces, 22 (3). pp. 165-189. ISSN 0920-5489. (doi:10.1016/S0920-5489(00)00031-3)

Preview

Steen, Maarten, Derrick, John, Boiten, Eerke Albert, Bowman, Howard (1999) Consistency of partial process specifications. In: Haeberer, A.M., ed. Algebraic Methodology and Software Technology (AMAST '98). http://dx.doi.org/10.1007/3-540-49253-4_19 , 1548. pp. 248-262. Springer-Verlag Berlin ISBN 3-540-65462-3. (doi:10.1007/3-540-49253-4_19)

Preview Preview

Stone, R.D and Morse, David R. (1996) A software development tool for parallel and distributed systems. In: Oneill, B.C. and Transputer User, Grp, eds. Parallel processing developments : WoTUG-19 ; proceedings of the 19th World Occam and Transputer User Group Technical Meeting. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 207-219. ISBN 90-5199-261-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Su, Li (2003) Verification of Concurrent Systems. Technical report. University of Kent, University of Kent, Canterbury, Kent, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Su, Li and Bowman, Howard and Wyble, Brad (2006) Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking. Technical report. UKC

Preview

Sultana, Nik (2008) Verification of Refactorings in Isabelle/HOL. Other masters thesis, Computing Laboratory, University of Kent.

Preview

Sultana, Nik, Thompson, Simon (2008) A Certified Refactoring Engine. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP). .

Preview

Sultana, Nik, Thompson, Simon (2008) Mechanical Verification of Refactorings. In: Workshop on Partial Evaluation and Program Manipulation. . Assoc of Computing Machinery, NY, USA ISBN 978-1-59593-977-7.

Preview

Swierstra, S. Doaitse, Chitil, Olaf (2009) Linear, bounded, functional pretty-printing. Journal of Functional Programming, 19 (01). pp. 1-16. ISSN 0956-7968. (doi:10.1017/S0956796808006990)

Preview

T

Taylor, Chris (2000) Comparison of ODP Viewpoint Specifications: A Case Study. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris (1993) A Formal Logical Analysis of Causal Relations. Doctor of Philosophy (PhD) thesis, University of Sussex. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris and Boiten, Eerke Albert and Derrick, John (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK

Preview Preview

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Jacobs, Bart and Rensink, Arend, eds. Formal Methods for Open Object-Based Distributed Systems V. IFIP International Federation for Information Processings , 5. pp. 61-76. Kluwer Academic Publishers, Dordrecht ISBN 978-0-7923-7683-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings: Software, 149 (2). pp. 57-64. ISSN 1462-5970. (doi:10.1049/ip-sen:20020318)

Preview

Taylor, Chris, Derrick, John, Boiten, Eerke Albert (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on. . pp. 177-185. IEEE ISBN 0-7695-0822-7. (doi:10.1109/ICFEM.2000.873818)

Preview

Telford, Alastair J. (1995) Static Analysis of Martin-L''of's Intuitionistic Type Theory. Doctor of Philosophy (PhD) thesis, The Computing Laboratory, University of Kent at Canterbury.

Preview Preview

Telford, Alastair J. and Johnson, Christopher W. (1996) Cross-viewpoint Consistency in Accident Investigations. Technical report. Department of Computer Science, University of Glasgow, Glasgow

Preview Preview

Telford, Alastair J. and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK

Preview Preview

Telford, Alastair J. and Turner, David A. (1997) Ensuring Streams Flow. In: Johnson, Michael, ed. Algebraic Methodology and Software Technology 6th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 509-523. ISBN 978-3-540-63888-9. E-ISBN 978-3-540-69661-2. (doi:10.1007/BFb0000493)

Preview Preview

Telford, Alastair J., Turner, David A. (1999) Ensuring Termination in ESFP. In: 15th British Colloquium in Theoretical Computer Science. . , Keele (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Telford, Alastair J. and Turner, David A. (1997) Ensuring the Productivity of Infinite Structures. Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK

Preview +1 more...

Telford, Alastair J. and Turner, David A. (2000) A Hierarchy of Languages with Strong Termination Properties. Technical report. University of Kent, The Computing Laboratory, The University, Canterbury, Kent, CT2 7NF

Preview

Thomas, M. and Kirkwood, C. and Matthews, Brian and Watson, Phil (1993) Verification techniques for LOTOS: final report. Technical report. Department of Computing Science, University of Glasgow (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thomas, Muffy, Watson, Phil (1991) Generalising diverging sequences of rewrite rules by synthesising new sorts. In: Jones, Simon L. Peyton and Hutton, Graham and Holst, Carsten Kehler, eds. Functional Programming, Glasgow 1990, Proceedings of the 1990 Glasgow Workshop on Functional Programming. Workshops in Computing . pp. 268-273. Springer Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thomas, Muffy, Watson, Phil (1992) Solving divergence in Knuth-Bendix completion by enriching signatures. In: Nivat, M. and Rattray, Charles and Rus, Teodor and Scollo, G., eds. Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991. Workshops in Computing . pp. 377-390. Springer Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thomas, Muffy, Watson, Phil (1993) Solving divergence in Knuth-Bendix completion by enriching signatures. Theoretical Computer Science, 112 . pp. 145-185. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thomas, Stephen P. (1993) The Pragmatics of Closure Reduction. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thomas, Stephen P. and Jones, Richard E. (1994) Garbage Collecting Shared Environment Closure Reducers. Technical report. Computing Laboratory, University of Kent at Canterbury 10.1016/0020-0190(95)00131-U. (doi:10.1016/0020-0190(95)00131-U) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon (1992) Are subsets necessary in Martin-Lof type theory? In: Myers Jr, J.P. and O'Donnell, M.J., eds. Constructivity in Computer Science Summer Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 46-57. ISBN 978-3-540-55631-2. E-ISBN 978-3-540-47265-0. (doi:10.1007/BFb0021082)

Preview Preview

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. International Conference on Temporal Logic. Applied Logic . pp. 377-390. Kluwer

Preview Preview

Thompson, Simon (1992) Formulating Haskell. Technical report. University of Kent, Canterbury, UK

Preview Preview

Thompson, Simon (1998) A Functional Reactive Animation of a Lift using Fran. Technical report. Cambridge University Press

Preview Preview

Thompson, Simon (1996) Haskell: The Craft of Functional Programming. Addison Wesley ISBN 0-201-40357-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon (1999) Haskell: the Craft of Functional Programming. International Computer Science Series . Addison-Wesley, Harlow, UK ISBN 0-201-34275-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon (1997) Higher-order + Polymorphic = Reusable. Other. University of Kent (Unpublished)

+1 more...

Thompson, Simon (1987) Interactive Functional Programs: a Method and a Formal Semantics. Technical report. Computing Laboratory, University of Kent, Canterbury, UK

Preview

Thompson, Simon (2001) Logic and Dependent Types in the Aldor Computer Algebra System. In: Kerber, Manfred and Kohlhase, Michael, eds. Symbolic Computation and Automated Reasoning. . pp. 205-219. A K Peters ISBN 1-56881-145-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon (1989) A Logic for Miranda. Formal Aspects of Computing, (1). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon (1995) A Logic for Miranda, Revisited. Formal Aspects of Computing, (7).

Preview Preview

Thompson, Simon (1995) Miranda: The Craft of Functional Programming. Addison Wesley ISBN 0-201-42279-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon (1995) Programming Language Semantics using Miranda. Technical report. UKC, University of Kent, Canterbury, UK

Preview Preview

Thompson, Simon (1999) Proof. In: Hammond, Kevin and Michaelson, Greg, eds. Research Directions in Parallel Functional Programming. Springer Verlag, pp. 93-119. ISBN 1-85233-092-9.

Preview

Thompson, Simon (1986) Proving properties of functions defined on lawful types. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon (2004) Refactoring Functional Programs. In: Vene, Varmo and Uustalu, Tarmo, eds. Advanced Functional Programming 5th International School. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 331-357. ISBN 978-3-540-28540-3. E-ISBN 978-3-540-31872-9. (doi:10.1007/11546382_9)

Preview

Thompson, Simon (2000) Regular Expressions and Automata using Haskell. Technical report. University of Kent

Preview Preview

Thompson, Simon (1995) Regular Expressions and Automata using Miranda. Other. UKC (Unpublished)

Preview Preview

Thompson, Simon (1991) Type Theory and Functional Programming. Addison Wesley ISBN 0-201-41667-0.

Preview

Thompson, Simon (1997) em Where do I begin? A problem solving approach to teaching functional programming. In: Apt, Krzysztof and Hartel, Pieter H. and Klint, Paul, eds. First International Conference on Declarative Programming Languages in Education. . Springer-Verlag

Preview +1 more...

Thompson, Simon and King, Peter (2007) Declarative Extensions of XML Languages. Technical report. University of Kent, Canterbury, Kent

Preview

Thompson, Simon, King, Peter, Schmitz, Patrick (2007) Declarative extensions of XML languages. In: King, Peter and Simske, Steven, eds. Proceedings of the 2007 ACM symposium on Document engineering. . pp. 89-91. ACM Press ISBN 978-1-59593-776-6.

Preview

Thompson, Simon, Reinke, Claus (2003) A Case Study in Refactoring Functional Programs. In: Ierusalimschy, Roberto and Figueiredo, Lucilia and Valente, Marcio Tulio, eds. VII Brazilian Symposium on Programming Languages. . pp. 1-16. ISBN 85-88442-45-0.

Preview

Thompson, Simon and Reinke, Claus (2001) Refactoring Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent

Preview

W

Walczowski, Les T., Jastrzebski, Adam K., Barnaby, J.E. (1994) A Multi- Mode System for Gaas Circuis. In: 1994 IEEE International Symposium on Circus and Systems, VOL 1 - Computer Aided Design (CAD). 1. A427-A430. I E E E ISBN 0-7803-1915-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wallace, Malcolm, Chitil, Olaf, Brehm, Thorsten, Runciman, Colin (2001) Multiple-View Tracing for Haskell: a New Hat. In: 2001 ACM SIGPLAN Haskell Workshop.

Preview

Waller, Winston A.J. and Aziz, S.M. (1994) A C-Testable Parallel Multipler Using Differencial Casecode Voltage Swish (DCVS) Logic. In: Yanagawa, T. and Ivey, P.A., eds. VLSI 93 - IFIP Transactions A. Computer Science and Technology. North Holland, pp. 133-142. ISBN 0-444-89911-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, P.R. (1988) Concerning T-degrees of d-r.e. sets and e-reducibility of Sigma<sub>2</sub> sets. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury. (doi:10.22024/UniKent/01.02.20933) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1997) Embeddings in the strong reducibilities between 1 and npm. Mathematical Logic Quarterly, 43 (4). pp. 559-568. ISSN 0942-5616. (doi:10.1002/malq.19970430411) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Inductive Learning with Corroboration. In: Algorithmic Learning Theory, Proceedings of the 10th International Conference, Dec 06-08, 1999, Tokyo, Japan. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1995) Inductive learning of recurrence-term languages from positive data. In: Jantke, Klaus P. and Lange, Steffen, eds. Algorithmic learning for knowledge-based systems. Lecture Notes in Artificial Intelligence, 961 . Springer Verlag, pp. 292-315. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Inductive learning with corroboration. Technical report.

Preview Preview

Watson, Phil (1990) On restricted forms of enumeration reducibility. Annals of Pure and Applied Logic, 49 . pp. 75-96. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Review of "Generalization and specialization strategies for learning r.e. languages". Review of: Generalization and specialization strategies for learning r.e. languages by Jain, Sanjay and Sharma, Arun. Mathematical Reviews, (99m:68). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Review of "Learning with refutation". Review of: Learning with refutation by Jain, Sanjay. Mathematical Reviews, (99m:68). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Review of 'Approximation methods in inductive inference'. Review of: Approximation methods in inductive inference by Moser, W.R.. Mathematical Reviews, (99g:68). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Review of 'Learning via queries and oracles'. Review of: Learning via queries and oracles by Stephan, Frank. Mathematical Reviews, (99f:03). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Review of 'On the relative sizes of learnable sets'. Review of: On the relative sizes of learnable sets' by Fortnow, Lance and Freivalds, Rusins and Gasarch, William I. and Kumme, Martin and Kurtz, Stuart A. and Smith, Carl H. and Stephan, Frank. Mathematical Reviews, (99c:68). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (1999) Review of 'The structure of intrinsic complexity of learning'. Review of: The structure of intrinsic complexity of learning by Jain, Sanjay and Sharma, Arun. Mathematical Reviews, (99k:03). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (2000) Review of Aizenstein, H. et al, `On learning read-k-satisfy-j DNF'. Mathematical Reviews, (2000a:). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (2000) Review of Ambainis A. et al, `Ordinal mind change complexity of language identification'. Mathematical Reviews, (2000e:). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (2000) Review of Case J., `The power of vacillation in language learning'. Mathematical Reviews, (2000e:). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil (2000) Review of Schaefer M., `A guided tour of minimal indices and shortest descriptions'. Mathematical Reviews, (2000b:). ISSN 0025-5629. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Watson, Phil and Dick, A.J.J. (1989) Least sorts in order-sorted term rewriting. Technical report. British Computer Society 10.1093/comjnl/34.1.16. (doi:10.1093/comjnl/34.1.16) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Wood, David C. (1997) Higher levels of process synchronisation. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, pp. 104-129. ISBN 90-5199-336-6.

Preview

Wilson, Eve (1994) Using Corpora as a Resource in Language Teaching. Computers and Education, 23 . pp. 41-51. ISSN 0360-1315. (doi:10.1016/0360-1315(94)90031-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim, Cavalcanti, Ana L. C. (2002) The Semantics of Circus. In: ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science , 1. pp. 184-203. Springer-Verlag, Berlin ISBN 978-3-540-43166-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Z

Zammit, Vincent (1997) A Comparative Study of Coq and HOL. In: Gunter, Elsa. L and Felty, Amy, eds. Theorem Proving in Higher Order Logics 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 323-337. ISBN 783540633792. E-ISBN 978-3-540-69526-4. (doi:10.1007/BFb0028403)

Preview Preview

Zammit, Vincent (1996) A Mechanisation of Computability Theory in HOL. In: von Wright, Joakim and Grundy, Jim and Harrison, John, eds. Theorem Proving in Higher Order Logics 9th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 431-446. ISBN 978-3-540-61587-3. E-ISBN 978-3-540-70641-0. (doi:10.1007/BFb0105420)

Preview Preview

Zammit, Vincent (1999) On the Readability of Machine Checkable Formal Proofs. Doctor of Philosophy (PhD) thesis, UNSPECIFIED.

Preview Preview

Zammit, Vincent (1997) A Proof of the S-m-n theorem in Coq. Technical report. University of Kent, The University of Kent, Canterbury, Kent, UK

Preview Preview