Items where division is "Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group"
Number of items at this level: 587.
Aichernig, Bernhard K. and Boiten, Eerke and Butler, Michael and Derrick, John and Groves, Lindsay
(2009)
Preface: Special Issue on REFINE 2006.
Formal Aspects of Computing,
(The 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, 1316 October 2002, Bertinoro, Italy.
(Full text available)

Preview 

Akehurst, David H. and Derrick, John and Waters, A. Gill
(2003)
Design and Verification of Distributed Multimedia Systems.
In: FMOODS 2003  6th IFIP WG 6.1 International Conference on Formal Methods for Open ObjectBased Distributed Systems, NOV 1921, 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.
(The 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 casestudy.
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 1618, 2004, Hamilton, Canada.
(Full text available)


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,
(The 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)
Specialpurpose parallel architectures for highperformance machine learning.
In: International Conference and Exhibition on HighPerformance 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)


Beckett, David J.
(1995)
Combined Log System.
In: 3rd International WorldWide Web Conference, Darmstadt, Germany.
(Full text available)

Preview 

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
.
SpringerVerlag, pp. 204223.
ISBN 3540627189 .
(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. 153164.
ISBN 1581134630.
(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 1857286774 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 1114, 1998, 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)


Boiten, Eerke
(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. 226241.
ISBN 3540431667.
(The 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 and Grundy, Dan
(2008)
Reduction and refinement.
Electronic Notes in 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)


Boiten, Eerke
(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
(2008)
From ABZ to cryptography (abstract).
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)


Boiten, Eerke
(1993)
Parsing in ISBES.
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)


Boiten, Eerke
(2002)
REFINE 2002: The BCS FACS Refinement Workshop.
In: Derrick, John and Boiten, Eerke and Woodcock, Jim and von Wright, Joakim, eds.
REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002).
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
(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 and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten
(2000)
Viewpoint Consistency in ODP.
Computer Networks,
(The 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 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 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 190250514X.
(Full text available)

Preview 

Boiten, Eerke 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, 2328th 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 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. 144166.
ISBN 3540677275.
(The 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 and Derrick, John
(2005)
Proceedings of the REFINE 2005 Workshop.
Electronic Notes in 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)


Boiten, Eerke and Derrick, John
(2002)
Unifying concurrent and relational refinement.
Electronic Notes in 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)


Boiten, Eerke 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 and Derrick, John and Schellhorn, Gerhard
(2008)
Preface: REFINE 2008 Proceedings.
Electronic Notes in 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)


Boiten, Eerke and Derrick, John and Smith, Graeme
(2005)
Editorial: Special issue on Integrated Formal Methods.
Formal Aspects of Computing,
(The 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 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 and Hoogendijk, P.F.
(1996)
Nested collections and polytypism.
Technical report.
Department of Computing Science, Eindhoven University
(Full text available)


Bordbar, Behzad and Derrick, John and Waters, A. Gill
(2003)
A UML approach to the design of open distributed systems.
In: Formal Methods and Software Engineering, October 21–25, 2002 , Shanghai, 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)


Bordbar, Behzad and Derrick, John and Waters, A. Gill
(2002)
Using UML to specify QoS constraints in ODP.
Computer Networks,
(The 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 RealTime Control (AARTC 2000).
Workshop on Algorithms and Architectures for RealTime Control.
Elsevier, Palma de Mallorca, Spain
pp. 105110.
ISBN 0080436854 .
(Full text available)

Preview 

Bordbar, Behzad and Giacomini, Luisa and Holding, David J.
(2000)
Hybrid Control Systems: a Design Case Study.
In:
Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on.
IEEE, Alaska, USA
pp. 947952.
ISBN 0780365623.
(Full text available)

Preview 

Bowman, Howard
(2001)
Formal Methods Elsewhere.
Electronic Notes in 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)


Bowman, Howard
(1999)
Modelling Timeouts without Timelocks.
In:
Formal Methods for RealTime and Probabilistic Systems.
Lecture Notes in Computer Science, 1601.
SpringerVerlag
pp. 334354.
(Full text available)


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 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 Boiten, Eerke and Derrick, John and Steen, Maarten
(1999)
Strategies for consistency checking based on unification.
Science of Computer 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)


Bowman, Howard and BriscoeSmith, 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 objectbased distributed systems.
Chapman and Hall
pp. 335351.
ISBN 0412820404 .
(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 2425, 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 Cameron, Helen and King, Peter and Thompson, Simon
(2003)
Mexitl: Multimedia in Executable Interval Temporal Logic.
Formal Methods in System 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)


