Items where division is "Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group"
Number of items at this level: 586. A
|
Aichernig, Bernhard K. and Boiten, Eerke Albert and Butler, Michael and Derrick, John and 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)
|
|
|
Akehurst, David H. and Bordbar, Behzad and Derrick, John and Waters, A. Gill
(2002)
Design Support for Distributed Systems: DSE4DS.
In: Procedings of the 7th Cabernet Radicals Workshop, 13-16 October 2002, Bertinoro, Italy.
(Full text available)
|
![[img]](/style/images/fileicons/application_pdf.png)  Preview |
|
|
Akehurst, David H. and Derrick, John and Waters, A. Gill
(2003)
Design and Verification of Distributed Multi-media Systems.
In: FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, NOV 19-21, 2003, PARIS, FRANCE.
(Full text available)
|
 Preview |
|
|
Anzellotti, G. and Battiti, Roberto and Lazzizzera, I. and Soncini, G. and Zorat, Alessandro and Sartori, Alvise and Tecchiolli, Giampietro and Lee, Peter
(1995)
Totem:. a Highly Parallel Chip for Triggering Applications with Inductive Learning Based on the Reactive Tabu Search.
In: 4th International Workshop on Software Engineering, Artificial Intelligence, and Expert Systems for High Energy and Nuclear Physics (AIHENP 95), Pisa, Italy.
(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 and Earle, Clara Benac and Derrick, John
(2002)
Verifying Erlang code: a resource locker case-study.
In: In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark.
(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 Penas, Juan José Sánchez
(2004)
Translating Erlang to muCRL.
In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004), JUN 16-18, 2004, Hamilton, Canada.
(Full text available)
|
|
B
|
Barnes, David J. and Hopkins, Tim
(2000)
The evolution and testing of a medium sized numerical package.
In: International Workshop on Modern Software Tools for Scientific Computing (SciTools 98), Oslo, Norway.
(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
(Full text available)
|
|
|
Bassett, Eryl E. and Brooks, Stephen P. and 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: International Conference and Exhibition on High-Performance Computing and Networking, Milan, 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)
|
|
|
Benoy, Florence and King, Andy
(1996)
Inferring Argument Size Relationships with CLP(R).
In: Gallagher, John, ed.
Logic Programming Synthesis and Transformation.
Lecture Notes in Computer Science, 1207
.
Springer-Verlag, pp. 204-223.
ISBN 3-540-62718-9 .
(Full text available)
|
 Preview |
|
|
Blackburn, Steve and Jones, Richard E. and McKinley, Kathryn S. and Moss, J.Eliot B.
(2002)
Beltway: Getting Around Garbage Collection Gridlock.
In: Hendren, Laurie J., ed.
Conference on Programming Language Design and Implementation archive.
Association for Computing Machinery, Berlin
pp. 153-164.
ISBN 1-58113-463-0.
(Full text available)
|
|
|
Blair, Gordon S. and Blair, Lynne and Bowman, Howard and Chetwynd, Amanda G.
(1997)
Formal Specification of Distributed Multimedia Systems.
University College London Press, 352 pp.
ISBN 1-85728-677-4 PB.
(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. and Bordbar, Behzad and Stremersch, G.
(1998)
Controlled Timed Petri Nets: Equivalence Relations, Model Reduction.
In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Oct 11-14, 1998, San Diego, CA, .
(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
(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.
Lecture Notes in Computer Science, 2272.
Springer, Grenoble, France
pp. 226-241.
ISBN 3-540-43166-7.
(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, 2386
.
Springer, Berlin/Heidelbeg/Paris, 267 pp.
(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 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
(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 and Derrick, John
(1998)
Grey Box Data Refinement.
In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia.
(Full text available)
|
 Preview |
|
|
Boiten, Eerke Albert and Derrick, John
(1998)
IO - refinement in Z.
In: Evans, Andy and Duke, David J. and Clark, Tony, eds.
3rd Northern Formal MethodsWorkshop, 1998.
Electronic Workshops in Computing.
Springer Verlag
ISBN 1-902505-14-X.
(Full text available)
|
 Preview |
|
|
Boiten, Eerke Albert and Derrick, John
(2002)
Integration of Specifications through Development Relations.
In: Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, 23-28th June 2002, Passadena, California.
(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.
Proceedings of the 5th International Conference on Mathematics of Program Construction.
Lecture Notes in Computer Science, 1837.
Springer
pp. 144-166.
ISBN 3-540-67727-5.
(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
(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 and Derrick, John and Bowman, Howard and Steen, Maarten
(1997)
Coupling schemas: data refinement and view(point)composition.
In: Northern formal methods, 1997; Jul, Ilkley.
(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 Schellhorn, Gerhard
(2008)
Preface: REFINE 2008 Proceedings.
Electronic Notes in Theoretical Computer Science,
214
.
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 and Derrick, John and 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 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 and Hoogendijk, P.F.
(1996)
Nested collections and polytypism.
Technical report.
Department of Computing Science, Eindhoven University
(Full text available)
|
|
|
Boiten, Eerke Albert
(1993)
Parsing in ISBES.
In: International Conference on Formal Methods in Programming and Their Applications, 1993, Novosibirsk.
(Full text available)
|
![[img]](/21112/1.hassmallThumbnailVersion/parsLNCS.pdf)  Preview |
|
|
Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten
(2000)
Viewpoint Consistency in ODP.
Computer Networks,
34
(3).
pp. 503-537.
ISSN 1389-1286.
(Full text available)
|
![[img]](/21992/1.hassmallThumbnailVersion/root.pdf)  Preview |
|
|
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 Giacomini, Luisa and Holding, David J.
(2000)
Design of Distributed Manufacturing Systems using UML and Petri Nets.
In:
Algorithms and Architectures for Real-Time Control (AARTC 2000).
Workshop on Algorithms and Architectures for Real-Time Control.
Elsevier, Palma de Mallorca, Spain
pp. 105-110.
ISBN 0-08-043685-4 .
(Full text available)
|
 Preview |
|
|
Bowman, Howard
(2001)
Formal Methods Elsewhere.
Electronic Notes in Theoretical Computer Science,
43
.
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 and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G.
(1993)
Time Versus Abstraction In Formal Description.
In: FORTE 93 - IFIP 6th International Conference on Formal Description Techniques, Boston, Ma.
(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
(Full text available)
|
|
|
Bowman, Howard and Briscoe-Smith, C. and Derrick, John and Strulo, B.
(1997)
On Behavioural Subtyping in LOTOS.
In: Bowman, Howard and Derrick, John, eds.
Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems.
Chapman and Hall
pp. 335-351.
ISBN 0-412-82040-4 .
(Full text available)
|
|
|
Bowman, Howard and Bryans, Jeremy W. and Derrick, John
(2000)
Towards Stochastic Model Checking with Generalised Distributions.
In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, July 24-25, 2000, Durham Univ. 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)
|
|
|
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.
Lecture Notes in Computer Science, 1231.
Springer-Verlag
pp. 382-399.
ISBN 3-540-63010-4 .
(doi:10.1007/3-540-63010-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 Derrick, John and Linington, Peter F. and 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 )
(Full text available)
|
|
|
Bowman, Howard and Faconti, Giorgio and 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, Jun 03-05, 1998, Abington, England, .
(Full text available)
|
|
|
Bowman, Howard and Gomez, Rodolfo
(2006)
How to stop time stopping.
Formal Aspects of Computing,
18
(4).
pp. 459-493.
ISSN 0934-5043.
(Full text available)
|
 Preview |
|
|
Bowman, Howard and Katoen, J-P.
(1998)
A True Concurrency Semantics for ET-LOTOS.
In: CSD'98 International Conference on Application of Concurrency to System Design, Mar 23-26, 1998, Fukushima, Japan.
(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
(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
(1998)
A Tableaux Method for Interval Temporal Logic with Projection.
In:
Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
Lecture Notes In Computer Science, 1397 (1397).
Springer-Verlag
pp. 108-123.
ISBN 3-540-64406-7.
(Full text available)
|
|
|
Brassel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank
(2004)
Observing Functional Logic Computations.
In: Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), JUN 18-19, 2004, Dallas, TX, .
(Full text available)
|
 Preview |
|
|
Brooks, Stephen P. and 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 and 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, 27th-29th September 2007, Freiburg, Germany .
(Full text available)
|
 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, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings.
Lecture Notes in Comuter Science, 1945.
Springer
pp. 176-193.
ISBN 3-540-41196-8.
(Full text available)
|
|
|
Bryans, Jeremy W. and Bowman, Howard and 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)
|
|
|
Bujorianu, Manuela L. and Bujorianu, Marius C.
(2001)
Constructive Foundations of Stochastic Analysis in Linear Logic.
In: BCTCS 17 British Colloquium for Theoretical Computer Science.
(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.
Springer
pp. 421-440.
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)
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. and 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. 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. and Bujorianu, Manuela L.
(2002)
Constructive Potential Theory: A Linear Logic Approach.
In: NS 2002 Non-standard Methods and Applications in Mathematics, June 2002, 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)
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. and Maharaj, Savitri and Bujorianu, Manuela L.
(2002)
Towards a formalization of viewpoints testing.
In: Formal Approaches To Testing of Software 2002 (FATES'02), 24th August 2002, Brno, Czech Republic.
(Full text available)
|
 Preview |
|
C
|
Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon
(1998)
Synchronization in Multimedia Documents.
In: Andre, Jacques, ed.
Proceedings of the 7th International Conference on Electronic Publishing, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography: Electronic Publishing, Artistic Imaging, and Digital Typography.
Lecture Notes In Computer Science, 1357.
Springer
pp. 355-369.
ISBN 3-540-64298-6 .
(Full text available)
|
|
|
Cavalcanti, Ana L. C. and Florissi, C. and Soares, Patricia G. and Melo, T.C.S
(1987)
Implementation of a Relational Language for Microcomputers.
In: 7th Conference of the Brazilian Computer Society.
(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. and Meira, Silvio Lemos
(1989)
Denotational Models of Software Systems.
In: 9th Conference of the Brazilian Computer Society.
(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. and 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.
Springer-Verlag, Berlin
pp. 471-490.
ISBN 9783540439288.
(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. and Naumann, David A.
(2002)
On a Specification-oriented Model for Object-orientation.
In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro.
(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. and Naumann, David A.
(2000)
Simulation and Class Refinement for Java.
In: ECOOP 2000 Workshop on Formal Techniques for Java Programs, June 12, 2000, Sophia Antipolis, France.
(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. and Sampaio, Augusto C.A. and Woodcock, Jim
(2002)
Refinement of Actions in Circus.
In: Proceedings of REFINE'2002, July 2002, Copenhagen, Denmark.
(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. and Woodcock, Jim
(2002)
A Weakest Precondition Semantics for Circus.
In: Proceedings of the Communicating Processing Architectures 2002, 15-18 September 2002, University of Reading, United Kingdom.
(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. and 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. and 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 and 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)
|
|
|
Cheng, Russell C.H.
(1994)
Selecting Input Models.
In: 1994 Winter Simulation Conference, Lake Buena Vista, Fl.
(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 and Runciman, Colin and Wallace, Malcolm
(2003)
Transforming Haskell for Tracing.
In: Ricardo, Peña and Thomas, Arts, eds.
Implementation of Functional Languages.
Lecture Notes in Computer Science.
Springer, Berlin
pp. 165-181.
ISBN 3540401903.
(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
(2001)
A Semantics for Tracing.
In: Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001.
(Full text available)
|
 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.
(Full text available)
|
 Preview |
|
|
Chitil, Olaf
(2005)
Pretty Printing with Partial Continuations.
In: 17th International Workshop on Implementation and Application of Functional Languages, 19-21 September 2005, Dublin, Ireland.
(Full text available)
|
 Preview |
|
|
Chitil, Olaf
(2005)
Pretty printing with lazy dequeues.
Transactions on Programming Languages and Systems (TOPLAS),
27
(1).
pp. 163-184.
ISSN 0164-0925.
(Full text available)
|
 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.
(Full text available)
|
 Preview |
|
|
Chitil, Olaf
(2004)
Source-Based Trace Exploration.
In:
Implementation and Application of Functional Languages.
Lecture Notes in Computer Science.
Technical Report 0408, University of Kiel
pp. 239-244.
ISBN 3-540-26094-3 .
(doi:10.1007/11431664_8)
(Full text available)
|
 Preview |
|
|
Chitil, Olaf
(2005)
Source-based trace exploration.
In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004.
(Full text available)
|
 Preview |
|
|
Chitil, Olaf
(1999)
Type Inference Builds a Short Cut to Deforestation.
In: Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99), September 27 - September 29, 1999 , Paris, France.
(Full text available)
|
 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 , 4449.
Springer, Germany
pp. 126-144.
ISBN 978-3-540-7412909 .
(doi:10.1007/978-3-540-74130-5)
(Full text available)
|
 Preview |
|
|
Chitil, Olaf and McNeill, Dan and Runciman, Colin
(2004)
Lazy Assertions.
In: Implementation of Functional Languages: 15th International Workshop, IFL 2003, Sep 08-11, 2003, Edinburgh, England.
(Full text available)
|
 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: 4th Summer School in Advanced Functional Programming.
(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)
|
|
|
Clear, David and Ibbetson, Alan L. and Collinson, Peter
(1994)
Exporting Home on Demand to PCS.
In: 8th Systems Administration Conference (LISA VIII), San Diego, Ca.
(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. and Ourselin, Sébastien and Zhu, Yonggen and Bardinet, Eric and He, Yang and Roche, Alexis and Al-Sarraj, Safa and Nailon, Bill and Ironside, James and Ayache, Nicholas
(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)
|
|
|
Cooper, S. Barry and Lempp, Steffen and 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 and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A.
(2002)
Refactoring by Transformation.
In: Proceedings of REFINE'2002, 20th-21st July 2002, Copenhagen, Denmark.
(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. and Reis, T.P.C. and Cavalcanti, Ana L. C.
(1999)
A Tool for Teaching Refinement.
In: 13th Brazilian Symposium on Software Engineering - Tools Session.
(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: International Conference and Exhibition on High-Performance Computing and Networking, Milan, 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)
|
|
D
|
Daniels, Anthony C.
(1997)
Fran in action!
Other.
(Unpublished)
(Full text available)
|
|
|
Daniels, Anthony C.
(1999)
Fran poster.
Other.
(Unpublished)
(Full text available)
|
|
|
Davie, Thomas and 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, Budapest, Hungary.
(Full text available)
|
 Preview |
|
|
Davie, Thomas and Chitil, Olaf
(2006)
One Right Does Make a Wrong.
In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006.
(Full text available)
|
 Preview |
|
|
Davies, Jim and Bryans, Jeremy W. and 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. and Welch, Peter H.
(1994)
A Parallel Emulator for a Multi-Processor Dataflow Machine.
In: 1994 World Transputer Congress (WTC 94) - Transputer Applications and Systems 94, Como, 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)
|
|
|
Delaney, Aidan and Taylor, John and Thompson, Simon
(2008)
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.
In: Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Sep 19-21, 2008, Herrsching, Germany.
(doi:10.1007/978-3-540-87730-1<sub>1</sub>8)
(Full text available)
|
 Preview |
|
|
Derrick, John
(2003)
Timed CSP and Object-Z.
In: 3rd International Conference on B and Z Users, JUN 04-06, 2003, TURKU, FINLAND.
(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 and Akehurst, David H. and Boiten, Eerke Albert
(2002)
A framework for UML consistency.
In: Workshop on Consistency Problems in UML-based Software Development, October 1st, 2002 , Dresden, Germany.
(Full text available)
|
 Preview |
|
|
Derrick, John and 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 and Boiten, Eerke Albert
(2000)
Refinement of objects and operations in Object-Z.
In: Smith, Scott F. and Talcott, Carolyn L., eds.
Fourth International Conference on Formal methods for open object-based distributed systems IV.
Kluwer Academic Publishers
pp. 257-277.
ISBN 0-7923-7923-3 .
(Full text available)
|
![[img]](/style/images/fileicons/application_postscript.png)  Preview |
|
|
Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten
(1997)
Translating LOTOS to Object-Z.
In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. 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)
|
|
|
Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten
(1997)
Weak refinement in Z.
In: Bowen, Jonathan P. and Hinchey, Michael G. and Till, David, eds.
ZUM '97: The Z Formal Specification Notation.
Lecture Notes in Computer Science, 1212.
Springer-Verlag, Reading
pp. 369-388.
ISBN 3-540-62717-0.
(doi:10.1007/BFb0027298)
(Full text available)
|
|
|
Derrick, John and Bowman, Howard and Steen, Maarten
(1995)
Viewpoints and Objects.
In: UNSPECIFIED.
(Full text available)
|
|
|
Derrick, John and Smith, Graeme
(2004)
Linear temporal logic and Z refinement.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Linear temporal logic and Z refinement.
Lecture Notes in Computer Science, 3116.
Springer
pp. 117-131.
ISBN 3-540-22381-9 .
(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 and Smith, Graeme
(2000)
Structural refinement in Object-Z / CSP.
In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds.
Proceedings of the Second International Conference on Integrated Formal Methods.
Lecture Notes in Computer Science, 1945.
Springer
pp. 194-213.
ISBN 3-540-41196-8 .
(Full text available)
|
|
|
Dick, A.J.J. and 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:
Lecture Notes in Computer Science.
Springer-Verlag
pp. 347-358.
ISBN 978-3-540-00029-7.
(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. and Fairhurst, Michael and Bisset, D.L.
(1994)
A Modular Boolean Architecture for Pattern Recognition.
In: 1994 IEEE International Conference on Neural Networks (ICNN 94) - 1st IEEE World Congress on Computational Intelligence, Orlando, Fl.
(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. and Holton, D.R.W. and Lai, L.M. and Watson, Phil
(1997)
A comparison of real-time formal specification languages.
In: Duke, David J. and Evans, A.S., eds.
BCS-FACS Northern formal methods workshop.
Electronic Workshops in Computer Science.
Springer Verlag
ISBN 3540761179.
(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. and Dimond, Keith R.
(1994)
A Transputer-Based Vision System for Mobile Robots.
In: 7th Conference of the North-American-Transputer-Users-Group (NATUG-7), Atlanta, Ga.
(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. and Hirst, Timothy R.
(1993)
The Role of DSBA in Enterotoxin Biogenesis and Cell Viability.
In: 6th European Workshop on Bacterial Protein Toxins, Stirling, Scotland.
(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)
|
|
G
|
Gaizauskas, Robert and Rodgers, Peter
(1997)
NL Module Evaluation in GATE.
In: SALT '97 Workshop on Evaluation in Speech and Language Technology.
(Full text available)
|
|
|
Giacomini, Luisa and Bordbar, Behzad and Holding, David J.
(2000)
Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear.
In: 39th IEEE Conference on Decision and Control, Dec 12-15, 2000, Sydney, Australia.
(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 Augusto, Juan Carlos
(2004)
Durative Events in Active Databases.
In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, April 2004, Porto, Portugal,.
(Full text available)
|
 Preview |
|
|
Gomez, Rodolfo and Augusto, Juan Carlos and 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).
, Valdivia, Chile
pp. 53-63.
(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
(2003)
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.
In: Konig, H. and Heiner, M. and Wolisz, A., eds.
Lecture Notes in Computr Science.
LNCS, 2767 (2767).
Springer, Berlin, Germany
pp. 177-192.
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)
|
|
H
|
Hanna, Keith
(2002)
Interactive Visual Functional Programming.
In: Proc. Intnl Conf. on Functional Programming, OCT 04-06, 2002, Pittsburgh, PA, USA.
(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.
(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 Daeche, Neil
(1986)
Purely Functional Implementation of a Logic.
In: Proc. 8th Intnl. Conf. on Automated Deduction.
(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 Daeche, Neil
(1987)
Specification and Verification of Digital Systems.
In: Proc Conf on Logic and its Application to Computer Science.
(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 Daeche, Neil
(1985)
Specification and Verification using Higher-Order Logic.
In: Computer Hardware Description Languages and their Applications.
(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 Daeche, Neil
(1993)
Strongly-Typed Theory of Structures and Behaviours.
In: Correct Hardware Design and Verification Methods.
(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 Daeche, Neil
(1992)
The Veritas Design Logic; a User''s View.
In: Proc. Theorem Provers in Circuit Design.
(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 Daeche, Neil and Longley, Mark
(1989)
Formal Synthesis of Digital Systems.
In: Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design.
(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 Daeche, Neil and Longley, Mark
(1989)
Veritas: A Specification Language based on Type Theory.
In: Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects.
(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 and Krishnamurthy, Shriram and Thompson, Simon
(2002)
Functional and Declarative Programming in Education 2002.
In: Functional and Declarative Programming in Education (FDPE02), Monday 7 October 2002 , Pittsburgh, PA, USA.
(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)
(Full text available)
|
![[img]](/21640/5.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Hierons, R. and 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 and 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
(1995)
Parallel imperative functional programming.
In: 18th Technical Meeting of the World-occam-and-Transputer-User-Group (WoTUG-18), Manchester, England.
(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
(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
(Full text available)
|
|
|
Hill, Steve and Thompson, Simon
(1995)
Miranda in Isabelle.
In: Preceedings of the first Isabelle Users Workshop.
(Full text available)
|
|
|
Hojjatoleslami, Ali and 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)
|
|
|
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.
(Full text available)
|
 Preview |
|
|
Howe, Jacob M. and King, Andy
(2001)
Widening BDDs.
University of Kent, School of Computing, 9 pp.
(Full text available)
|
 Preview |
|
|
Howells, Gareth and Fairhurst, Michael and Bisset, D.L.
(1994)
BCN - an Architecture for Weightless Ram-Base Neural Networks.
In: 1994 IEEE International Conference on Neural Networks (ICNN 94) - 1st IEEE World Congress on Computational Intelligence, Orlando, Fl.
(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 and Fairhurst, Michael and Bisset, D.L.
(1995)
PCN: The Probabilistic Convergence Network.
In: 1995 IEEE International Conference on Neural Networks (ICNN 95), Perth, Australia.
(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
|
Jones, Richard E.
(2000)
Memory Management Session Overview.
In: Persistent Object Systems: Design, Implementation, and Use.
(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. 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 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. and Lins, Rafael D.
(1993)
Cyclic Weighted Reference Counting without Delay.
In: Proceedings of PARLE'93.
(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
|
Kahrs, Stefan
(2006)
Gene Expression Programming with Pre-Order Traversals.
In: 6th International Conference on Recent Advances in Soft Computing, 10-12 July 2006, Canterbury, United Kingdom.
(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
(2009)
Modularity of Convergence in Infinitary Rewriting.
In: Rewriting Techniques and Applications, JUN 29-JUL 01, 2009, Brasilia, BRAZIL.
(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
(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
(2003)
Well-Going Programs Can Be Typed.
In: Typed Lambda Calculi and Applications, Jun 10-12, 2003, Valencia, Spain, .
(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
(1993)
Compilation of combinatory reduction systems.
In: Heering, Jan and Meinke, Karl and Möller, Bernhard and Nipkow, Tobias, eds.
Higher-Order Algebra, Logic, and Term Rewriting.
Lecture Notes in Computer Science, 816.
Springer
pp. 169-188.
ISBN 3-540-58233-9.
(Full text available)
|
|
|
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)
|
|
|
Kelner, J. and Cavalcanti, Ana L. C. and Pardo, A.
(1989)
LindA: A Language for Automated Authoring of Hypertexts.
In: 3rd Brazilian Symposium on Sofrware Engineering.
(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. and Kowalczyk, Arek
(1994)
Incorporating the Temporal Dimension in a GIS.
In: 1st National Conference on GIS Research - UK, Keele, England.
(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, Andrew C.
(2002)
Removing GC Synchronisation.
In:
Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications.
SIGPLAN.
ACM, Seattle, WA
pp. 112-113.
ISBN 1-58113-626-9 .
(Full text available)
|
 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
(1995)
Share x Free Revisited.
University of Kent, School of Computing, University of Kent, Canterbury, UK
(Full text available)
|
 Preview |
|
|
King, Andy and Soper, Paul
(1994)
Depth-k Sharing and Freeness.
In: Van Hentenryck, Pascal, ed.
International Conference on Logic Programming.
MIT Press Series in Logic Programming
.
MIT Press, pp. 553-568.
ISBN 0-262-72022-1 .
(Full text available)
|
 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.
(Full text available)
|
![[img]](/20996/1.hassmallThumbnailVersion/content.pdf)  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.
(Full text available)
|
 Preview |
|
L
|
Lai, Luming and Watson, Phil
(1997)
A case study in Timed CSP: the railroad crossing problem.
In: Maler, O., ed.
Hybrid and Real-Time Systems.
Lecture Notes in Computer Science, 1201.
Springer Verlag
pp. 69-74.
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 and Watson, Phil
(1994)
Machine discovery in the presence of incomplete or ambiguous data.
In: Algorithmic Learning Theory, Proceedings of the 5th International Workshop, Rheinhardsbrunn, Germany, 1994.
(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, Jia and Li, Huiqing and Jia, Xiumei
(2004)
A Naive Bayes Learning Based Website Reconfiguration System.
In: Proceedings of the 2004 International Conference on Machine Learning and Applications, DEC 16-18, 2004, Louisville, KY.
(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 and Thompson, Simon
(2005)
Formalisation of Haskell Refactorings.
In: van Eekelen, Marko and Hammond, Kevin, eds.
Trends In Funtional Programming.
ISBN 9781841501765.
(Full text available)
|
![[img]](/14266/1.hassmallThumbnailVersion/FormalisationOfRefactorings.pdf)  Preview |
|
|
Li, Huiqing and Thompson, Simon and Lövei, László and Horváth, Zoltán and Kozsik, Tamás and Víg, Anikó and Nagy, Tamás
(2006)
Refactoring Erlang Programs.
In: The Proceedings of 12th International Erlang/OTP User Conference.
(Full text available)
|
 Preview |
|
|
Li, Huiqing and Thompson, Simon and Orosz, George and Töth, Melinda
(2008)
Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse.
In: Proceedings of the Seventh ACM SIGPLAN Erlang Workshop, SEP 27, 2008, Victoria, Canada.
(Full text available)
|
 Preview |
|
|
Li, Huiqing and Thompson, Simon and Reinke, Claus
(2005)
The Haskell Refactorer, HaRe, and its API.
Electronic Notes in Theoretical Computer Science,
141
(4).
pp. 29-34.
ISSN 1571-0661.
(Full text available)
|
![[img]](/14338/1.hassmallThumbnailVersion/HaRe.pdf)  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. 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. and Jones, Richard E.
(1993)
Cyclic Weighted Reference Counting.
In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria.
(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 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)
|
|
|
Luo, Yong
(2005)
New eta-reduction and Church-Rosser.
Technical report.
Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK
(Full text available)
|
 Preview |
|
M
|
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 .
(Full text available)
|
 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, 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, 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 and Cavalcanti, Ana L. C.
(1990)
Modular Object-Oriented Z Specifications.
In: Z User 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)
|
|
|
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)
|
|
|
Miarka, Ralph and Boiten, Eerke Albert and Derrick, John
(2000)
Guards, Preconditions, and Refinement in Z.
In: ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users.
(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.
Lecture Notes in Computer Science, 2272.
Springer-Verlag Berlin Heidelberg, Grenoble, France
pp. 204-225.
ISBN 3-540-43166-7.
(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)
|
|
|
Mutton, Paul and 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.
Graph Drawing: 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28 2002.
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
pp. 374-375.
ISBN 9783540001584.
(Full text available)
|
 Preview |
|
N
|
Nguyen-Viet, Chau
(2004)
Transformation in HaRe.
Technical report.
kent uni, University of Kent, Canterbury, Kent, UK
(Full text available)
|
 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. and Cavalcanti, Ana L. C.
(2000)
Tactics of Refinement.
In: 14th Brazilian Symposium on Software Engineering, 4-6 October, 2000, Joao Pessoa - Paraiba - Brazil.
(Full text available)
|
 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
|
Patrascoiu, Octavian and Thompson, Simon and Rodgers, Peter
(2005)
Tableaux for Diagrammatic Reasoning.
In: Proceedings of the 2005 International Workshop on Visual Languages and Computing.
(Full text available)
|
 Preview |
|
|
Poll, Erik
(1997)
System F with Width-subtyping and Record Updating.
In:
Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software.
Lecture Notes In Computer Science, 1281.
Springer LNCS
pp. 439-457.
ISBN 3-540-63388-X .
(Full text available)
|
|
R
|
Ramalho, Geber L. and Barros, Flavia and Cavalcante, Sergio and Cavalcanti, Ana L. C.
(1999)
Cyber Rally: An Experience of Democratic Use of the Internet.
In: Bullinger, Hans-Jörg and Ziegler, Jürgen, eds.
Human-Computer Interaction: Communication, Cooperation, and Application Design.
Lawrence Erlbaum Associates
pp. 402-406.
(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
(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 and Vidal, Natalia
(2000)
Graph Algorithm Animation with Grrr.
In: International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 99), Sep 01-03, 1999, Kerkrade, Netherlands .
(Full text available)
|
 Preview |
|
|
Rodrigues, Helena C.C.D. and Jones, Richard E.
(1998)
Cyclic Distributed Garbage Collection with Group Merger.
In: Jul, Eric, ed.
Proceedings of the 12th European Conference on Object-Oriented Programming.
Lecture Notes in Computer Science, 1445.
Springer, Brussels
pp. 249-273.
ISBN 3-540-64737-6 .
(Full text available)
|
|
|
Ryder, Chris and Thompson, Simon
(1999)
Aldor meets Haskell.
Technical report.
Computing Laboratory, University of Kent
(Full text available)
|
|
|
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
(Full text available)
|
 Preview |
|
S
|
Sampaio, Augusto C.A. and Woodcock, Jim and 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.
Springer-Verlag, Berlin
pp. 451-470.
ISBN 9783540439288.
(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. and Sette, S.S. and Cavalcanti, Ana L. C. and Florissi, C. and Soares, Patricia G. and 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 and Tarlecki, Andrzej and Kahrs, Stefan
(1994)
Interfaces and Extended ML.
SIGPLAN Notices,
29
(8).
pp. 111-118.
(Full text available)
|
|
|
Schmitz, Patrick and Thompson, Simon and King, Peter
(2003)
Presentation Dynamism in XML.
In: UNSPECIFIED, 20-24 May 2003, 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
(Full text available)
|
 Preview |
|
|
Sheriff, A. and Cavalcanti, Ana L. C. and Moura, Hermano
(2002)
An Action Semantics for Timed CSPm.
In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro.
(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)
|
|
|
Shibayama, Katsuyuki and Jastrzebski, Adam K. and Walczowski, Les T. and Barnaby, J.E.
(1994)
A Multi- Mode System for Gaas Circuis.
In: 1994 IEEE International Symposium on Circuits and Systems, London, England.
(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)
|
|
|
Shibayama, Katsuyuki and Walczowski, Les T. and Nalbantis, D. and Waller, Winston A.J.
(1996)
O-2 ADL: An object-oriented analog VLSI design language.
In: 2nd International Conference on ASIC, Shanghai, Peoples R China.
(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 and Chitil, Olaf
(2006)
Combining Algorithmic Debugging and Program Slicing.
In: 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, 10-12 July 2006, Venice, 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)
|
|
|
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)
(Full text available)
|
 Preview |
|
|
Smart, Nigel P.
(1996)
How difficult is it to solve a Thue equation?
In: 2nd International Symposium on Algorithmic Number Theory (ANTS-II), Talence, France.
(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)
Proving Termination of Input-Consuming Logic Programs.
In: De Schreye, Danny, ed.
Logic Programming: Proceedings of the 1999 International Conference on Logic Programming.
Logic Programming.
MIT Press
pp. 335-349.
ISBN 0-262-54104-1.
(Full text available)
|
|
|
Smaus, Jan-Georg
(1996)
Resolution K-Transformations.
Other masters thesis, Universitaet des Saarlandes (Max-Planck-Institut fuer Informatik).
(Full text available)
|
|
|
Smaus, Jan-Georg and Hill, Pat and King, Andy
(1999)
Mode Analysis Domains for Typed Logic Programs.
In: Bossi, Annalisa, ed.
Logic Programming, Synthesis and Transformation.
Lecture Notes in Computer Science, 1817
.
Springer-Verlag, pp. 82-101.
ISBN 3-540-67628-7 .
(Full text available)
|
 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 .
(Full text available)
|
 Preview |
|
|
Smith, Graeme and Derrick, John
(2002)
Abstract Specification in Object-Z and CSP.
In: George, Chris and Miao, Huaikou, eds.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002 Shanghai, China, October 21-25, 2002.
Lecture Notes in Computer Science, 2495.
Springer, Berlin
pp. 108-119.
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)
|
|
|
Stapleton, Gem and Howse, John and Taylor, John and 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.
Springer
pp. 179-186.
ISBN 3-540-21268-X.
(doi:10.1007/b95854)
(Full text available)
|
![[img]](/14197/1.hassmallThumbnailVersion/content.pdf)  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 and Bowman, Howard and 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 and Bowman, Howard and Derrick, John and Boiten, Eerke Albert
(1997)
Disjunction of LOTOS specifications.
In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds.
IFIP Conference Proceedings; Vol. 107.
Chapman & Hall, Osaka, Japan
pp. 177-192.
ISBN 0-412-82060-9 .
(Full text available)
|
 Preview |
|
|
Stone, R.D and Morse, David R.
(1996)
A software development tool for parallel and distributed systems.
In: 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19), Nottingham, England.
(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)
|
|
|
Sultana, Nik and Thompson, Simon
(2008)
A Certified Refactoring Engine.
In: Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP).
(Full text available)
|
 Preview |
|
|
Sultana, Nik and Thompson, Simon
(2008)
Mechanical Verification of Refactorings.
In: Workshop on Partial Evaluation and Program Manipulation, Jan 07-08, 2008, San Francisco, CA,.
(Full text available)
|
 Preview |
|
T
|
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
(2002)
Interpreting ODP viewpoint specifications: Observations from a Case Study.
In: Formal Methods for Open Object-Based Distributed Systems V, March 20-22, 2002, Enschede, The Netherlands.
(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 Streams Flow.
In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney Australia, December 1997.
(Full text available)
|
|
|
Telford, Alastair J. and Turner, David A.
(1999)
Ensuring Termination in ESFP.
In: 15th British Colloquium in Theoretical Computer Science, April 1999, Keele, England.
(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, 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 and Watson, Phil
(1992)
Solving divergence in Knuth-Bendix completion by enriching signatures.
In: Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991.
(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
(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
(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
(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
(1992)
Formulating Haskell.
Technical report.
University of Kent, Canterbury, UK
(Full text available)
|
|
|
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.
(Full text available)
|
![[img]](/21751/1.hassmallThumbnailVersion/proof.pdf)  Preview |
|
|
Thompson, Simon
(2004)
Refactoring Functional Programs.
In: Advanced Functional Programming: 5th International School, AFP 2004, August 14-21, 2004, Estonia.
(Full text available)
|
![[img]](/14267/1.hassmallThumbnailVersion/notes.pdf)  Preview |
|
|
Thompson, Simon and King, Peter and Schmitz, Patrick
(2007)
Declarative extensions of XML languages.
In: King, Peter and Simske, Steven, eds.
Proceedings of the 2007 ACM symposium on Document engineering.
ACM Press
pp. 89-91.
ISBN 978-1-59593-776-6.
(Full text available)
|
 Preview |
|
|
Thompson, Simon and Reinke, Claus
(2001)
Refactoring Functional Programs.
Technical report.
Computing Laboratory, University of Kent, Canterbury, Kent
(Full text available)
|
 Preview |
|
W
|
Wallace, Malcolm and Chitil, Olaf and Brehm, Thorsten and Runciman, Colin
(2001)
Multiple-View Tracing for Haskell: a New Hat.
In: Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop.
(Full text available)
|
 Preview |
|
|
Watson, Phil
(1999)
Review of "Learning with refutation".
Review of: Learning with refutation
by Jain, Sanjay.
Mathematical Reviews,
(99m:68166).
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:68174).
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:03056).
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:68210).
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:03035).
(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: Watanabe, O. and Yokomori, T., eds.
Algorithmic Learning Theory, Proceedings of the 10th International Conference.
Lecture Notes in Artificial Intelligence, 1720.
Springer Verlag
pp. 145-156.
ISBN 3-540-66748-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)
|
|
|
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
(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)
|
|
|
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.
(Full text available)
|
 Preview |
|
|
Woodcock, Jim and Cavalcanti, Ana L. C.
(2002)
The Semantics of Circus.
In:
Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble.
Lecture Notes in Computer Science, 1.
Springer-Verlag, Berlin
pp. 184-203.
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: Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'97, Murray Hill, NJ, USA, 19/08/1997, Murray Hill NJ , ETATS-UNIS .
(Full text available)
|
|
This list was generated on Wed Sep 28 21:45:19 2016 BST. |
![[img]](/style/images/fileicons/application_msword.png)
![[img]](/style/images/fileicons/other.png)