Bowman, Howard and Derrick, John
(1997)
Extending LOTOS with Time: True Concurrency Perspective.
In: Bertran, Miquel and Rus, Teodor, eds.
TransformationBased Reactive Systems Development.
Lecture Notes in Computer Science, 1231.
SpringerVerlag
pp. 382399.
ISBN 3540630104 .
(The 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,
(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, DSVIS 98, Jun 0305, 1998, Abington, England, .
(Full text available)


Bowman, Howard and Katoen, JP.
(1998)
A True Concurrency Semantics for ETLOTOS.
In: CSD'98 International Conference on Application of Concurrency to System Design, Mar 2326, 1998, Fukushima, 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)


Bowman, Howard and Steen, Maarten and Boiten, Eerke and Derrick, John
(2002)
A Formal Framework for Viewpoint Consistency.
Formal Methods in System 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)


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).
SpringerVerlag
pp. 108123.
ISBN 3540644067.
(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 1819, 2004, Dallas, TX, .
(Full text available)

Preview 

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, 27th29th 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 Automatabased 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. 176193.
ISBN 3540411968.
(Full text available)


Bryans, Jeremy W. and Bowman, Howard and Derrick, John
(2003)
Model Checking Stochastic Automata.
ACM Transactions on Computational Logic,
(The 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)
Realtime CSP and ETLOTOS.
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: Lecture Notes in Computer Science 962.
(The 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 and Derrick, John and Smith, Graeme, eds.
Integrated Formal Methods.
Springer
pp. 421440.
ISBN 3540213775.
(The 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, 2729 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 Nonstandard 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, 7th10th 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 

Cameron, Helen and King, Peter and Thompson, Simon
(2003)
Modelling Reactive Multimedia: Events and Behaviours.
Multimedia Tools and 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)


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. 355369.
ISBN 3540642986 .
(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, LarsHenrik and Lindsay, Peter A., eds.
FME 2002: Formal Methods  Getting IT Right.
Lecture Notes in Computer Science, 1.
SpringerVerlag, Berlin
pp. 471490.
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 Specificationoriented Model for Objectorientation.
In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 57, 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
(1998)
Procedures and Recursion in the Refinement Calculus.
Journal 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 Sampaio, Augusto C.A. and Woodcock, Jim
(2002)
Refinement of Actions in Circus.
In: Proceedings of REFINE'2002, July 2002, 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)


Cavalcanti, Ana L. C. and Woodcock, Jim
(2002)
A Weakest Precondition Semantics for Circus.
In: Proceedings of the Communicating Processing Architectures 2002, 1518 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,
(The 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,
(The 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 0596518188.
(The 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. 165181.
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. 13341344.
ISBN 9780471383932.
(Full text available)

Preview 

Chitil, Olaf
(2005)
HatExplore: SourceBased Trace Exploration.
In: Runciman, Colin, ed.
Implementation and Application of Functional Languages.
Lecture Notes in Computer Science, 3474/2.
Springer Berlin / Heidelberg
pp. 126141.
ISBN 9783540260943.
(Full text available)

Preview 

Chitil, Olaf
(2005)
Pretty Printing with Partial Continuations.
In: 17th International Workshop on Implementation and Application of Functional Languages, 1921 September 2005, Dublin, Ireland.
(Full text available)

Preview 

Chitil, Olaf
(2006)
Promoting NonStrict 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)
SourceBased Trace Exploration.
In:
Implementation and Application of Functional Languages.
Lecture Notes in Computer Science.
Technical Report 0408, University of Kiel
pp. 239244.
ISBN 3540260943 .
(Full text available)

Preview 

Chitil, Olaf
(2005)
Sourcebased 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. 126144.
ISBN 97835407412909 .
(Full text available)

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 Vol. 4807, 4807.
Springer
pp. 3853.
ISBN 3540766367.
(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 0811, 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)


Cohen, Dave and Watson, Phil
(1991)
An efficient representation of arithmetic for term rewriting.
In: Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 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)


Colchester, Alan C. F. and Ourselin, Sébastien and Zhu, Yonggen and Bardinet, Eric and He, Yang and Roche, Alexis and AlSarraj, Safa and Nailon, Bill and Ironside, James and Ayache, Nicholas
(2000)
3D reconstruction of macroscopic optical brain slice images.
In: 3rd International Conference on Medical Image Computing and ComputerAssisted 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 dr.e. degrees.
Israel Journal of Mathematics,
(The 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, 20th21st July 2002, 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)


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 HighPerformance 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)


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: PreProceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006.
(Submitted)
(Full text available)

Preview 

Davies, Jim and Bryans, Jeremy W. and Schneider, Steve A.
(1996)
Realtime 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 MultiProcessor 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 StarFree Regular Languages.
In: Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 1921, 2008, Sep 1921, 2008, Herrsching, Germany.
(Full text available)

Preview 

Derrick, John
(2003)
Timed CSP and ObjectZ.
In: 3rd International Conference on B and Z Users, JUN 0406, 2003, TURKU, FINLAND.
(The 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
(2002)
A framework for UML consistency.
In: Workshop on Consistency Problems in UMLbased Software Development, October 1st, 2002 , Dresden, Germany.
(Full text available)

Preview 

Derrick, John and Boiten, Eerke
(2008)
More relational refinement: traces and partial relations.
Electronic Notes in 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)


Derrick, John and Boiten, Eerke
(2000)
Refinement of objects and operations in ObjectZ.
In: Smith, Scott F. and Talcott, Carolyn L., eds.
Fourth International Conference on Formal methods for open objectbased distributed systems IV.
Kluwer Academic Publishers
pp. 257277.
ISBN 0792379233 .
(Full text available)

Preview 

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten
(1997)
Translating LOTOS to ObjectZ.
In: 2nd BCSFACS Northern Formal Methods Workshop : Proceedings of the 2nd BCSFACS Northern Formal Methods Workshop, 1415 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 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.
SpringerVerlag, Reading
pp. 369388.
ISBN 3540627170.
(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. 117131.
ISBN 3540223819 .
(The 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 ObjectZ / 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. 194213.
ISBN 3540411968 .
(Full text available)


Derrick, John and Wehrheim, Heike
(2003)
Using coupled simulations in nonatomic refinement.
In: ZB 2003: Formal Specification and Development in Z and B, Jun 0406, 2003, Turku, Finland, .
(The 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. and Watson, Phil
(1991)
Ordersorted term rewriting.
Computer Journal,
(The 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.
SpringerVerlag
pp. 347358.
ISBN 9783540000297.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, Phil
(1997)
A comparison of realtime formal specification languages.
In: Duke, David J. and Evans, A.S., eds.
BCSFACS 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)


Faridani, A. and Dimond, Keith R.
(1994)
A TransputerBased Vision System for Mobile Robots.
In: 7th Conference of the NorthAmericanTransputerUsersGroup (NATUG7), 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)


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 1215, 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. 5363.
(The 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. 177192.
ISBN 3540201750 .
(The 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: Proc. Intnl Conf. on Functional Programming, OCT 0406, 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)


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 HigherOrder 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)
StronglyTyped 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. 221235.
(The 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. 125204.
(The 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
.
SpringerVerlag, pp. 148167.
ISBN 9783540650744.
(Full text available)

Preview 

Hill, Steve
(1995)
Parallel imperative functional programming.
In: 18th Technical Meeting of the WorldoccamandTransputerUserGroup (WoTUG18), 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 ZBuffer.
Information Processing Letters,
(The 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 ZBuffer.
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,
(The 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 Algorithm540.
Acm Transactions on Mathematical Software,
(The 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
(2001)
Positive Boolean Functions as Multiheaded Clauses.
In: Codognet, Philippe, ed.
International Conference on Logic Programming.
Lecture Notes in Computer Science, 2237
.
SpringerVerlag, London, pp. 120134.
ISBN 3540429352.
(Full text available)

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
.
SpringerVerlag, pp. 118135.
ISBN 9783540676287.
(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 RamBase 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)


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*.
(The 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,
(The 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
2892*.
(The 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)


Kahrs, Stefan
(2006)
Gene Expression Programming with PreOrder Traversals.
In: 6th International Conference on Recent Advances in Soft Computing, 1012 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
(2006)
Genetic Programming with Primitive Recursion.
In: 2006 Genetic and Evolutionary Computation Conference, 812 July 2006 , Seattle, Washington (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)


Kahrs, Stefan
(2009)
Modularity of Convergence in Infinitary Rewriting.
In: Rewriting Techniques and Applications, JUN 29JUL 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)
Redblack trees with types.
Journal of 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)


Kahrs, Stefan
(2003)
WellGoing Programs Can Be Typed.
In: Typed Lambda Calculi and Applications, Jun 1012, 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.
HigherOrder Algebra, Logic, and Term Rewriting.
Lecture Notes in Computer Science, 816.
Springer
pp. 169188.
ISBN 3540582339.
(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.
(1995)
Multimedia and Spatial Information Systems.
IEEE Multimedia,
(The 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)
LogicBased Program Synthesis and Transformation.
Lecture Notes in Computer Science
(4915).
SpringerVerlag, 219 pp.
ISBN 9783540787686.
(The 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 Objectoriented programming, systems, languages, and applications.
SIGPLAN.
ACM, Seattle, WA
pp. 112113.
ISBN 1581136269 .
(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. 137149.
ISBN 0792394577.
(The 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)
Depthk Sharing and Freeness.
In: Van Hentenryck, Pascal, ed.
International Conference on Logic Programming.
MIT Press Series in Logic Programming
.
MIT Press, pp. 553568.
ISBN 0262720221 .
(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).
SpringerVerlag, pp. 279286.
ISBN 354055033X.
(Full text available)

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. 322334.
ISBN 354055873X.
(Full text available)

Preview 

Lai, Luming and Watson, Phil
(1997)
A case study in Timed CSP: the railroad crossing problem.
In: Maler, O., ed.
Hybrid and RealTime Systems.
Lecture Notes in Computer Science, 1201.
Springer Verlag
pp. 6974.
ISBN 354062600X.
(The 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 1618, 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)

Preview 

Li, Huiqing and Thompson, Simon
(2007)
Testing Erlang Refactorings with QuickCheck.
In:
Lecture Notes In Computer Science archive.
Lecture Notes In Computer Science , 5083.
Springer, Freiburg, Germany
pp. 1936.
ISBN 9783540853725 .
(Full text available)

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 

Lins, Rafael D.
(1989)
Cyclic Reference Counting with Local MarkScan.
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 Multicombinators.
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 Symposium.
Lecture Notes in Computer Science, 2477
.
SpringerVerlag, Berlin, pp. 85101.
ISBN 9783540442356.
(Full text available)

Preview 

Luo, Yong
(2005)
New etareduction and ChurchRosser.
Technical report.
Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK
(Full text available)

Preview 

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
.
SpringerVerlag, pp. 224238.
ISBN 3540627189 .
(Full text available)

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. 173184.
ISBN 3540627812 .
(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.
SpringerVerlag, pp. 3758.
(The 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 ObjectOriented 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.
PrenticeHall, pp. 80109.
(The 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 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.
(The 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
(2002)
Handling Inconsistencies in Z using QuasiClassical 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.
SpringerVerlag Berlin Heidelberg, Grenoble, France
pp. 204225.
ISBN 3540431667.
(The 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 2628 2002.
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence.
SpringerVerlag Berlin and Heidelberg GmbH & Co. KG, Berlin
pp. 374375.
ISBN 9783540001584.
(Full text available)

Preview 

NguyenViet, 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. 21735.
ISBN 9783540347507.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Oliveira, Marcel V. M. and Cavalcanti, Ana L. C.
(2000)
Tactics of Refinement.
In: 14th Brazilian Symposium on Software Engineering, 46 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)


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 Widthsubtyping 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. 439457.
ISBN 354063388X .
(Full text available)


Printezis, Tony and Jones, Richard E.
(2002)
GCspy: An Adaptable Heap Visualisation Framework.
In: Proceedings of OOPSLA'02 ACM Conference on ObjectOriented Systems, Languages and Applications, November 48, 2002, Seattle, Washington, USA.
(Full text available)

Preview 

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, HansJörg and Ziegler, Jürgen, eds.
HumanComputer Interaction: Communication, Cooperation, and Application Design.
Lawrence Erlbaum Associates
pp. 402406.
(The 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 0103, 1999, Kerkrade, Netherlands .
(Full text available)

Preview 

Rodgers, Peter and Vidal, Natalia
(1999)
Pragmatic Graph Rewriting Modifications.
In: Proceedings of the 1999 IEEE Symposium on Visual Languages, 1316 Sept. 1999, Tokyo, Japan.
(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 ObjectOriented Programming.
Lecture Notes in Computer Science, 1445.
Springer, Brussels
pp. 249273.
ISBN 3540647376 .
(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 

Sampaio, Augusto C.A. and Woodcock, Jim and Cavalcanti, Ana L. C.
(2002)
Refinement in Circus.
In: Eriksson, LarsHenrik and Lindsay, Peter A., eds.
FME 2002: Formal Methods  Getting IT Right.
Lecture Notes in Computer Science, 1.
SpringerVerlag, Berlin
pp. 451470.
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)


Schmitz, Patrick and Thompson, Simon and King, Peter
(2003)
Presentation Dynamism in XML.
In: UNSPECIFIED, 2024 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 ETLOTOS.
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 57, 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)
O2 ADL: An objectoriented 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, 1012 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. 365379.
ISBN 3540441441.
(Full text available)

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.
Lecture Notes in Computer Science, 2664
.
SpringerVerlag, Berlin, pp. 7189.
ISBN 9783540404385.
(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 (ANTSII), 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, JanGeorg
(1999)
Proving Termination of InputConsuming Logic Programs.
In: De Schreye, Danny, ed.
Logic Programming: Proceedings of the 1999 International Conference on Logic Programming.
Logic Programming.
MIT Press
pp. 335349.
ISBN 0262541041.
(Full text available)


Smaus, JanGeorg
(1996)
Resolution KTransformations.
Other masters thesis, Universitaet des Saarlandes (MaxPlanckInstitut fuer Informatik).
(Full text available)


Smaus, JanGeorg 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
.
SpringerVerlag, pp. 82101.
ISBN 3540676287 .
(Full text available)

Preview 

Smaus, JanGeorg 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
.
SpringerVerlag, see also http://www.springer.de/comp/lncs/index.html, pp. 182196.
ISBN 3540650121 .
(Full text available)

Preview 

Smith, Graeme and Derrick, John
(2002)
Abstract Specification in ObjectZ 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 2125, 2002.
Lecture Notes in Computer Science, 2495.
Springer, Berlin
pp. 108119.
ISBN 3540000291.
(The 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.
In: 5th International World Wide Web Conference (WWW5), Paris, 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)


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. 179186.
ISBN 354021268X.
(Full text available)

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
(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. 177192.
ISBN 0412820609 .
(Full text available)

Preview 

Steen, Maarten and Derrick, John
(1999)
Formalising ODP Enterprise Policies.
In: 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), Sep 2730, 1999, Mannheim, Germany.
(Full text available)


Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard
(1999)
Consistency of partial process specifications.
In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 0408, 1999, Amazonia, Brazil.
(Full text available)


Stone, R.D and Morse, David R.
(1996)
A software development tool for parallel and distributed systems.
In: 19th WorldOccamandTransputerUserGroup Technical Meeting  Parallel Processing Developments (WoTUG19), 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 0708, 2008, San Francisco, CA,.
(Full text available)

Preview 

Taylor, Chris and Boiten, Eerke and Derrick, John
(2002)
Interpreting ODP viewpoint specifications: Observations from a Case Study.
In: Formal Methods for Open ObjectBased Distributed Systems V, March 2022, 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 KnuthBendix 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,
(The 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 0201403579.
(The 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
.
AddisonWesley, Harlow, UK
ISBN 0201342758.
(The 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 0201422794.
(The 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. 93119.
ISBN 1852330929.
(Full text available)

Preview 

Thompson, Simon
(2004)
Refactoring Functional Programs.
In: Advanced Functional Programming: 5th International School, AFP 2004, August 1421, 2004, Estonia.
(Full text available)

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. 8991.
ISBN 9781595937766.
(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 

Wallace, Malcolm and Chitil, Olaf and Brehm, Thorsten and Runciman, Colin
(2001)
MultipleView 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,
(The 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,
(The 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,
(The 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,
(The 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,
(The 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. 145156.
ISBN 3540667482.
(The 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 recurrenceterm languages from positive data.
In: Jantke, Klaus P. and Lange, Steffen, eds.
Algorithmic learning for knowledgebased systems.
Lecture Notes in Artificial Intelligence, 961
.
Springer Verlag, pp. 292315.
(The 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,
(The 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. 104129.
ISBN 9051993366.
(Full text available)

Preview 

Wilson, Eve
(1994)
Using Corpora as a Resource in Language Teaching.
In: Euro CALL 93 Conference, Hull, 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)


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.
SpringerVerlag, Berlin
pp. 184203.
ISBN 9783540431664.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


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 , ETATSUNIS .
(Full text available)


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)


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


This list was generated on Fri Oct 9 21:06:01 2015 BST.
