Programming Languages and Systems: Publications

Below are the research group publications, with links to associated projects where relevant.

Multicore scheduling for lightweight communicating processes. Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes. Science of Computer Programming, 77(6):727-740, June 2012. (more details) download publication
The garbage collection handbook: The art of automatic memory management. Richard Jones, Antony Hosking, and Eliot Moss. Chapman and Hall, January 2012. (more details)
Projects: Tony Hosking
A Pearl on SAT and SMT Solving in Prolog. Jacob M. Howe and Andy King. Theoretical Computer Science, page 17, January 2012. Special Issue for the Tenth International Symposium on Functional and Logic Programming, edited by Matthias Blume and German Vidal. (more details) download publication
Repeatability, reproducibility and rigor in systems research (invited paper). Jan Vitek and Tomas Kalibera. In Proceedings of the 11th International Conference on Embedded Software (EMSOFT). ACM, October 2011. (more details) download publication
Replicating real-time garbage collector. Tomas Kalibera. Concurrency and Computation: Practice and Experience, 23(14), September 2011. (more details) download publication
A family of real-time Java benchmarks. Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben Titzer, and Jan Vitek. Concurrency and Computation: Practice and Experience, 23(14), September 2011. (more details) download publication
Scheduling real-time garbage collection on uniprocessors. Tomas Kalibera, Filip Pizlo, Antony L. Hosking, and Jan Vitek. ACM Transactions on Computer Systems, 29(3), August 2011. (more details) download publication
RedAlert: Determinacy Inference for Prolog. Jael Kriener and Andy King. Theory and Practice of Logic Programming, 11(4-5):537-553, July 2011. (more details) download publication
Existential Quantification as Incremental SAT. Jorg Brauer, Andy King, and Jael Kriener. In Ganesh Gopalakrishnan and Shaz Qadeer, editors, Twenty Third International Conference on Computer Aided Verification, Lecture Notes in Computer Science, page 16. Springer-Verlag, July 2011. (more details) download publication
Handles revisited: optimising performance and memory costs in a real-time collector. Tomas Kalibera and Richard Jones. In Proceedings of the 10th International Symposium on Memory Management (ISMM). ACM, June 2011. (more details) download publication
Incremental Code Clone Detection and Elimination for Erlang Programs. Huiqing Li and Simon Thompson. In Dimitra Giannakopoulou and Fernando Orejas, editors, Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11), Lecture Notes in Computer Science. Springer, March 2011. (more details) download publication
Transfer Function Synthesis without Quantifier Elimination. Jorg Brauer and Andy King. In Gilles Barthe, editor, Twentieth European Symposium on Programming, volume 6602 of Lecture Notes in Computer Science, pages 97-115. Springer-Verlag, March 2011. (more details) download publication
A semantics for lazy assertions. Olaf Chitil. In Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2011, pages 141-150. ACM, January 2011. (more details) download publication
Incompleteness of relational simulations in the blocking paradigm. Eerke Boiten and John Derrick. Science of Computer Programming, page 12, December 2010. Accepted for publication. (more details) download publication
Regular expression matching using associative memory. Gerald Tripp. Technical Report 4-10, School of Computing, University of Kent., Canterbury, Kent. CT2 7NF. UK., October 2010. (more details) download publication
Refactoring Support for Modularity Maintenance in Erlang. Huiqing Li and SImon Thompson. In Jurgen Vunju and Cristina Marinescu, editors, Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, pages 157-166. IEEE Computer Society, September 2010. (more details) download publication
Aspects of CXXR internals. Andrew R. Runnalls. Computational Statistics, September 2010. Based on a paper delivered at the Directions in Statistical Computing conference (DSC2009), Copenhagen, 2009. (more details) download publication
Process-oriented device driver development. F.R.M. Barnes and C.G. Ritson. Concurrency and Computation: Practice and Experience, 22(8):995-1006, June 2010. (more details) download publication
Santa claus: Formal analysis of a process-oriented solution.. Peter H. Welch and Jan B. Pedersen. ACM Transactions on Programming Languages and Systems, 32(4):14:1-14:37, April 2010. (more details) download publication
Alting Barriers: Synchronisation with Choice in Java using JCSP. Peter H. Welch, Neil C. C. Brown, James Moores, Kevin Chalmers, and Bernhard H. C. Sputh. Concurrency and Computation: Practice and Experience, 22:1049-1062, March 2010. The DOI should redirect to http://onlinelibrary.wiley.com.chain.kent.ac.uk/doi/10.1002/cpe.1471/abstract . (more details) download publication
A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. Concurrency and Computation: Practice and Experience, 22:965-980, March 2010. (more details) download publication
Efficient detection of errors in java components using random environment and restarts. Pavel Parizek and Tomas Kalibera. In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, March 2010. (more details) download publication
The Two Variable Per Inequality Abstract Domain. Axel Simon, Andy King, and Jacob M. Howe. Higher-Order and Symbolic Computation, 31(1):87-143, March 2010. Note the Springer published the *wrong* version of this paper in HOSC and this on-line version of the paper should be taken as final. (more details) download publication
Checking process-oriented operating system behaviour using csp and refinement. Frederick R. M. Barnes and Carl G. Ritson. SIGOPS Oper. Syst. Rev., 43(4):45-49, December 2009. (more details) download publication
Projects: RMoX
Logahedra: a New Weakly Relational Domain. Jacob M. Howe and Andy King. In Zhiming Lu and Anders P. Ravn, editors, International Symposium on Automated Technology for Verification and Analysis, Lecture Notes in Computer Science. Springer-Verlag, October 2009. (more details) download publication
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?. Darren K. Griffin, David Mitchell, and Simon Thompson. Computers and Education, 53(2):532-539, September 2009. (more details) download publication
A compositional translation of Timed Automata with Deadlines to Uppaal Timed Automata. Rodolfo Gomez. In Proc. of the 7th Int. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 14-16 September, Budapest, Hungary, LNCS 5813, pages 179-194. Springer, September 2009. (more details)
Projects: RT-models
Detecting plagiarism in microsoft excel assignments. Laurence Hellyer and Lawrence Beadle. In Hazel White, editor, 10th Annual Conference of the Subject Centre for Information and Computer Sciences, pages 130-134. HE Academy, August 2009. (more details)
Multicore Scheduling for Lightweight Communicating Processes. Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. In John Field and Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science, pages 163-183. Springer, June 2009. (more details) download publication
Projects: CoSMoS, KRoC, RMoX
Modularity of convergence in infinitary rewriting. Stefan Kahrs. In Ralf Treinen, editor, Rewriting Techniques and Applications, volume 5595 of Lecture Notes in Computer Science, pages 179-193. Springer, June 2009. (more details)
Modularity of convergence in infinitary rewriting. Stefan Kahrs. In Rewriting Techniques and Applications, page 15, June 2009. to appear. (more details)
Integer Polyhedra for Program Analysis. Philip Charles, Jacob Howe, and Andy King. In Andrew Goldberg and Yunhong Zhou, editors, Proceedings of the Fifth International Conference on Algorithmic Aspects in Information and Management, Lecture Notes in Computer Science. Springer-Verlag, June 2009. (more details) download publication
Erlang Programming. Francesco Cesarini and Simon Thompson. O'Reilly, June 2009. (more details)
Compositional detection of Zeno behavior in Timed Automata with Deadlines. Rodolfo Gomez. Technical report 3-09, Computing Laboratory, University of Kent, June 2009. (more details) download publication
Projects: RT-models
Mobile processes, mobile channels and dynamic systems. Eric Bonnici and Peter H. Welch. In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 232-239. IEEE Press, May 2009. (more details) download publication
The engineering of concurrent simulations of complex systems. Fiona A.C. Polack, Paul S. Andrews, and Adam T. Sampson. In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 217-224. IEEE Press, May 2009. (more details) download publication
Projects: CoSMoS
Birds on the wall: Distributing a process-oriented simulation. Adam T. Sampson, John Markus Bjørndalen, and Paul S. Andrews. In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 225-231. IEEE Press, May 2009. (more details) download publication
Projects: CoSMoS
Sols: Self organising distributed location server for wireless ad hoc networks. Gareth Owen and Mo Adda. International Journal of Computer Networks & Communications (IJCNC), 1(1):17-30, April 2009. (more details)
The expressiveness of spider diagrams augmented with constants. Gem Stapleton, John Taylor, Simon Thompson, and John Howse. Journal of Visual Languages and Computing, 20:30-49, April 2009. (more details) download publication
From LIDL(m) to Timed Automata. Rodolfo Gomez. Technical Report TR-2-09-2009, Computing Laboratory, University of Kent, April 2009. (more details) download publication
Projects: RT-models
Sols: Self organising distributed location server for wireless ad hoc networks. Gareth Owen and Mo Adda. In 9th International Symposium on Autonomous Decentralized Systems, Athens, Greece, March 2009. (more details)
Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. Huiqing Li and Simon Thompson. In Massimiliano Di Penta and Jens Knodel, editors, Third International Workshop on Detection of Software Clones, page 1pp, Kaiserslautern, Germany, March 2009. (more details) download publication
Relational concurrent refinement II: Internal operations and outputs. E.A. Boiten, J. Derrick, and G. Schellhorn. Formal Aspects of Computing, 21(1-2):65-102, February 2009. (more details)
Modelling divergence in relational concurrent refinement. E.A. Boiten and J. Derrick. In M. Leuschel and H. Wehrheim, editors, IFM 2009: Integrated Formal Methods, volume 5423 of LNCS, pages 183-199. Springer Verlag, February 2009. (more details)
Preface: Special Issue on REFINE 2006. Bernhard Aichernig, Eerke A. Boiten, Michael Butler, John Derrick, and Lindsay Groves. Formal Aspects of Computing, 21(1-2):1, February 2009. (more details)
Linear, bounded, functional pretty-printing. S. Doaitse Swierstra and Olaf Chitil. Journal of Functional Programming, 19(01):1-16, January 2009. (more details) download publication
Functional programming. Olaf Chitil. In Benjamin W. Wah, editor, Encyclopedia of Computer Science and Engineering, volume 2, pages 1334-1344. John Wiley & Sons, Hoboken, NJ, January 2009. (more details) download publication
Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. Huiqing Li and Simon Thompson. In ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09), Savannah, Georgia, USA, January 2009. (more details) download publication
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry. Andy King. In Puri Arenas and Damiano Zanardini, editors, Proceedings on Logic-Based Methods in Programming Envrionments, pages 1-7, Udine, December 2008. Invited paper. (more details)
Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling. Samir Genaim and Andy King. ACM Transactions on Computational Logic, November 2008. To appear. (more details) download publication
Safe parallelism for behavioral control. Matthew C. Jadud, Christian L. Jacobsen, Carl G. Ritson, and Jonathan Simpson. In 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA), pages 137-142. IEEE, November 2008. (more details) download publication
Tool Support for Refactoring Functional Programs. Huiqing Li and Simon Thompson. In Danny Dig, Robert Fuhrer, and Ralph Johnson, editors, Proceedings of the Second ACM SIGPLAN Workshop on Refactoring Tools, page 4pp, Nashville, Tennessee, USA, October 2008. (more details)
Regular expression matching with input compression and next state prediction.. Gerald Tripp. Technical Report 3-08, Computing Laboratory, University of Kent, October 2008. (more details) download publication
A CSP Model for Mobile Channels. P.H. Welch and Frederick R.M. Barnes. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 17-33, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Projects: KRoC, RMoX
Communicating process architectures 2008. Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, volume 66 of Concurrent Systems Engineering, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details)
Virtual Machine Based Debugging for occam-pi. Carl G. Ritson and Jonathan Simpson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering Series, pages 293-307, Amsterdam, The Netherlands, September 2008. IOS Press. (more details) download publication
Projects: The Transterpreter
Two-way protocols for occam-pi. Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 85-97, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Process-oriented collective operations. John Markus Bjørndalen and Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 309-328, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Projects: CoSMoS
Communicating haskell processes: Composable explicit concurrency using monads. Neil C.C. Brown. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 67-83, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Representation and implementation of csp and vcr traces. Neil C.C. Brown and Marc L. Smith. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 329-345, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Visual process-oriented programming for robotics. Jonathan Simpson and Christian L. Jacobsen. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 365-380, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Santa Claus - with Mobile Reindeer and Elves. P.H. Welch and Jan B. Pedersen. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 455-456, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Simulating biology: towards understanding what the simulation shows. Paul S. Andrews, Fiona Polack, Adam T. Sampson, Lisa Scott, and Mark Coles. In Susan Stepney, Fiona Polack, and Peter Welch, editors, Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008, pages 93-123. Luniver Press, September 2008. (more details) download publication
Projects: CoSMoS
Proceedings of the 2008 workshop on complex systems modelling and simulation, york, uk, september 2008. Susan Stepney, Fiona Polack, and Peter Welch, editors. Luniver Press, September 2008. (more details) download publication
From ABZ to cryptography (abstract). Eerke A. Boiten. In E. Börger, M. Butler, J.P. Bowen, and P. Boca, editors, ABZ 2008, volume 5238 of LNCS, page 353. Springer, September 2008. (more details)
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Aidan Delaney, John Taylor, and Simon Thompson. In Gem Stapleton, John Howse, and John Lee, editors, Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, number 5223 in Lecture Notes in Computer Science, pages 172-187, September 2008. (more details) download publication
Refactoring with Wrangler, updated. Huiqing Li, Simon Thompson, Gy"orgy Orosz, and Melinda T"oth. In ACM SIGPLAN Erlang Workshop 2008, Victoria, British Columbia, Canada, September 2008. (more details)
Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. Huiqing Li, Simon Thompson, George Orosz, and Melinda Toth. In Zoltan Horvath and Tee Teoh, editors, Proceedings of the Seventh ACM SIGPLAN Erlang Workshop, page 12pp. ACM Press, September 2008. (more details) download publication
Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. A.T. Sampson, P.H. Welch, D.N. Warren, P.S. Andrews, J.M. Bjørndalen, S.Stepney, and J. Timmis. In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 17-24, Cambridge, MA, USA., August 2008. MIT Press. (more details) download publication
Projects: CoSMoS
International symposium on memory management (ISMM 2008) summary. Richard Jones and Steve Blackburn. ACM SIGPLAN Notices, 43(8):12-14, August 2008. This article summaries the 2008 International Symposium on Memory Management and the innovations introduced into the reviewing process. (more details) download publication
Storing data in ad hoc networks. G Owen and M. Adda. In Challenges in Higher Education & Research, volume 6. Heron Press Sofia, August 2008. (more details)
Complex systems models: engineering simulations. Fiona A.C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, and Jon Timmis. In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 482-489, Cambridge, MA, USA, August 2008. MIT Press. (more details) download publication
Projects: CoSMoS
Bit-Precise Reasoning with Affine Functions. Neil Kettle and Andy King. Electronic Notes in Theoretical Computer Science, page 12, July 2008. Revised, Selected papers from the Bit-Precise Reasoning (BPR'08) workshop in Princetown. (more details) download publication
Inferring Congruence Equations using SAT. Andy King and Harald Sondergaard. In Aarti Gupta and Sharad Malik, editors, Twentieth International Conference on Computer-Aided Verification, Lecture Notes in Computer Science. Springer-Verlag, July 2008. (more details) download publication
Comprehending finite maps for algorithmic debugging of higher-order functional programs. Olaf Chitil and Thomas Davie. In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pages 205-216. ACM, July 2008. (more details) download publication
Implementation and application of functional languages: 19th international workshop, ifl 2007, freiburg, germany, september 27-29, 2007. revised selected papers. Olaf Chitil, Zoltàn Horvàth, and Viktòria Zsòk, editors, LNCS 5083, Berlin, Heidelberg, July 2008. Springer-Verlag. (more details)
A study of Java demographics. Richard Jones and Chris Ryder. In Steve Blackburn, editor, Proceedings of the 2008 International Symposium on Memory Management (ISMM'08), pages 121-130, Tucson, AZ, June 2008. ACM Press. (more details) download publication
Projects: LACE
Preface: Refine 2008 proceedings. Eerke A. Boiten, John Derrick, and Gerhard Schellhorn. Electronic Notes in Theoretical Computer Science, 214:1, June 2008. (more details)
Storing data in ad hoc networks. Gareth Owen and Mo Adda. In International Conference on Challenges in Higher Education and Research in the 21st Century, Bulgaria, June 2008. (more details)
Verification of Timed Automata with Deadlines in Uppaal. Rodolfo Gomez. Technical Report 2-08, Computing Laboratory, University of Kent, June 2008. (more details) download publication
Projects: RT-models
More relational refinement: traces and partial relations. J. Derrick and E.A. Boiten. Electronic Notes in Theoretical Computer Science, 214:255-276, May 2008. Proceedings of REFINE 2008 (Turku, May 2008). (more details)
Adding authorisation to eduroam. David Chadwick, George Beitis, and Gareth Owen. In TERENA Networking Conference, Brugge, Belgium, May 2008. (more details)
Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. Huiqing Li and Simon Thompson. In P. Achten, P. Koopman, and M. T. Morazán, editors, Draft Proceedings of the Ninth Symposium on Trends in Functional Programming(TFP), The Netherlands, May 2008. (more details)
A Certified Refactoring Engine. Nik Sultana and Simon Thompson. In P. Achten, P. Koopman, and M. T. Morazán, editors, Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP), May 2008. (more details) download publication
Matching and modifying with generics. Neil C. C. Brown and Adam T. Sampson. In Peter Achten, Pieter Koopman, and Marco T. Morazán, editors, Trends in Functional Programming (TFP) 2008, pages 304-318, May 2008. Draft Proceedings. (more details) download publication
Projects: Tock
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. Neil Kettle and Andy King. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27(4):764-777, April 2008. Digital Object Identifier 10.1109/TCAD.2008.917592. (more details) download publication
Programming errors in traversal programs over structured data. Ralf Laemmel, Simon Thompson, and Markus Kaiser. In Jurgen Vinju and Adrian Johnstone, editors, 8th Workshop on Language Description, Tools and Applications, volume 238 of ENTCS, pages 135-153. Springer, April 2008. (more details) download publication
Patterns for programming in parallel, pedagogically. Matthew C. Jadud, Jonathan Simpson, and Christian L. Jacobsen. In SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education, pages 231-235, New York, NY, USA, March 2008. ACM. (more details)
Logic-based program synthesis and transformation, kongens lyngby, denmark, august 23-24, 2007, revised selected papers. Andy King. Number 4915 in Lecture Notes in Computer Science. Springer-Verlag, March 2008. (more details)
Reduction and refinement. Eerke Boiten and Dan Grundy. Electronic Notes in Theoretical Computer Science, 201C:31-44, February 2008. Proceedings of the BCS-FACS Refinement Workshop, Oxford, 2007. doi 10.1016/j.entcs.2008.02.014. (more details)
Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). E.A. Boiten, J. Derrick, and G. Smith. Electronic Notes in Theoretical Computer Science, 201:1, February 2008. (more details)
An information theoretic evaluation of software metrics for object lifetime prediction. Jeremy Singer, Sebastien Marion, Gavin Brown, Richard Jones, Mikel Lujan, Chris Ryder, and Ian Watson. In 2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'08), page 15, Goteborg, Sweden, January 2008. (more details) download publication
Projects: LACE
Inferring Congruence Equations with SAT. Andy King and Harald Sondergaard. Technical Report 1-08, Computing Laboratory, University of Kent, January 2008. (more details) download publication
Tool Support for Refactoring Functional Programs. Huiqing Li and Simon Thompson. In Partial Evaluation and Program Manipulation, San Francisco, California, USA, January 2008. (more details)
Mechanical Verification of Refactorings. Nik Sultana and Simon Thompson. In Workshop on Partial Evaluation and Program Manipulation. ACM SIGPLAN, January 2008. (more details)
A self-organising distributed location server for ad hoc networks. Gareth Owen. PhD thesis, University of Portsmouth, November 2007. (more details) download publication
Projects: LAHN
Monadic prompt lazy assertions in Haskell. Olaf Chitil and Frank Huch. In Zhong Shao, editor, Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, LNCS 4807, pages 38-53. Springer, November 2007. (more details) download publication
Expressiveness of temporal query languages: On the modelling of intervals, interval relationships and states. R.S. Gomez and J.C. Ausguto. Artificial Intelligence Review, November 2007. Electronic version available online (http://www.springerlink.com/content/r3347p646152351m). (more details) download publication
Decrypting the Java gene pool: Predicting objects' lifetimes with micro-patterns. Sebastien Marion, Richard Jones, and Chris Ryder. In International Symposium on Memory Management (ISMM07), Montreal, Canada, October 2007. ACM. (more details) download publication
Projects: LACE
Incorporating security behaviour into business models using a model driven approach. Peter F. Linington and Pulitha Liyanagama. In 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pages 405-415. IEEE Press, October 2007. (more details) download publication
Black cats and yellow birds - what do viewpoint correspondences do?. Peter F. Linington. In João Paulo Almeida, Peter F. Linington, Antonio Vallecillo, and Bryan Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC2007). IEEE Digital Library, October 2007. (more details) download publication
Efficient Detection of Zeno Runs in Timed Automata. Rodolfo Gomez and Howard Bowman. In J.-F. Raskin and P.S. Thiagarajan, editors, 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems), volume 4763 of LNCS, pages 195-210, Salzburg, Austria, October 2007. Springer. (more details)
Projects: RT-models
A Native Transterpreter for the LEGO Mindstorms RCX. Jonathan Simpson, Christian L. Jacobsen, and Matthew C. Jadud. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 339-348, Amsterdam, The Netherlands, September 2007. IOS Press. (more details) download publication
Projects: Occam-pi on LEGO, The Transterpreter
Testing Erlang Refactorings with QuickCheck. {Huiqing Li and Simon Thompson. In Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, September 2007. (more details)
Testing Erlang Refactorings with QuickCheck. Huiqing Li and Simon Thompson. In the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, LNCS, Freiburg, Germany, September 2007. (more details)
Refactorings that Split and Merge Programs. Christopher Brown and Simon Thompson. In Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany., September 2007. (more details) download publication
Taming the Wrapping of Integer Arithmetic. Axel Simon and Andy King. In Gilberto File and Hanne Riis Nielson, editors, Fourteenth International Static Analysis Symposium, Lecture Notes in Computer Science. Springer, August 2007. To Appear, see http://www.springer.de/comp/lncs/index/html. (more details) download publication
Algorithmic debugging and trusted functions. Yong Luo and Olaf Chitil. Technical report 10-07, University of Kent, Computing Laboratory, UK, August 2007. (more details) download publication
Replacing unevaluated parts in the traces of functional programs. Yong Luo and Olaf Chitil. Technical report 7-07, University of Kent, Computing Laboratory, UK, August 2007. (more details) download publication
Algorithmic debugging with cyclic traces of lazy functional programs. Yong Luo and Olaf Chitil. Technical report 9-07, University of Kent, Computing Laboratory, UK, August 2007. (more details) download publication
Algorithmic debugging for locally defined functions. Yong Luo and Olaf Chitil. Technical report 8-07, University of Kent, Computing Laboratory, UK, August 2007. (more details) download publication
Declarative extensions of XML languages. Simon Thompson, Peter R. King, and Patrick Schmitz. In Peter R. King and Steven Simske, editors, Proceedings of the 2007 ACM symposium on Document engineering, pages 89-91. ACM, ACM Press, August 2007. (more details) download publication
A process oriented approach to USB driver development. Carl G. Ritson and Frederick R.M. Barnes. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 323-338, Amsterdam, The Netherlands, July 2007. IOS Press. (more details) download publication KAR:14574
Projects: RMoX
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. Neil C. C. Brown. In Alistair A. McEwan, Wilson Ifill, and Peter H. Welch, editors, Communicating Process Architectures 2007, pages 183-205, July 2007. (more details) download publication
Projects: C++CSP
A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 249-266, Amsterdam, The Netherlands, July 2007. IOS Press. (more details) download publication KAR:14575
Projects: CoSMoS
Integrating and Extending JCSP, Integrating and Extending JCSP download publication
Projects: JCSP
Communicating process architectures 2007. Peter H. Welch, Alistair A. McEwan, Steve Schneider, and Wilson Ifill, editors, volume 65 of Concurrent Systems Engineering, Amsterdam, The Netherlands, July 2007. WoTUG, IOS. (more details)
Relational concurrent refinement with internal operations. J. Derrick and E.A. Boiten. Electronic Notes in Theoretical Computer Science, 187:35-53, July 2007. Proceedings of Refine 2007, the 11th BCS-FACS Refinement Workshop. Editors: B. Aichernig, E.A. Boiten, J. Derrick and L. Groves. (more details)
Editorial: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. B. Aichernig, E.A. Boiten, J. Derrick, and L. Groves. Electronic Notes in Theoretical Computer Science, 187:1, July 2007. (more details)
Refine 2007 participants' proceedings. Eerke A. Boiten, John Derrick, and Graeme Smith. Technical Report 4-07, University of Kent, Computing Laboratory, July 2007. (more details)
The IGMARP data fusion algorithm. Andrew R. Runnalls. Technical Report 05-07, University of Kent, Computing Laboratory, Computing Laboratory, The University, Canterbury, Kent CT2 7NF, UK., July 2007. (more details) download publication
Kullback-Leibler approach to Gaussian mixture reduction. Andrew R. Runnalls. IEEE Transactions of Aerospace and Electronic Systems, 43(3):989-999, July 2007. (more details) download publication
Verification and validation of a fault-tolerant architectural abstraction. P. H. S. Brito, R. de Lemos, E. Martins, and C. M. F. Rubira. In Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Workshop on Architecting Dependable Systems (WADS 2007), pages 166-171, June 2007. (more details)
An Aspect-oriented Approach to Manage QoS Dependability Dimensions in Model Driven Development. C Köllmann, L Kutvonen, PF Linington, and A Solberg. In L. Ferreira Pires and S. Hammoudi, editors, Model-Driven Enterprise Information Systems Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - MDEIS 2007 Funchal, Portugal, pages 85-94. INSTICC Press, June 2007. (more details)
Regular expression matching with input compression: a hardware design for use within network intrusion detection systems. Gerald Tripp. Journal in Computer Virology, 3(2):125-134, June 2007. - available online from: http://dx.doi.org/10.1007/s11416-007-0047-z. (more details)
Intrusion tolerance in ad hoc networks through swarms of fragments replicas. J. Grant and J. So. In Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), pages 386-387, June 2007. (more details)
Reconfiguration of software systems using atomic actions. R. de Lemos. In Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), Fast Abstracts, pages 174-175, June 2007. (more details)
Detecting suspicious intrusions into next-generation networks. Andrew Lehane and Gerald Tripp. Agilent Measurement Journal, Issue 2. Second Quarter 2007:58-63, May 2007. (more details)
A fault and mobility tolerant location server for large-scale ad-hoc networks. Gareth Owen and Mo Adda. In IST Mobile and Wireless Communications Summit, May 2007. (more details) download publication
Projects: LAHN
Infinitary rewriting: meta-theory and convergence. Stefan Kahrs. Acta Informatica, 44(2):91-121, May 2007. (more details)
Declarative extensions of xml languages. Simon Thompson and Peter King. Technical Report 3-07, University of Kent, Computing Laboratory, May 2007. (more details) download publication
Structure and properties of traces for functional programs. Olaf Chitil and Yong Luo. In Ian Mackie, editor, Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006, ENTCS, pages 39-63. Elsevier, April 2007. (more details) download publication
A pattern logic for prompt lazy assertions. Olaf Chitil and Frank Huch. In Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006, LNCS 4449, pages 126-144, April 2007. (more details) download publication
Dynamic memory management: Challenges for today and tomorrow. Richard Jones. In International Lisp Conference, pages 115-124, Cambridge, April 2007. Association of Lisp Users. Invited presentation. (more details) download publication
Proceedings IS-TSPQ2007: Interoperability Solutions on Trust, Security, Policies and QoS for Enhanced Enterprise Systems. L. Kutvonen, P.F. Linington, J-H. Morin, and S. Ruohomaa, editors, number B-2007-3 in Department of Computer Science Publications, Series B. Helsinki University Printing House, March 2007. (more details)
A Method for Testing Graph Visualizations Using Games. John Bovey and Peter Rodgers. In Visualization and Data Analysis 2007, volume 6495 of Proceedings Electronic Imaging. SPIE, January 2007. (more details) download publication
Proving the correctness of algorithmic debugging for functional programs. Yong Luo and Olaf Chitil. In Trends in Functional Programming, volume 7, pages 19-34. Intellect Books, January 2007. (more details) download publication
How to stop time stopping. H. Bowman and R. Gomez. Formal Aspects of Computing, 18(4):459-493, December 2006. (more details)
Compositional detection of Zeno behaviour in Timed Automata. R. Gomez and H. Bowman. Technical Report 12-06, University of Kent, Computing Laboratory, CT2 7NF Canterbury, Kent, UK, December 2006. (more details)
Projects: RT-models
Widening Polyhedra with Landmarks. Axel Simon and Andy King. In Naoki Kobayashi, editor, Fourth Asian Symposium on Programming Languages and Systems, volume 4279 of Lecture Notes in Computer Science, pages 166-182. Springer Verlag, November 2006. See also http://www.springer.de/comp/lncs/index.html. (more details) download publication
Simulation of quorum systems in ad hoc networks. Gareth Owen and Mo Adda. In 3rd International Conference on Artificial Intelligence in Engineering and Technology, November 2006. (more details) download publication
Refactoring erlang programs. Huiqing Li, Simon Thompson, László Lövei, Zoltán Horváth, Tamás Kozsik, Anikó Víg, and Tamás Nagy. In The Proceedings of 12th International Erlang/OTP User Conference, Stockholm, Sweden, November 2006. (more details) download publication
Editorial: Five perspectives on modern memory management: Systems, hardware and theory. Richard Jones. Science of Computer Programming, 62(2):95-97, October 2006. Special Issue on Memory Management. (more details)
Self organizing quorum systems for ad hoc networks. Gareth Owen and Mo Adda. In International Conference on Communication, Network, and Information Security, October 2006. (more details) download publication
Policy specification: Meeting changing requirements without breaking the system design contract. Peter F. Linington. In João Paulo A. Almeida, Peter F. Linington, Akira Tanaka, and Bryan Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC06). IEEE Digital Library, October 2006. (more details)
Verification of real-time systems: Improving tool support. Rodolfo Sabas Gomez. PhD thesis, Computing Laboratory, University of Kent, October 2006. (more details)
Likelihood function for a simple cardioid sonobuoy. Andrew R. Runnalls. IEE Proceedings Radar, Sonar and Navigation, 153(5):417-26, October 2006. (more details) download publication
Um Modelo de Metacomponentes para Suporte à Adaptação Dinâmica em um Middleware para Sistemas de Televisão Interativa. Adilson Lopes, Carlos Silva, Gledson Elias, and Maurício F. Magalhães. In WebMedia '06: Proceedings of the 12th Brazilian symposium on Multimedia and the web, pages 193-202. ACM, October 2006. title in English: A meta-component model for dynamic adaptation support in a middleware system for interactive tv. (more details)
Compiling CSP. F.R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Proceedings of Communicating Process Architectures 2006 (CPA-2006), volume 64 of Concurrent Systems Engineering Series, pages 377-388. IOS Press, September 2006. (more details) download publication
Projects: KRoC, NOCC
Video Processing in occam-pi. Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 311-329, Amsterdam, The Netherlands, September 2006. IOS Press. (more details) download publication
Projects: KRoC
Dependable and secure storage in pervasive peer-to-peer systems. Rudi Ball, Vicki Spurrett, and Rogério de Lemos. Technical report, University of Kent, Computing Laboratory, September 2006. (more details) download publication
pony - The occam-pi Network Environment. Mario Schweigler and Adam Sampson. In Peter Welch, Jon Kerridge, and Fred Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 77-108, Amsterdam, The Netherlands, September 2006. IOS Press. (more details) download publication
Projects: KRoC
Mobile Robot Control: The Subsumption Architecture and occam-pi. Jonathan Simpson, Christian L. Jacobsen, and Matthew C. Jadud. In Peter H. Welch, Jon M. Kerridge, and Frederick R. M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 225-236, Amsterdam, The Netherlands, September 2006. IOS Press. (more details) download publication
Projects: Occam-pi on LEGO, The Transterpreter
Communicating process architectures 2006. P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, volume 64 of Concurrent Systems Engineering Series. IOS Press, September 2006. (more details)
Adding user-editing to a catalogue of cartoon drawings. John Bovey. In Julio Gonzalo, Constantino Thanos, M. Felisa Verdejo, and Rafael C. Carrasco, editors, Proceedings of the 10th European Conference on Digital Libraries, number 4172 in Lecture Notes in Computer Science, pages 457-460, Berlin, September 2006. Springer-Verlag. (more details) download publication
Promoting non-strict programming. Olaf Chitil. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 512-516, Budapest, Hungary, September 2006. Eotvos Lorand University. (more details) download publication
A Pattern Logic for Prompt Lazy Assertions in Haskell. Olaf Chitil and Frank Huch. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary, September 2006. Eotvos Lorand University. (more details) download publication
Replacing unevaluated parts in the traces of functional programs. Yong Luo and Olaf Chitil. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 304-325, Budapest, Hungary, September 2006. Eotvos Lorand University. (more details) download publication
Display of functional values for debugging. Thomas Davie and Olaf Chitil. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 326-337, Budapest, Hungary, September 2006. Eotvos Lorand University. (more details) download publication
Can self-managed systems be trusted? some views and trends. J. A. McCann, R. de Lemos, M. Huebscher, O. F. Rana, and A. Wombacher. Knowledge Engineering Review, 21(3):239-248, September 2006. (more details)
Simultion of a wireless senor network for image processing. M. Adda, Jean-Baptise Martin, Gareth Owen, and A. Peart. IADAT-tcn, pages 35-37, September 2006. (more details)
A comparative study of refactoring haskell and erlang programs. Huiqing Li and Simon Thompson. In Massimiliano Di Penta and Leon Moonen, editors, Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), pages 197-206. IEEE, September 2006. (more details) download publication
Refactoring haskell programs. Huiqing Li. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, September 2006. (more details) download publication
The IGMARP data fusion algorithm. Andrew R. Runnalls. In Nonlinear Statistical Signal Processing Workshop (NSSPW2006), page 4. IEEE, September 2006. (more details) download publication
Communicating complex systems. P.H. Welch, F.R.M. Barnes, and F.A.C. Polack. In Michael G Hinchey, editor, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pages 107-117, Stanford, California, August 2006. IEEE. ISBN: 0-7695-2530-X. (more details) download publication KAR:14440
Projects: TUNA
Collapsing Closures. Xuan Li, Andy King, and Lunjin Lu. In Sandro Etalle and Mirek Truszczynski, editors, Twenty Second International Conference on Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 148-162. Springer-Verlag, August 2006. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Detecting Determinacy in Prolog Programs. Andy King, Lunjin Lu, and Samir Genaim. In Sandro Etalle and Mirek Truszczynski, editors, Twenty Second International Conference on Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 132-147. Springer-Verlag, August 2006. (more details)
Proof of New Decompositional Results for Generalized Symmetries. Neil Kettle and Andy King. Technical Report 05-06, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, August 2006. (more details)
Editorial: Special issue on Refine 2005. Eerke A. Boiten and Michael Butler. Formal Aspects of Computing, 18(3):263, August 2006. (more details)
A parallel string matching engine for use in high speed network intrusion detection systems. Gerald Tripp. Journal in Computer Virology, 2(1):21-34, August 2006. - available online from: http://dx.doi.org/10.1007/s11416-006-0010-4. (more details)
Garbage collection should be lifetime aware. Richard Jones and Chris Ryder. In Olivier Zendra, editor, Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), page 8, Nantes, France, July 2006. (more details) download publication
Projects: LACE
Modulo and grid based channel selection in ad hoc networks. Gareth Owen and Mo Adda. In 3rd International conference on Telecommunications and Computer networks, July 2006. (more details) download publication
Genetic programming with primitive recursion. Stefan Kahrs. In Maarten Keijzer and et. al., editors, 8th annual conference on Genetic and evolutionary computation, volume 1, pages 941-942. ACM SIGEVO, ACM Press, July 2006. (more details)
Combining algorithmic debugging and program slicing. Josep Silva and Olaf Chitil. In Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming , PPDP 2006, pages 157-166. ACM Press, July 2006. (more details) download publication
Quorum based geographically static data storage in ad-hoc networks. Gareth Owen and Mo Adda. In 6th International Network Conference, July 2006. (more details) download publication
Geographically static quorums in ad-hoc networks and their performance as location servers. Gareth Owen and Mo Adda. In 3rd International conference on Telecommunications and Computer networks, July 2006. (more details) download publication
Capturing regular human activity through a learning context memory. Philipp H. Mohr, Nick Ryan, and Jon Timmis. In Proceedings of the 3rd International Workshop of Modelling and Retrieval of Context (MRC 2006) in conjunction with AAAI-06, page 6, Boston,USA, July 2006. (more details) download publication
Pretty printing with delimited continuations. Olaf Chitil. Technical report 4-06, University of Kent, Computing Laboratory, June 2006. (more details) download publication
Idealised fault tolerant architectural element. R. de Lemos. In Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), Workshop on Architecting Dependable Systems (WADS 2006), pages 76-81, June 2006. (more details)
Using a policy language to control tuple-space synchronization in a mobile environment. Vorapol Jittamas and Peter F. Linington. In Mark Burgess and Duminda Wijesekera, editors, Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, pages 239-242. IEE Computer Society, June 2006. (more details) download publication
Architectural reconfiguration using coordinated atomic actions. R. de Lemos. In Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006), pages 44-50, May 2006. (more details)
Journeys in non-classical computation II: Initial journeys and waypoints. S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, T Addis, C Johnson, J Timmis, P Welch, R Milner, and D Partridge. International Journal of Parallel, Emergent and Distributed Systems, 21(2):97-125, April 2006. (more details)
Lazy Set-Sharing Analysis. Xuan Li, Andy King, and Lunjin Lu. In Philip Wadler and Masimi Hagiya, editors, Eighth International Symposium on Functional and Logic Programming, volume 3945 of Lecture Notes in Computer Science, pages 177-191. Springer-Verlag, April 2006. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Correctness of Closure Collapsing. Xuan Li, Andy King, and Lunjin Lu. Technical Report 2-06, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, April 2006. (more details)
Towards a theory of tracing for functional programs based on graph rewriting. Olaf Chitil and Yong Luo. In Ian Mackie, editor, Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006, page 10, April 2006. (more details) download publication
One right does make a wrong. Thomas Davie and Olaf Chitil. In Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006, April 2006. (more details) download publication
Proving the correctness of algorithmic debugging for functional programs. Olaf Chitil and Yong Luo. In Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. University of Nottingham, April 2006. (more details) download publication
A parallel 'String Matching Engine' for use in high speed network intrusion detection systems. Gerald Tripp. In Vlasti Broucek and Paul Turner, editors, 15th EICAR Annual Conference Proceedings, pages 9-25. EICAR, April 2006. (more details) download publication
A Component Interconnection Model for Interactive Digital Television Systems. Carlos Silva, Adilson B. Lopes, Gledson Elias, Guido Lemos, and Mauricio F. Magalhaes. In AINA '06: Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA'06), volume 1, pages 263-268. IEEE Computer Society, April 2006. DOI 10.1109/AINA.2006.14. (more details)
A fault-tolerant architectural approach for dependable systems. R. de Lemos, P. A. de C. Guerra, and C. Rubira. IEEE Software, 23(2):80-87, March 2006. (more details)
Acoustic environment as an indicator of social and physical context. Dan Smith, Ling Ma, and Nick Ryan. Personal and Ubiquitous Computing, 10:241-254, March 2006. (more details)
Widening ROBDDs with Prime Implicants. Neil Kettle, Andy King, and Tadeusz Strzemecki. In Holger Hermanns and Jens Palsberg, editors, Twelfth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of Lecture Notes in Computer Science, pages 105-119. Springer-Verlag, March 2006. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Proceedings IS-TSPQ2006: Interoperability Solutions to Trust, Security, Policies and QoS for Enhanced Enterprise Systems. L. Kutvonen, P.F. Linington, and J-H. Morin, editors, Interoperability for Enterprise Software and Applications. ISTE, March 2006. (more details)
Proof of New Implicational Relationships between Generalized Symmetries. Neil Kettle and Andy King. Technical Report 13-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, February 2006. (more details)
An Anytime Symmetry Detection Algorithm for ROBDDs. Neil Kettle and Andy King. In Hidetoshi Onodera, editor, Eleventh Asia and South Pacific Design Automation Conference, pages 243-248. IEEE, January 2006. Copyright held by IEEE 2006. (more details)
Architectural description of dependable software systems. C. Gacek and R. de Lemos. In D. Besnard, C. Gacek, and C. Jones, editors, Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pages 127-142. Springer-Verlag, January 2006. (more details)
Concurrency theory, calculi and automata for modelling untimed and timed concurrent systems. H. Bowman and R.S. Gomez. Springer, January 2006. (more details)
Optimising the integration of terrain referenced navigation with ins and gps. Paul D. Groves, Robin J. Handley, and Andrew R. Runnalls. Journal of Navigation, 59(1):71-89, January 2006. (more details)
Optimising the integration of terrain-referenced navigation with INS and GPS. P.D. Groves, R.J. Handley, and A.R. Runnalls. Journal of Navigation, 59(1):71-89, January 2006. (more details)
Control Generation by Program Transformation. Andy King and Jonathan C. Martin. Fundamenta Informaticae, 69(1-2):179-218, 2006. (more details)
Editorial: Special issue on Integrated Formal Methods. Eerke A. Boiten, John Derrick, and Graeme Smith. Formal Aspects of Computing, 17(4):389, December 2005. (more details)
Birrell's distributed reference listing revisited. Luc Moreau, Peter Dickman, and Richard Jones. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(6):1-52, November 2005. (more details) download publication
Projects: MM-Net
Vast 2005: 6th international symposium on virtual reality, archaeology and intelligent cultural heritage, inc. 3rd eurographics workshop on graphics and cultural heritage. Mark Mudge, Nick Ryan, and Roberto Scopigno, editors, ISTI-CNR Pisa, Italy, November 2005. Eurographics Association. (more details)
A tool for the syntactic detection of zeno-timelocks in timed automata. H Bowman, R Gomez, and L Su. Electronic Notes in Theoretical Computer Science, 139(1):25-47, November 2005. Proceedings of the 6th AMAST Workshop on Real-time Systems (ARTS 2004). (more details)
Determinacy Inference by Suspension Inference. Andy King, Lunjin Lu, and Samir Genaim. Technical Report 2-05, University of Kent, Computing Laboratory, University of Kent, October 2005. (more details)
Hat-explore: Source-based trace exploration. Olaf Chitil. In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 1-5. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005. (more details) download publication
Hat-delta - one right does make a wrong. Thomas Davie and Olaf Chitil. In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 6-11. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005. (more details) download publication
Porting HaRe to the GHC API. Chris Ryder and Simon Thompson. Technical Report 8-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005. (more details) download publication
Lazy Cellular Automata with Communicating Processes. A.T. Sampson, P.H. Welch, and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 165-175, IOS Press, The Netherlands, September 2005. IOS Press. (more details) download publication
Projects: CoSMoS, KRoC, TUNA
An Architecture for Modelling Emergence in CA-Like Systems. Fiona Polack, Susan Stepney, Heather Turner, Peter Welch, and Fred Barnes. In Mathieu S. Capcarr`ere, Alex Alves Freitas, Peter J. Bentley, Colin G. Johnson, and Jon Timmis, editors, Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005), volume 3630 of Lecture Notes in Computer Science, pages 427-436, Canterbury, UK, September 2005. Springer. (more details) download publication
Projects: CoSMoS
Interfacing C and occam-pi. F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 249-260, IOS Press, The Netherlands, September 2005. IOS Press. (more details) download publication KAR:14270
Projects: KRoC
Mobile Barriers for occam-pi: Semantics, Implementation and Application, Mobile Barriers for occam-pi: Semantics, Implementation and Application download publication KAR:14271
Projects: KRoC
Automating support for e-business contracts. Peter F. Linington. International Journal of Cooperative Information Systems, 14(2&3):77-98, September 2005. (more details) download publication
A Foreign Function Interface Generator for occam-pi. Damian J. Dimmich and Christan L. Jacobsen. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, pages 235-248, Amsterdam, The Netherlands, September 2005. IOS Press. (more details) download publication
Projects: KRoC, The Transterpreter
A fast analysis for thread-local garbage collection with dynamic class loading. Richard Jones and Andy King. In Fifth IEEE International Workshop on Source Code Analysis and Manipulation, pages 129-138, Budapest, September 2005. IEEE Computer Society. (more details) download publication
Exploiting Sparsity in Polyhedral Analysis. Axel Simon and Andy King. In Chris Hankin, editor, Twelfth International Static Analysis Symposium, volume 3672 of Lecture Notes in Computer Science, pages 336-351. Springer Verlag, September 2005. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Pretty printing with partial continuations. Olaf Chitil. In Andrew Butterfield, editor, Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05, page 2. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland, September 2005. (more details) download publication
Hat-delta: One right does make a wrong. Thomas Davie and Olaf Chitil. In Andrew Butterfield, editor, Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05, page 11. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland, September 2005. (more details) download publication
Smart environments and their applications to cultural heritage, proceedings of a workshop held in conjunction with ubicomp'05, tokyo, japan, september 11, 2005. Nick Ryan, Tullio Salmon Cinotti, and Giuseppe Raffa, editors, EPOCH Publication. Archaeolingua, Budapest, Hungary, September 2005. http://smart.arces.unibo.it/. (more details)
Ubiquitous data capture for cultural heritage research. Siddhartha Ghosh and Nick Ryan. In Nick Ryan, Tullio Salmon Cinotti, and Giuseppe Raffa, editors, Smart Environments and their Applications to Cultural Heritage, EPOCH Publication. Archaeolingua, Budapest, Hungary, September 2005. (more details) download publication
Modelling Reactive Multimedia: Design and Authoring. Simon Thompson, Peter King, and Helen Cameron. Multimedia Tools and Applications, 27(1):23 - 52, September 2005. (more details)
Tableaux for Diagrammatic Reasoning. Octavian Patrascoiu, Simon Thompson, and Peter Rodgers. In Philip Cox and Trevor Smedley, editors, Proceedings of the 2005 International Workshop on Visual Languages and Computing, pages 279-286, September 2005. Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems. (more details) download publication
A New Language for the Visualization of Logic and reasoning. Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, and John Taylor. In Philip Cox and Trevor Smedley, editors, Proceedings of the 2005 International Workshop on Visual Languages and Computing, pages 287-292, September 2005. Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems. (more details) download publication
Software Metrics: Measuring Haskell. Chris Ryder and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005. (more details)
Formalisation of Haskell Refactorings. Huiqing Li and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005. (more details)
Refactoring Functional Programs. Simon Thompson. In Varmo Vene and Tarmo Uustalu, editors, Advanced Functional Programming, 5th International School, AFP 2004, volume 3622 of Lecture Notes in Computer Science, pages 331-357. Springer Verlag, September 2005. (more details)
Communication issues in large scale wireless ad hoc networks. Gareth Owen and Mo Adda, editors, volume International Conference on Computer Science and Information Systems, Athens, Greece, July 2005. (more details) download publication
Feasibility of geographically static data storage in ad-hoc networks. Gareth Owen and Mo Adda. In 2nd International Conference on Telecommunications and Computer Networks, July 2005. (more details) download publication
Barrier synchronisation for occam-pi. Frederick R.M. Barnes, Peter H. Welch, and Adam T. Sampson. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA Press. (more details) download publication KAR:14305
Projects: KRoC
Initial experiences with occam-pi simulations of blood clotting on the minimum intrusion grid. Peter H. Welch, Brian Vinter, and Frederick R.M. Barnes. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 201-207, Las Vegas, Nevada, USA, June 2005. CSREA Press. (more details) download publication
Projects: KRoC, TUNA
Terrain-referenced navigation using the IGMAP data fusion algorithm. Andrew R. Runnalls, Paul D. Groves, and Robin J. Handley. In Proceedings of the 61st Annual Meeting of the Institute of Navigation, pages 976-86, June 2005. (more details) download publication
Architecting dependable systems iii. R. de Lemos, C. Gacek, and A. Romanovsky, volume 3549 of Lecture Notes in Computer Science. Springer, May 2005. (more details)
Architecting web services applications for improving availability. R. de Lemos. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 69-91. Springer, May 2005. (more details)
Immune inspired context memory. P Mohr, J Timmis, and N Ryan. In 1st International Workshop on Exploiting Context Histories in Smart Environments, page 4, Munich, Germany, May 2005. (more details) download publication
A finite-state-machine based string matching system for intrusion detection on high-speed networks. Gerald Tripp. In Paul Turner and Vlasti Broucek, editors, EICAR 2005 Conference Proceedings, pages 26-40. EICAR, May 2005. (more details) download publication
Communicating mobile processes: introducing occam-pi. P.H. Welch and F.R.M. Barnes. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005. to appear. (more details) download publication
Projects: KRoC
Determinacy Inference for Logic Programs. Lunjin Lu and Andy King. In Mooly Sagiv, editor, European Symposium on Programming, volume 3444, pages 108-123. Springer-Verlag, April 2005. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Formal program development with approximations. Eerke A. Boiten and John Derrick. In Helen Treharne, Steve King, Martin Henson, and Steve Schneider, editors, ZB 2005, volume 3455 of Lecture Notes in Computer Science, pages 375-393. Springer, April 2005. (more details) download publication
Refine 2005 workshop. J. Derrick and E. Boiten, editors, volume 137(2) of Electronic Notes in Theoretical Computer Science. Elsevier, April 2005. http://www.sciencedirect.com/science/journal/15710661. (more details)
The Haskell Refactorer: HaRe, and its API. Huiqing Li, Simon Thompson, and Claus Reinke. In John Boyland and Görel Hedin, editors, Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (LDTA 2005), April 2005. Published as Volume 141, Number 4 of Electronic Notes in Theoretical Computer Science, http://www.sciencedirect.com/science/journal/15710661. (more details) download publication
Exception handling in the development of dependable component-based systems. C. M. F. Rubira, R. de Lemos, G. R. M. Ferreira, and F. Castor Filho. Software-Practice and Experience, 35(3), March 2005. (more details)
Journeys in non-classical computation I: A grand challenge for computing research. S. Stepney, S.L. Braunstein, J.A. Clark, A. Tyrrell, A. Adamatzky, R.E. Smith, T. Addis, C. Johnson, J. Timmis, P. Welch, R. Milner, and D. Partridge. International Journal of Parallel, Emergent and Distributed Systems, 20(1):5-19, March 2005. (more details) download publication
Source-based trace exploration. Olaf Chitil. In Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder, editors, Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, LNCS 3474, pages 126-141. Springer, March 2005. (more details) download publication
Smart environments for cultural heritage. Nick Ryan. In Takao UNO, editor, Reading Historical Spatial Information from around the World: studies of culture and civilization based on geographic information systems data. International Research Center for Japanese Studies, Kyoto, Japan, February 2005. (more details) download publication
The conflict between self-* capabilities and predictability. R. de Lemos. In Ö. Babaoglu and et al., editors, Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations, Lecture Notes in Computer Science, pages 219-229. Springer, February 2005. (more details)
A learning context memory. P Mohr, N Ryan, and J Timmis. In 3rd UkUbiNet Workshop, page 2, Bath,UK, February 2005. (more details)
Discrete Timed Automata. Rodolfo Gomez and Howard Bowman. Technical Report 3-05, University of Kent, Computing Laboratory, February 2005. (more details)
Pretty printing with lazy dequeues. Olaf Chitil. Transactions on Programming Languages and Systems (TOPLAS), 27(1):163-184, January 2005. (more details) download publication
Model-driven development. Jan Oyvind Aagedal, Jean Bezivin, and Peter F. Linington. In J. Malenfant and Bjarte M. Ostvold, editors, ECOOP 2004 Workshop Reader, volume 3344 of LNCS. Springer-Verlag, January 2005. (more details)
Computing Convex Hulls with a Linear Solver. F. Benoy, A. King, and F. Mesnard. Theory and Practice of Logic Programming, 5(1&2):259-271, 2005. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html). (more details)
Evaluation of the simula research laboratory. M. Berzins, B. Gustafsson, S. Haridi, P.F. Linington, and C. Rolland. The Research Council of Norway, P.O. Box 2700 St Hanshaugen N-0131 Oslo, Norway, December 2004. (more details)
Transformation in HaRe. Chau Nguyen-Viet. Technical report, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2004. (more details) download publication
A naive bayes learning based website reconfiguration system. Jia Li, Huiqing Li, and Xiumei Jia. In Proceedings of the 2004 International Conference on Machine Learning and Applications, December 2004. (more details)
Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling. Samir Genaim and Andy King. Technical Report 20-04, University of Kent, Computing Laboratory, November 2004. (more details)
Lazy assertions. Olaf Chitil, Dan McNeill, and Colin Runciman. In Phil Trinder, Greg Michaelson, and Ricardo Pena, editors, Implementation of Functional Languages: 15th International Workshop, IFL 2003, LNCS 3145. Springer, November 2004. (more details) download publication
The Expressiveness of Spider Diagrams. Gem Stapleton, John Howse, John Taylor, and Simon Thompson. Journal of Logic and Computation, 14(6):857-880, November 2004. (more details)
A unified behavioural model and a contract language for extended enterprise. P. F. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni, and S. Neal. Data and Knowledge Engineering, 51(1):5-29, October 2004. (more details)
Determinancy Inference for Logic Programs. Lunjin Lu and Andy King. Technical Report 19-04, University of Kent, Computing Laboratory, University of Kent, October 2004. (more details)
Exploiting Immunological Properties for Ubiqitous Computing Systems. P Mohr, N Ryan, and J Timmis. In G Nicosia and et al, editors, Third International Conference on Artificial Immune Systems, number 3239 in LNCS, pages 277-289. Springer, September 2004. (more details) download publication
Communicating Mobile Processes. F.R.M. Barnes and P.H. Welch. In I. East, J. Martin, P. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 201-218, Amsterdam, The Netherlands, September 2004. IOS Press. (more details) download publication
Projects: KRoC, KRoC
Source-based trace exploration. Olaf Chitil. In Draft Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL 2004, pages 239-244. Technical Report 0408, University of Kiel, September 2004. (more details) download publication
Collecting the garbage without blocking the traffic. Richard Jones and Andy King. Technical Report 18-04, University of Kent, Computing Laboratory, September 2004. (more details)
Removing garbage collector synchronisation. Andy C. King. PhD thesis, University of Kent at Canterbury, September 2004. (more details) download publication
Workshop on odp for enterprise computing (wodpec2004). A. Vallecillo, P. F. Linington, and B.M. Wood, editors, number ITI-04-07 in Technical Report. University of Malaga, September 2004. (more details)
What Foundations does the RM-ODP need?. P. F. Linington. In A. Vallecillo, Linington P. F, and B. M. Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC 2004), pages 15-22, Monterey, California, USA, September 2004. IEEE Digital Library. (more details) download publication
Automating support for e-business contracts. P. F. Linington. In Zoran Milosevic and Guido Governatori, editors, Contract Architectures and Languages workshop (CoALa2004), Monterey, California, USA, September 2004. IEEE Digital Library. (more details) download publication
The development of a privacy-enhancing infrastructure: Some interesting findings. Patrik Osbakk and Nick Ryan, September 2004. Position Paper for the Ubicomp Privacy: Current Status and Future Directions workshop at UbiComp 2004, Nottingham, UK. (more details) download publication
The Expressiveness of Spider Diagrams Augmented with Constants. Gem Stapleton, John Howse, John Taylor, and Simon Thompson. In Visual Languages / Human Centered Computing 2004, September 2004. (more details)
Progress on HaRe: the Haskell Refactorer. Huiqing Li, Claus Reinke, and Simon Thompson. Poster presentation at the International Conference on Functional Programming, Snowbird, Utah. ACM, September 2004. (more details)
Optimising the integration of terrain referenced navigation with INS and GPS. Paul D. Groves, Robin J. Handley, and Andrew R. Runnalls. In GNSS 2004. Institute of Navigation, September 2004. 21-24 September 2004, Long Beach, California. (more details)
Inter-organisational collaborations supported by E-Contracts. Zoran Milosevic, Peter F. Linington, Simon Gibson, Sachin Kulkarni, and James Cole. In Winfried Lamersdorf, Volker Tschammer, and Stephane Amarger, editors, Building the E-Service Society: E-Commerce, E-Business, and E-Government, volume 9 of 14 of IFIP 18th World Computer Congress, pages 413-429, Toulouse, France, August 2004. IFIP, Kluwer. (more details)
Towards correspondence carrying specifications. Marius C. Bujorianu and Eerke A. Boiten. In Charles Rattray, Savitri Maharaj, and Carron Shankland, editors, Algebraic Methodology and Software Technology, Proceedings of the 10th International Conference, AMAST 2004, volume 3116 of LNCS, page 15. Springer, July 2004. (more details)
On design and implementation of a contract monitoring facility. Z. Milosevic, S. Gibson, P. F. Linington, J. Cole, and S. Kulkarni. In Boualem Benatallah, Claude Godart, and Ming-Chien Shan, editors, Proceedings of WEC, First IEEE International Workshop on Electronic, pages 62-70. IEEE Computer Society, July 2004. (more details)
A tool for the syntactic detection of zeno-timelocks in timed automata. H. Bowman, R. Gomez, and L. Su. In Proceedings of the 6th AMAST Workshop on Real-Time Systems, page 17, Stirling, Scotland, July 2004. Elsevier. To be published in ENTCS. (more details)
Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. P.H. Welch. In Dirk Bartz, Bruno Raffin, and Han-Wei Shen, editors, Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004, pages 17-22. The Eurographics Association, June 2004. (more details)
Travelling salesman heuristics: Exercises in Haskell. Eerke Boiten. Technical Report 10-04, University of Kent, Computing Laboratory, June 2004. (more details)
Turtle graphics: Exercises in Haskell. Eerke Boiten. Technical Report 11-04, University of Kent, Computing Laboratory, June 2004. (more details)
Input/output abstraction of state based systems. Eerke Boiten. Technical Report 12-04, University of Kent, Computing Laboratory, June 2004. (more details)
Observing functional logic computations. Bernd Brassel, Olaf Chitil, Michael Hanus, and Frank Huch. In B. Jayaraman, editor, Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), LNCS 3057, pages 193-208. Springer, June 2004. (more details) download publication
Architecting dependable systems ii. R. de Lemos, C. Gacek, and A. Romanovsky, volume 3069 of Lecture Notes in Computer Science. Springer, June 2004. (more details)
A dependable architecture for cots-based software systems using protective wrappers. P. Asterio de C. Guerra, C. M. F. Rubira, A. Romanovsky, and R. de Lemos. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems II, volume 3069 of Lecture Notes in Computer Science. Springer, June 2004. (more details)
The role of contracts in establishing interoperability of enterprise systems. Peter F. Linington. In INTEREST 2004 Workshop, ECOOP 2004, page 3, Oslo, Norway, June 2004. (more details)
Model driven development and non-functional aspects. Peter F. Linington. In WMDD 2004 Workshop, ECOOP 2004, page 3, Oslo, Norway, June 2004. (more details)
Analysing Logic Programs by Reasoning Backwards. Jacob M. Howe, Andy King, and Lunjin Lu. In Maurice Bruynooghe and Kung-Kiu Lau, editors, Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, pages 152-188. Springer-Verlag, May 2004. Also see http://www.springer.de/comp/lncs/index.html. (more details)
On the Inference of Natural Level Mappings. Jonathan C. Martin and Andy King. In Maurice Bruynooghe and Kung-Kiu Lau, editors, Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, pages 432-452. Springer-Verlag, May 2004. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Special Issue on MPC 2002: Foreword. Eerke Boiten and Bernhard M"oller. Science of Computer Programming, 51(1-2):1-2, May 2004. (more details)
Using Games to Investigate Movement for Graph Comprehension. John Bovey, Florence Benoy, and Peter Rodgers. In Advanced Visual Interfaces: AVI 2004, pages 71-79. ACM, May 2004. (more details) download publication
Self-* and predictability: are these conflicting system capabilities?. R. de Lemos. In Proceedings of the International Workshop on Self-* Properties in Complex Information Systems (SELF-STAR 2004), pages 105-108, May 2004. (more details)
An architectural approach for improving availability in web services. E. Parchas and R. de Lemos. In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004), pages 37-41, May 2004. (more details)
Expressing Privacy Preferences in terms of Invasiveness. Patrik Osbakk and Nick Ryan. UK-UbiNet webpage, May 2004. Position Paper for the 2nd UK-UbiNet Workshop, University of Cambridge, UK. (more details) download publication
How to stop time stopping (preliminary version). Howard Bowman, Rodolfo Gomez, and Li Su. Technical Report 9-04, University of Kent, Computing Laboratory, Canterbury, Kent, CT2 7NF, UK, May 2004. (more details) download publication
Analysing failure behaviours in component interaction. R. de Lemos. Journal of Systems and Software, 71(1-2):97-115, April 2004. (more details)
Backward Pair Sharing Analysis. Lunjin Lu and Andy King. In Yukiyoshi Kameyama and Peter Stuckey, editors, Seventh International Symposium on Functional and Logic Programming, volume 2998 of Lecture Notes in Computer Science, pages 132-146. Springer-Verlag, April 2004. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Integrated formal methods, 4th international conference. Eerke A. Boiten, John Derrick, and Graeme Smith, editors, volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, April 2004. (more details)
Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Eerke Boiten, John Derrick, and Graeme Smith. Technical Report 4-04, University of Kent, Computing Laboratory, April 2004. (more details)
Analysing failure behaviours in component interaction. Rogerio de Lemos. The Journal of Systems and Software, 71(1-2):97-115, April 2004. (more details)
An intrusion detection system for gigabit networks architecture and an example system. Gerald Tripp. Technical Report 7-04, University of Kent, Computing Laboratory, April 2004. (more details) download publication
Durative events in active databases. R. Gomez and J.C. Augusto. In ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, pages 306-311, Porto, Portugal, April 2004. (more details)
Convex Hull of Planar H-Polyhedra. Axel Simon and Andy King. International Journal of Computer Mathematics, 81(4):259-271, March 2004. (more details) download publication
Control Generation by Program Transformation. Jonathan C. Martin and Andy King. Technical Report 5-04, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, March 2004. (more details)
What Can Spider Diagrams Say?. Gem Stapleton, John Howse, John Taylor, and Simon Thompson. In Alan Blackwell, Kim Marriott, and Atsushi Shimojima, editors, Diagrammatic Representation and Inference, volume 2980 of Lecture Notes in Computer Science. Springer, March 2004. (more details)
Behavioural Reactivity and Real Time Programming in XML: Functional Programming meets SMIL animation. Peter King, Patrick Schmitz, and Simon Thompson. In Jean-Yves Vion-Dury, editor, ACM Symposium on Document Engineering 2004, pages 57-66. ACM, January 2004. (more details) download publication
PITL2MONA}: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Rodolfo Gomez and Howard Bowman. Journal of Applied Non-Classical Logics, 14(1-2):105-148, 2004. Issue on Interval Temporal Logics and Duration Calculi. V. Goranko and A. Montanari guest eds. (more details)
Forward versus Backward Verification of Logic Programs. Andy King and Lunjin Lu. In Catuscia Palamidessi, editor, International Conference on Logic Programming, volume 2916 of Lecture Notes in Computer Science, pages 315-330. Springer-Verlag, December 2003. Also see http://www.springer.de/comp/lncs/index.html. (more details)
A Procedure to Translate PARADIGM Specifications to Propositional Linear Temporal Logic and its Application to Verification. Juan Carlos Augusto and Rodolfo Sabas Gomez. International Journal of Software Engineering and Knowledge Engineering, 13(6):627-654, December 2003. (more details)
Book review: Concepts in Programming Languages, by John Mitchell. E.A. Boiten. Journal of Functional Programming, 13(6):1087-1088, November 2003. (more details)
Editorial: Special issue on Refinement. Eerke Boiten, Tim Denvir, John Derrick, and Joakim von Wright. Formal Aspects of Computing, 15(2):101-102, November 2003. (more details)
Relational concurrent refinement. John Derrick and Eerke Boiten. Formal Aspects of Computing, 15(2-3):182-214, November 2003. (more details)
OCL 2.0: Implementing the Standard. David Akehurst, Peter Linington, and Octavian Patrascoiu. Technical report, University of Kent, Computing Laboratory, November 2003. (more details) download publication
An Algorithm to Translate PARADIGM specifications to PLTL. Rodolfo S. Gomez, Juan C. Augusto, and Silvia T. Acuña. In Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03), pages 53-63, Valdivia, Chile, November 2003. (more details)
On Modular Termination Proofs. Jonathan C. Martin and Andy King. Technical Report 13-03, University of Kent, Computing Laboratory, October 2003. (more details)
Dependable Computing. R de Lemos, T da S Weber, and J B Camargo Jr, editors, volume 2847 of Lecture Notes in Computer Science. Proceedings of the First Latin American Symposium on Dependable Computing, Springer, October 2003. (more details)
A high-level view of Java applications. Eric Bodden. In OOPSLA'03 ACM SIGPLAN Conference on Object-Oriented Systems, Languages and Applications (Companion), pages 384-385, Anaheim, CA, October 2003. ACM Press. Finalist in the ACM SIGPLAN Student Research Competition, 2003. (more details) download publication
RMoX: A raw-metal occam experiment. Fred Barnes, Christian Jacobsen, and Brian Vinter. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 269-288, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication
Projects: KRoC, RMoX
An introduction to the Kent C++CSP library. N.C.C. Brown and P.H. Welch. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 139-156, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication
Projects: C++CSP
occwserv: An occam web-server. Fred Barnes. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 251-268, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication
Projects: KRoC
Flexible, Transparent and Dynamic occam Networking with KRoC.net. Mario Schweigler, Fred Barnes, and Peter Welch. In Jan F Broenink and Gerald H Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 199-224, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication
Projects: KRoC
Exploring UML refinement through unification. E.A. Boiten and M.C. Bujorianu. In J. J"urjens, B. Rumpe, R. France, and E.B. Fernandez, editors, Critical Systems Development with UML - Proceedings of the UML'03 workshop, number TUM-I0323, pages 47-62. Technische Universit"at M"unchen, September 2003. (more details)
A relational framework for the integration of specifications. Eerke Boiten and John Derrick. Journal of Integrated Design and Process Science, 7(3):39-48, September 2003. (more details)
Lazy assertions. Olaf Chitil, Dan McNeill, and Colin Runciman. In Draft Proceedings of the 15th International Workshop on Implementation of Functional Languages, IFL 2003, pages 31-46, Edinburgh, Scotland, September 2003. (more details) download publication
A Fault-Tolerant Software Architecture for COTS-Based Software Systems. P. A. de C. Guerra, C. Rubira, A. Romanovsky, and R. de Lemos. In Proceedings of the Joint European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)., pages 375-382. ACM Press, September 2003. (more details)
Identifying requirements for business contract language: A monitoring perspective. S. Neal, J. Cole, P.F. Linington, Z. Milosevic, S. Gibson, and S. Kulkarni. In M.Steen and B.R.Bryant, editors, Proceedings of the seventh International Enterprise Distributed Object Computng Conference, pages 50-61, Brisbane, Australia, September 2003. IEEE Computer Society. (more details) download publication
A Privacy Enhancing Infrastructure for Context-Awareness. Patrik Osbakk and Nick Ryan. UK-UbiNet webpage, September 2003. Position Paper for the 1st UK-UbiNet Workshop, Imperial College, London, UK. (more details) download publication
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. Rodolfo Gomez and Howard Bowman. In H Konig, M Heiner, and A Wolisz, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2003. Proceedings of the 23rd IFIP WG 6.1 International Conference, number 2767 in LNCS, pages 177-192, Berlin, Germany, September 2003. Springer. (more details) download publication
Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, and Malcolm Wallace. In 4th Summer School in Advanced Functional Programming, number 2638 in LNCS, pages 59-99, Oxford, August 2003. (more details) download publication
Tool support for refactoring functional programs. Huiqing Li, Claus Reinke, and Simon Thompson. In Johan Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop, pages 27-38. Association for Computing Machinery, August 2003. (more details)
A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Rodolfo Gomez and Howard Bowman. Workshop of Interval Temporal Logics and Duration Calculi (part of the 15th European Summer School in Logic, Language and Information, August 2003. (more details)
Movement as an Aid to Understanding Graphs. John Bovey, Peter Rodgers, and Florence Benoy. In Seventh International Conference on Information Visualization (IV03), pages 472-478. IEEE, July 2003. (more details) download publication
Birrell's distributed reference listing revisited. Luc Moreau, Peter Dickman, and Richard Jones. Technical Report 8-03, University of Kent, Computing Laboratory, Canterbury, July 2003. (more details) download publication
JAnalyzer, a visual static analyzer for Java. Eric Bodden. Technical Report 14-03, University of Kent, Computing Laboratory, July 2003. Submitted to the SET Awards, 2003. (more details) download publication
Using policies in the checking of business to business contracts. P.F. Linington and S. Neal. In H.Lutfiyya, J.Moffat, and F.Garcia, editors, Fourth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 207-218, Lake Como, Italy, June 2003. IEEE Computer Society. (more details) download publication
Dynamics and pragmatics for high performance concurrency. Frederick R.M. Barnes. PhD thesis, University of Kent at Canterbury, June 2003. (more details)
Well-going programs can be typed. Stefan Kahrs. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, number 2701 in LNCS, pages 167-179. Springer, June 2003. (more details)
A policy-based model-driven security framework. P.F. Linington. In C.Ururahy, A Sztajnberg, and R.Cerqueira, editors, Middleware 2003 Companion:Workshop Proceedings, pages 273-276. Pontificia Universidade Caolica do Rio de Janeiro, June 2003. (more details) download publication
Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. Eerke Boiten and Willem-Paul de Roever. In R. Berghammer and B. M"oller, editors, 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7), pages 82-88. University of Kiel, May 2003. (more details)
Integrating COTS Software Components into Dependable Software Architectures. P. A. de C. Guerra, C. Rubira, A. Romanovsky, and R. de Lemos. In Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03). IEEE Computer Society Press, May 2003. (more details)
Presentation Dynamism in XML. Partick Schmitz, Simon Thompson, and Peter King. In WWW 2003, Budapest, Hungary, May 2003. W3C. Poster presentation. (more details)
A case study in refactoring functional programs. Simon Thompson and Claus Reinke. In Roberto Ierusalimschy, Lucilia Figueiredo, and Marcio Tulio Valente, editors, VII Brazilian Symposium on Programming Languages, pages 1-16. Sociedade Brasileira de Computacao, May 2003. (more details) download publication
Prioritised Dynamic Communicating and Mobile Processes. F.R.M. Barnes and P.H. Welch. IEE Proceedings-Software, 150(2):121-136, April 2003. (more details) download publication
Projects: KRoC
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. Samir Genaim and Andy King. In Pierpaolo Degano, editor, European Symposium on Programming, volume 2618 of Lecture Notes in Computer Science, pages 84-98. Springer-Verlag, April 2003. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Forward versus Backward Verification of Logic Programs. Andy King and Lunjin Lu. Technical Report 5-03, University of Kent, Computing Laboratory, University of Kent, April 2003. (more details)
Removing GC synchronisation (extended version). Andy C. King. Technical Report 11-03, University of Kent, Computing Laboratory, April 2003. Winner (Graduate Division) ACM Student Research Competition. (more details)
A decision procedure and complete axiomatization of finite interval temporal logic with projection. H. Bowman and S.J. Thompson. Journal of Logic and Computation, 13(2):195-239, April 2003. (more details)
Recent advances in refinement. J. Derrick and E.A. Boiten. In E.Borger, A. Gargantini, and E.Riccobene, editors, Abstract State Machines 2003, number 2589 in Lecture Notes in Computer Science, pages 33-56. Springer, March 2003. Invited lecture. (more details)
DO garbage collection. Richard Jones. Technical Report 2-03, University of Kent, Computing Laboratory, February 2003. (more details)
Providing web access to a catalogue if British newspaper cartoons. John Bovey. Program, 37(1):16-24, January 2003. (more details)
Efficient Groundness Analysis in Prolog. J. M. Howe and A. King. Theory and Practice of Logic Programming, 3(1):95-124, January 2003. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html). (more details)
Three Optimisations for Sharing. J. M. Howe and A. King. Theory and Practice of Logic Programming, 3(2):243-257, January 2003. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html). (more details)
Mexitl: Multimedia in executable interval temporal logic. H. Bowman, H. Cameron, P. King, and S.J. Thompson. Formal Methods in System Design, 22:5-38, January 2003. (more details)
Modelling Reactive Multimedia: Events and Behaviours. Helen Cameron, Peter King, and Simon Thompson. Multimedia Tools and Applications, 19(1):53-77, January 2003. (more details)
Architecting Dependable Systems. R. de Lemos, C. Gacek, and A. Romanovsky, volume 2677 of Lecture Notes in Computer Science. Springer, 2003. (more details)
Architectural Mismatch Tolerance. R. de Lemos, C. Gacek, and A. Romanovsky, volume 2677 of Lecture Notes in Computer Science, pages 175-196. Springer, 2003. (more details)
A Fault-Tolerant Software Architecture for Component-Based Systems. P. A. de C. Guerra, C. Rubira, and R. de Lemos, volume 2677 of Lecture Notes in Computer Science, pages 129-149. Springer, 2003. (more details)
GCspy: An adaptable heap visualisation framework. Tony Printezis and Richard Jones. In Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications, SIGPLAN Notices, pages 343-358, Seattle, WA., November 2002. ACM Press. (more details) download publication
Projects: GCspy, MM-Net
Towards immune inspired fault tolerance in embedded systems. J Timmis, R de Lemos, M Ayara, and R Duncan. In L Wang, J Rajapakse, K Fukushima, S Lee, and X Yao, editors, Proceedings of 9th International Conference on Neural Information Processing, pages 1459-1463. IEEE, November 2002. (more details) download publication
An architectural support for self-adaptive software for treating faults. Rogerio de Lemos and Jose Luiz Fiadeiro. In D. Garlan, J. Kramer, and A. Wolf, editors, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), pages 39-42, Charleston, SC, USA, November 2002. (more details) download publication
Removing GC synchronisation. Andy C. King. In OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications (Companion)R, SIGPLAN, pages 112-113, Seattle, WA, November 2002. ACM. Winner of the ACM SIGPLAN Student Research Competition 2002. (more details)
A framework for UML consistency. John Derrick, David Akehurst, and Eerke Boiten. In L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors, <<UML>> 2002 Workshop on Consistency Problems in UML-based Software Development, pages 30-45, October 2002. (more details) download publication
Novel approaches in dependable computing. Rogerio de Lemos. In P. Thevenod-Fosse A. Bondavalli, editor, Proc of the 4th European Dependable Computing Conference (EDCC-4), Lecture Notes in Computer Science 2485, pages 79-80. Springer-Verlag, October 2002. (more details) download publication
Tolerating faults in embedded systems based on artificial immune systems. M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, and R. Duncan. In Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4), pages 27-28, October 2002. (more details)
Functional and Declarative Programming in Education 2002. Michael Hanus, Shriram Krishnamurthy, and Simon Thompson, editors, volume 0210. Christian-Albrechts-Universitat, Kiel, October 2002. (more details)
Prioritised dynamic communicating processes: Part 1. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 321-352, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press. (more details)
Projects: KRoC
Prioritised dynamic communicating processes: Part 2. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy SUnde, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 353-370, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press. (more details)
Projects: KRoC
Cluster Computing and JCSP Networking. P.H. Welch and B. Vinter. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 203-222, IOS Press, Amsterdam, The Netherlands, September 2002. WoTUG, IOS Press. (more details) download publication
Communicating process architectures 2002. James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, volume 60 of Concurrent Systems Engineering, IOS Press, Amsterdam, The Netherlands, September 2002. WoTUG, IOS Press. (more details)
Analyzing String Buffers in C. A. Simon and A. King. In H. Kirchner and C. Ringeissen, editors, International Conference on Algebraic Methodology and Software Technology, volume 2422 of Lecture Notes in Computer Science, pages 365-379. Springer, September 2002. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Backward Type Inference Generalises Type Checking. L. Lu and A. King. In M. Hermenegildo and G. Puebla, editors, Ninth International Static Analysis Symposium, volume 2477 of Lecture Notes in Computer Science, pages 85-101. Springer-Verlag, September 2002. Also see http://www.springer.de/comp/lncs/index.html. (more details)
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. S. Genaim and A. King. Technical Report 10-02, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK., September 2002. (more details)
Computing Convex Hulls with a Linear Solver. F. Benoy, A. King, and F. Mesnard. Technical Report 11-02, University of Kent, Computing Laboratory, September 2002. This paper is under revision as it is accepted conditionally for publication in Theory and Practise of Logic Programming. (more details)
A formal framework for viewpoint consistency. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Formal Methods in System Design, 21(2):111-166, September 2002. (more details)
Transforming Haskell for tracing. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Ricardo Pena and Thomas Arts, editors, Implementation of Functional Languages: 14th International Workshop, IFL 2002, LNCS 2670, pages 165-181, March 2003. Madrid, Spain, 16-18 September 2002. (more details)
Transforming Haskell for tracing. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Draft Proceedings of the 14th International Workshop on Implementation of Functional Languages, IFL 2002, pages 96-112, Madrid, Spain, September 2002. technical report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid. (more details) download publication
Negative selection: How to generate detectors. M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, and R. Duncan. In J. Timmis and P.J. Bentley, editors, 1st International Conference on Artificial Immune Systems, pages 89-98, University of Kent at Canterbury, September 2002. Unversity of Kent at Canterbury Printing Unit. (more details)
Context, CC/PP, and P3P. Patrik Osbakk and Nick Ryan. In Peter Ljungstrand and Lars Erik Holmquist, editors, UbiComp 2002 Adjunct Proceedings, pages 9-10, Göteborg, Sweden, September 2002. Viktoria Institute. (more details) download publication
A Backward Analysis for Constraint Logic Programs. A. King and L. Lu. Theory and Practice of Logic Programming, page 32, July 2002. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html). (more details)
Mathematics of program construction: Sixth international conference. Eerke A. Boiten and Bernhard M"oller, editors, volume 2386 of Lecture Notes in Computer Science. Springer, July 2002. (more details)
REFINE 2002: The BCS FACS Refinement Workshop. John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, volume 70(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, July 2002. (more details)
Unifying concurrent and relational refinement. Eerke Boiten and John Derrick. In John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, REFINE 02: The BCS FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science, page 38. Elsevier Science Publishers, July 2002. (more details)
A Temporal Logic view of Paradigm specifications. J.C. Augusto and R. Gomez. In Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), pages 497-503, Ischia, Italy, July 2002. (more details)
Beltway: Getting around garbage collection gridlock. Stephen M. Blackburn, Richard Jones, Kathryn S. McKinley, and J. Eliot B. Moss. In Laurie J. Hendren, editor, Proceedings of PLDI'02 Programming Language Design and Implementation, pages 153-164, Berlin, June 2002. ACM Press. (more details) download publication
Projects: LACE
Integration of specifications through development relations. Eerke Boiten and John Derrick. In H. Ehrig, B.J. Kr"amer, and A. Ertas, editors, Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, page 8. SDPS, June 2002. (more details)
Combining Component specifications in Object-Z and CSP. J Derrick and E Boiten. Formal Aspects of Computing, 13:111-127, May 2002. (more details)
Testing ethernet networks for the ATLAS data collection system. F.R.M. Barnes, R. Beuran, R.W. Dobinson, M.J. LeVine, B. Martin, J. Lokier, and C. Meirosu. IEEE Trans. Nucl. Sci., 49(2):516-520, April 2002. (more details)
CSP networking for java (JCSP.net). P.H. Welch, J.R. Aldous, and J. Foster. In P.M.A. Sloot, C.J.K. Tan, J.J. Dongarra, and A.G. Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 695-708. Springer-Verlag, April 2002. (more details)
Process Oriented Design for Java: Concurrency for All. P.H. Welch. In P.M.A.Sloot, C.J.K.Tan, J.J.Dongarra, and A.G.Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 687-687. Springer-Verlag, April 2002. Keynote Tutorial. (more details)
Integrating specifications: Development relations and correspondences. Eerke Boiten. In Hartmut Ehrig and Martin Grosse-Rhode, editors, INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop, page 1, April 2002. Invited Lecture. (more details)
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. C.N. Taylor, E.A. Boiten, and J. Derrick. IEE Proceedings Software, 149(2):57-63, April 2002. (more details)
HEIRPORT: one year on. Tony Austin, Julian Richards, Nick Ryan, and Francisco Pinto. In C. Bekiari, editor, CAA2002, The Digital Heritage of Archaeology: proceedings of the Computer Applications and Quantitative Methods in Archaeology Conference, Heraklion, Crete, April 2002. Centre for Cultural Informatics, Institute of Computer Science, Foundation for Research and Technology - Hellas (FORTH), Hellenic Ministry of Culture, Archive of Monuments and Publications. (more details)
Correctness of Set-Sharing with Linearity. Jacob M. Howe and Andy King. Technical Report 3-02, University of Kent, Computing Laboratory, March 2002. (more details)
Interpreting ODP viewpoint specifications: Observations from a Case Study. Chris Taylor, Eerke Boiten, and John Derrick. In Bart Jacobs and Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, pages 61-76. Kluwer Academic Publishers, March 2002. (more details)
GCspy: An adaptable heap visualisation framework. Tony Printezis and Richard Jones. Technical Report 5-02, University of Kent, Computing Laboratory, March 2002. (more details)
Analyzing String Buffers in C. Axel Simon and Andy King. Technical Report 2-02, University of Kent, Computing Laboratory, February 2002. (more details)
Loose specification and refinement in Z. Eerke Boiten. In D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 226-241, Grenoble, France, January 2002. Springer. (more details)
Handling inconsistencies in z using quasi-classical logic. Ralph Miarka, John Derrick, and Eerke Boiten. In Didier Bert, Jonathan P. Bowen, Martin C. Henson, and Ken Robinson, editors, ZB2002: Formal Specification and Development in Z and B / Second International Conference of B and Z Users, volume 2272 of Lecture Notes in Computer Science, pages 204-225, Grenoble, France, January 2002. Springer-Verlag Berlin Heidelberg. (more details)
Two Variables per Linear Inequality as an Abstract Domain. Axel Simon, Andy King, and Jacob M. Howe. In M. Leuschel, editor, Proceedings of Logic Based Program Development and Transformation, volume 2664 of Lecture Notes in Computer Science, pages 71-89. Springer-Verlag, 2002. see http://www.springer.de./comp/lncs/index.html. (more details)
A Backward Analysis for Constraint Logic Programs. A. King and L. Lu. Technical Report 4-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, Kent, CT2 7NF, UK, December 2001. To appear in Theory and Practice of Logic Programming. (more details)
Efficient Groundness Analysis in Prolog. J. M. Howe and A. King. Technical Report 15-01, University of Kent, Computing Laboratory, December 2001. To appear in Theory and Practice of Logic Programming. (more details)
Documenting and validating virtual archaeology. Nick Ryan. Archeologia e Calcolatori, 12:245-273, November 2001. (more details)
Positive Boolean Functions as Multiheaded Clauses. J. M. Howe and A. King. In P Codognet, editor, International Conference on Logic Programming, Lecture Notes in Computer Science 2237, pages 120-134. Springer-Verlag, November 2001. see http://www.springer.de./comp/lncs/index.html. (more details)
Describing evolving dependable systems using co-operative software architectures. R. de Lemos. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM01), pages 320-329. IEEE Computer Society, November 2001. (more details) download publication
jnet, a successor to gnet. Nick Ryan. In W. Borner, editor, Archaologie und Computer, Workshop 6. Forschungsgesellschaft Wiener Stadtarchaologie, November 2001. (more details)
Explicit representation of exception handling in the development of dependable component-based systems. G. R. M. Ferreira, C. M. F. Rubira, and R. de Lemos. In Proceedings of the IEEE International High-Assurance Systems Engineering Symposium (HASE 2001), pages 182-193. IEEE Computer Society, October 2001. (more details) download publication
Issues in distributed systems. P.F. Linington. In H.Bowman and J.Derrick, editors, Formal Methods for Distributed Processing, pages 3-17. Cambridge University Press, October 2001. (more details)
Distributed Systems, an ODP Perspective. P.F. Linington. In H.Bowman and J.Derrick, editors, Formal Methods for Distributed Processing, chapter 2, pages 18-35. Cambridge University Press, October 2001. (more details)
Refactoring Functional Programs. Simon Thompson and Claus Reinke. Technical Report 16-01, University of Kent, Computing Laboratory, October 2001. (more details) download publication
Interception of communications. Gerald Tripp. Information and Communications Technology Law, 10(3):285-292, October 2001. (more details)
Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment, Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment download publication KAR:13552
Projects: KRoC
tranx86 - an Optimising ETC to IA32 Translator. F.R.M. Barnes. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, number 59 in Concurrent Systems Engineering Series, pages 265-282. IOS Press, Amsterdam, The Netherlands, September 2001. (more details)
Interpreting ODP Viewpoint Specification: Observations from a Case Study. C Taylor, E Boiten, and J Derrick. Technical Report 9-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, UK, September 2001. (more details)
A semantics for tracing. Olaf Chitil. In Thomas Arts and Markus Mohnen, editors, Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001, pages 249-254, Älvsjö, Sweden, September 2001. Ericsson Computer Science Laboratory. (more details) download publication
Compositional explanation of types and algorithmic debugging of type errors. Olaf Chitil. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), pages 193-204, Firenze, Italy, September 2001. ACM. (more details) download publication
Multiple-view tracing for Haskell: a new Hat. Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman. In Ralf Hinze, editor, Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 151-170, Firenze, Italy, September 2001. Universiteit Utrecht UU-CS-2001-23. Final proceedings to appear in ENTCS 59(2). (more details) download publication
Pretty printing with lazy dequeues. Olaf Chitil. In Ralf Hinze, editor, Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 183-201, Firenze, Italy, September 2001. Universiteit Utrecht UU-CS-2001-23. Final Proceedings to appear in ENTCS 59(2). (more details) download publication
Diversity of safety arguments in the validation of a sounding rocket destruction system. M. A. D. Abdala, C. H. N. Lahoz, and R. de Lemos. In Proceedings of the International Systems Safety Conference, pages 801-810, September 2001. (more details) download publication
Tool support for development using patterns. S. Neal and P.F. Linington. In E.Lupu and A.Wegmann, editors, Proceedings of the fifth International Enterprise Distributed Object Computng Conference, pages 237-248, Seattle, Washingto, USA, September 2001. IEEE Computer Society. (more details)
Interoperable portal for the historic environment. Francisco Pinto, Nick Ryan, Tony Austin, and Julian Richards. In Erich Neuhold and Leonid Kalinichenko, editors, Forthcoming paper in Interoperability on Digital Libraries - Delos Workshop 2001: Proceedings of European Conference on Research and Advanced Technology for Digital Libraries. German National Research Center for Information Technologie, Darmstadt, Germany, European Research Consortium for Informatics and Mathematics (ERCIM), September 2001. (more details) download publication
Three Optimisations for Sharing. Jacob Howe and Andy King. Technical Report 11-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, August 2001. Accepted to appear in Theory and Practice of Logic Programming subject minor corrections. (more details)
Permabase: predicting the performance of distributed systems at the design stage. G. Waters, P. Linington, D. Akehurst, P. Utton, and G. Martin. IEE Proceedings - Software, 148(4):113-121, August 2001. (more details)
Red-black trees with types. Stefan Kahrs. Journal of Functional Programming, 11(4):425-432, July 2001. (more details)
Verifying termination and error-freedom of logic programs with block declarations. Jan-Georg Smaus, Pat M. Hill, and Andy King. Theory and Practice of Logic Programming, 1(4):447-486, July 2001. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html. (more details)
Specification and implementation in ODP. P.F. Linington and W.F. Frank. In J.Cordeiro and H.Kilov, editors, Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, pages 69-80, Setubal, Portugal, July 2001. ICEIS Press. (more details)
Mobile Data Types for Communicating Processes. P.H. Welch and F.R.M. Barnes. In H.R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001, volume 1, pages 20-26. CSREA, CSREA Press, June 2001. (more details)
Projects: KRoC
Testing an event specification language. R Gomez, J C Augusto, and A Galton. In Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01), pages 341-345, Buenos Aires, Argentina, June 2001. (more details)
Widening BDDs. Jacob M. Howe and Andy King. Technical Report 5-01, University of Kent, Computing Laboratory, May 2001. (more details)
Refinement in z and object-z: Foundations and advanced applications. John Derrick and Eerke Boiten. Formal Approaches to Computing and Information Technology. Springer, May 2001. (more details)
Using semantic searching for web portal interoperability. Francisco Pinto, Claudio Baptista, and Nick Ryan. In International Workshop on Information Integration on the Web - Technologies and Applications, April 9-11, Rio de Janeiro - Brazil. Federal University of Rio de Janeiro, April 2001. (more details)
Joined up writing: an internet portal for research into the historic environment. Tony Austin, Francisco Pinto, Julian Richards, and Nick Ryan. In G. Burenhult, editor, Forthcoming paper in CAA 2001: Proceedings of Computer Applications and Quantitive Methods in Archeology Conference. Gotland University, Visby, Gotland - Sweden, April 2001. (more details) download publication
Educating the digital fieldwork assistant. Martijn van Leusen and Nick Ryan. In G. Burenhult, editor, Forthcoming paper in CAA 2001: Proceedings of Computer Applications and Quantitive Methods in Archeology Conference. Gotland University, Visby, Gotland - Sweden, Archaeopress, Oxford, April 2001. (more details)
Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), LNCS 2011, pages 176-193, Aachen, Germany, March 2001. Springer. (more details) download publication
Representing Exceptional Behaviour at the earlier Phases of Software Development. R. de Lemos. In Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF), pages 233-236, March 2001. (more details) download publication
Exception Handling in the Software Lifecycle. R de Lemos and A. Romanovsky. International Journal of Computer Systems Science and Engineering, 16(2):167-181, March 2001. (more details)
Describing Evolving Dependable Systems using Co-operative Software Architectures. R de Lemos. Technical Report 1-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, March 2001. (more details)
Analysing Failure Behaviours in Component Interaction. R de Lemos. Technical Report 2-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, March 2001. (more details)
FAD: A Functional Analysis and Design Methodology. Dan Russell. Phd thesis, Computing Laboratory, University of Kent at Canterbury, January 2001. (more details)
Logic and Dependent Types in the Aldor Computer Algebra System. Simon Thompson. In Manfred Kerber and Michael Kohlhase, editors, Symbolic Computation and Automated Reasoning, pages 205-219. A K Peters, January 2001. (more details)
Implementation and testing of a set of event detection operators. R. Gomez, J.C. Augusto, and A. Galton. Technical Report 398, School of Engineering and Computer Science, University of Exeter, December 2000. (more details)
Pair-sharing over rational trees. Andy King. Journal of Logic Programming, 46(1-2):139-155, November 2000. (more details)
Safety Analysis of an Evolving Software Architecture. R. de Lemos. In Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000), pages 159-167. IEEE Computer Society, November 2000. (more details) download publication
Back to reality: augmented reality from field survey to tourist guide. Nick Ryan. In Franco Niccolucci, editor, Forthcoming paper in Virtual Archaeology between Scientific Research and Territorial Marketing, proceedings of the VAST EuroConference, Arezzo, Italy, November 2000. (more details)
From cvr to cvro: The past, present, and future of cultural virtual reality. Bernard Frischer, Franco Niccolucci, Nick Ryan, and Juan Barceló. In Franco Niccolucci, editor, Virtual Archaeology between Scientific Research and Territorial Marketing, proceedings of the VAST EuroConference, Arezzo, Italy, November 2000. (more details)
Designing a trace format for heap allocation events. Trishul Chilimbi, Richard Jones, and Benjamin Zorn. In Tony Hosking, editor, ISMM2000 International Symposium on Memory Management, pages 35-49, Minneapolis, MN, October 2000. ACM Press. This is the version of HATF 1.0 and MetaTF 1.0 presented at ISMM2000. Following discussions there, a revised definition has been produced. (more details)
Type-inference based deforestation of functional programs. Olaf Chitil. PhD thesis, RWTH Aachen, October 2000. (more details) download publication
Evaluation of Co-operative Actions in the Safety Analysis of the Destruction System of the Sounding Rocket VS-40X (in Portuguese). C. Lahoz, M. Abdala, C. A. T. Moura, and R. de Lemos. In Proceedings of the Symposium on Safety and Security of Information Systems, pages 49-58, October 2000. (more details)
Introduction to memory management and garbage collection. Richard Jones and Eric Jul, October 2000. Tutorial 70, OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages and Applications, Minneapolis. (more details)
Blocking system calls in KRoC/Linux. Frederick R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering Series, pages 155-178. Computing Laboratory, University of Kent, IOS Press, September 2000. (more details) download publication
Projects: KRoC
Post-Mortem Debugging in KRoC. D.C. Wood and F.R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 179-191. WoTUG, IOS Press (Amsterdam), September 2000. (more details)
Using Java for Parallel Computing: JCSP versus CTJ. P.H. Welch, G.H. Hilderink, and N.C. Schaller. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 205-226. WoTUG, IOS Press (Amsterdam), September 2000. (more details)
Formal Analysis of Concurrent Java Systems. P.H. Welch and J.M.R. Martin. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 275-301. WoTUG, IOS Press (Amsterdam), September 2000. (more details) download publication
Native JCSP: the CSP-for-java library with a Low-Overhead CPS Kernel. J. Moores. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 263-273. WoTUG, IOS Press (Amsterdam), September 2000. (more details)
An Experiment with Recursion in occam. D.C. Wood. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 193-204. WoTUG, IOS Press (Amsterdam), September 2000. (more details)
Communicating process architectures 2000. P.H.Welch and A.W.P.Bakkers, editors, volume 58 of Concurrent Systems Engineering. WoTUG, IOS Press (Amsterdam), September 2000. (more details)
Mode Analysis Domains for Typed Logic Programs. Jan-Georg Smaus, Pat Hill, and Andy King. In A Bossi, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1817 of Lecture Notes in Computer Science, pages 82-101, September 2000. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html. (more details)
A Simple Polynomial Groundness Analysis for Logic Programs. A. Heaton, M. Abo-Zaed, M. Codish, and A. King. Journal of Logic Programming, 45:143-156, September 2000. (more details)
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. Chris Taylor, John Derrick, and Eerke Boiten. In Proc. of ICFEM 2000, pages 177-185. IEEE, September 2000. (more details)
Refinement of objects and operations in Object-Z. John Derrick and Eerke Boiten. In Scott F. Smith and Carolyn L. Talcott, editors, Formal Methods for Open Object-based Distributed Systems IV, pages 257-277. Kluwer Academic Publishers, September 2000. (more details)
Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Markus Mohnen and Pieter Koopman, editors, Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 47-62, Aachen, Germany, September 2000. Aachener Informatik-Bericht 00-7, RWTH Aachen. (more details) download publication
Typeview: A Tool for Understanding Type Errors. Axel Simon, Olaf Chitil, and Frank Huch. In Markus Mohnen and Pieter Koopman, editors, Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 63-69, Aachen, Germany, September 2000. Aachener Informatik-Bericht 00-7, RWTH Aachen. (more details) download publication
Memeory management session overview. Richard Jones. In Graham N.C. Kirby, Alan Dearle, and Dag I.K. Sjoberg, editors, Persistent Object Systems: Design, Implementation, and Use, volume 2135 of Lecture Notes in Computer Science, pages 84-86, Lillehammer, Norway, September 2000. Springer. (more details)
Distributed quality of service multicast routing with multiple metrics for receiver initiated joins. Miguel Rio and Peter F. Linington. In Proceedings of ICON'2000. IEEE Computer Society, September 2000. (more details)
Viewpoint consistency in ODP. E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Computer Networks, 34(3):503-537, August 2000. (more details)
Guards, Preconditions, and Refinement in Z. Ralph Miarka, Eerke Boiten, and John Derrick. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, and Steve King, editors, ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science, pages 286-303. Springer-Verlag Berlin, August 2000. (more details)
Abstracting Numeric Constraints with Boolean Functions. J. M. Howe and A. King. Information Processing Letters, 75(1-2):17-23, July 2000. (more details)
Liberating data refinement. E.A. Boiten and J. Derrick. In R.C. Backhouse and J.N. Oliveira, editors, Mathematics of Program Construction, 5th International Conference, Ponte de Lima, volume 1837 of Lecture Notes in Computer Science, pages 144-166. Springer, July 2000. (more details)
Deforestation of Functional Programs through Type Inference. Olaf Chitil. In Wolfgang Goerigk, editor, 17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten, pages 121-130. Bad Honnef, Bericht Nr. 2007 des Instituts fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel, July 2000. (more details) download publication
Two-point atm switching system measurements. P.F. Linington and G.E.W. Tripp. In D. Kouvatsos, editor, Technical Proceedings, Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM and IP Networks (ATM and IP 2000), page 14. Networks UK, July 2000. (more details)
A CSP Model for Java Multithreading. P.H. Welch and J.M.R. Martin. In P.Nixon and I.Ritchie, editors, Software Engineering for Parallel and Distributed Systems, pages 114-122. ICSE 2000, IEEE Computer Society Press, June 2000. (more details)
Process Oriented Design for Java: Concurrency for All. P.H. Welch. In H.R.Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), volume 1, pages 51-57. CSREA, CSREA Press, June 2000. (more details)
Some Stratagems for the Estimation of Time Series using the Metropolis Method. Andrew Runnalls. In Neal Madras, editor, Monte Carlo Methods, volume 26, pages 207-220, June 2000. Fields Institute Communications, No. 26. (more details)
Metacris: Metadata for research digital libraries. Claudio de Souza Baptista, Francisco Queiros Pinto, Zarine Kemp, and Nick Ryan. In The Fifth European Conference on Current Research Information Systems, Helsinki, Finland, May 2000. Innovation Directorate of the European Commission's DG Enterprise. (more details)
A Co-operative Object-Oriented Architecture for Adaptive Systems. R. de Lemos. In Proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pages 120-128. IEEE Computer Society, April 2000. (more details)
Implementing Groundness Analysis with Definite Boolean Functions. J. M. Howe and A. King. In G. Smolka, editor, European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 200-214. Springer-Verlag, March 2000. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html. (more details)
Abstract Domains for Universal and Existential Properties. A. Heaton, P. Hill, and A. King. In G. Smolka, editor, European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 150-164. Springer-Verlag, March 2000. see http://www.springer.de./comp/lncs/index.html. (more details)
Specialising Finite Domain Programs using Polyhedra. J.M. Howe and A. King. In A. Bossi, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1817 of Lecture Notes in Computer Science, pages 118-135. Springer-Verlag, March 2000. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html. (more details)
Integrating Computer Algebra and Reasoning through the Type System of Aldor. Erik Poll and Simon Thompson. In Helene Kirchner and Christophe Ringeissen, editors, Frontiers of Combining Systems: Frocos 2000, volume 1794 of Lecture Notes in Computer Science, pages 136-150. Springer, March 2000. (more details)
Abstracting Builtins for Groundness Analysis. A. Heaton and A. King. Technical Report 3-00, University of Kent at Canterbury, Computing Laboratory, January 2000. (more details)
Using while moving: Hci issues in fieldwork environments. J. Pascoe, N.S. Ryan, and D.R. Morse. ACM Transactions on Computer Human Interaction, 7:417-437, January 2000. (more details)
Regular Expressions and Automata using Haskell. Simon Thompson. Technical Report 5-00, Computing Laboratory, University of Kent, January 2000. (more details)
A Complete Axiomatization of Interval Temporal Logic with Projection. Howard Bowman and Simon Thompson. Technical Report 6-00, Computing Laboratory, University of Kent, January 2000. (more details)
The design of an associative processing system for network monitoring. Gerald Tripp. Technical Report 1-00, The Computing Laboratory, University of Kent, January 2000. (more details)
Type-Inference Based Short Cut Deforestation (nearly) without Inlining. Olaf Chitil. In Chris Clack and Pieter Koopman, editors, Proceedings of 11th International Workshop on Implementation of Functional Languages (1999), number 1868 in LNCS, pages 19-36, Netherlands, 2000. Springer. (more details) download publication
A formal framework for viewpoint consistency (full version). H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ, December 1999. (more details)
A Semantic Basis for Specialising Domain Constraints. J. M. Howe and A. King. Technical Report 21-99, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, November 1999. Presented at the International Workshop for Object-oriented and Constraint Programming for Time Critical Applications, Lisbon, Portugal. (more details)
Garbage collection. Richard Jones and Eric Jul. ACM SIGPLAN, November 1999. Tutorial 28, OOPSLA'99 Conference on Object-Oriented Programming, Systems, Languages and Applications, Denver. (more details)
Proof. Simon Thompson. In Kevin Hammond and Greg Michaelson, editors, Research Directions in Parallel Functional Programming, pages 93-119. Springer Verlag, November 1999. (more details)
Safe and verifiable design of concurrent programs. P.H. Welch, G.H. Hilderink, A.W.P. Bakkers, and G.S. Stiles. In Borko Furht, editor, Proceedings of the 3rd. International Conference on Software Engineering and Applications, pages 20-26. International Association for Science and Technology for Development, October 1999. (more details)
Aldor meets Haskell. Chris Ryder and Simon Thompson. Technical Report 15-99, Computing Laboratory, University of Kent, October 1999. (more details)
Constructive consistency checking for partial specification in Z. E.A. Boiten, J. Derrick, H. Bowman, and M.W.A. Steen. Science of Computer Programming, 35(1):29-75, September 1999. (more details)
Non-atomic refinement in Z. J. Derrick and E.A. Boiten. In J.M. Wing, J.C.P. Woodcock, and J. Davies, editors, FM'99 World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of Lecture Notes in Computer Science, pages 1477-1496, Berlin, September 1999. Springer. (more details)
Validating Formal Verification using Safety Analysis Techniques. R. de Lemos and A. Saeed. In Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), pages 58-66, Toulouse, France, September 1999. (more details)
Options for expressing ODP Enterprise Communities and their Policies by using UML. P.F. Linington. In Proceedings of the Third International Enterprise Distributed Object Computing Confererence, pages 72-82. IEEE, September 1999. (more details)
Issues in developing context-aware computing. J. Pascoe, N.S. Ryan, and D.R. Morse. In H-W.Gellersen, editor, Handheld and Ubiquitous Computing, number 1707 in Lecture Notes in Computer Science, pages 208-221, Heidelberg, Germany, September 1999. Springer-Verlag. (more details)
Network traffic monitoring - an architecture using associative processing.. Gerald Tripp. Technical Report 7-99, Computing Laboratory, University of Kent, September 1999. (more details)
C++ Class Libraries for MCMC Applied to Bayesian Networks. Andrew Runnalls. In Conference on Highly Structured Stochastic Systems at Pavia, Italy, Poster, September 1999. (more details)
Viewpoints and consistency: translating LOTOS to Object-Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Computer Standards and Interfaces, 21:251-272, August 1999. (more details)
Meeting diverse user needs: Implementation of a departmental information strategy. Richard Jones, David Beckett, and Sally Fincher. In Stephen D. Franklin and Ellen Strenski, editors, International Working Conference on Building University Electronic Educational Environments, pages 125-139. IFIP WG3.2/3.6, Kluwer, August 1999. (more details)
Proceedings of the 1999 Workshop on Functional and Declarative Programming in Education. Matthias Felleisen, Michael Hanus, and Simon Thompson. Technical Report COMP TR99-346, Department of Computer Science, Rice University, August 1999. (more details)
Calculating upward and downward simulations of state-based specifications. John Derrick and Eerke Boiten. Information and Software Technology, 41:917-923, July 1999. (more details)
Testing refinements of state-based formal specifications. John Derrick and Eerke Boiten. Software Testing, Verification and Reliability, (9):27-50, July 1999. (more details)
Separating component and context specification using promotion. John Derrick and Eerke Boiten. In K. Araki, A. Galloway, and K. Taguchi, editors, International conference on Integrated Formal Methods 1999 (IFM'99), pages 293-312. Springer, July 1999. (more details)
Analysis of Safety Properties of a System from the Viewpoint of its Components Interactions. R. de Lemos. In Proceedings of the 9th Brazilian Symposium on Fault-Tolerant Computers (SCTF), pages 35-48, Campinas, Brazil, July 1999. (more details)
The Type System of Aldor. Erik Poll and Simon Thompson. Technical Report 11-99, Computing Laboratory, University of Kent at Canterbury, Kent CT2 7NF, UK, July 1999. (more details)
An ODP approach to the development of large middleware systems. P.F. Linington. In Proc. Distributed Applications and Interoperable Systems II, Helsinki. Kluwer, June 1999. (more details)
Quality of Service measurements on SuperJANET - the UK academic information highway. A.S. Induruwa, P.F. Linington, and J.B. Slater. In Proc INET'99, June 1999. (more details)
Exception Handling in a Cooperative Object-Oriented Approach. R. de Lemos and A. Romanovsky. In Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99), pages 3-13, Saint Malo, France, May 1999. (more details)
Fieldnote: a handheld information system for the field. N.S. Ryan, J. Pascoe, and D.R. Morse. In R.Laurini, editor, Proc. TeleGeo'99, 1st International Workshop on TeleGeoProcessing, pages 156-163. Claude Bernard University of Lyon, May 1999. (more details)
Real time network traffic monitoring. Gerald Tripp. Technical Report 5-99, The Computing Laboratory, University of Kent, May 1999. (more details)
CSP/occam on Shared Memory Multiprocessor Workstations. K. Vella and P.H. Welch. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, pages 87-119, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press. (more details)
CCSP - a Portable CSP-based Run-time System Supporting C and occam. J. Moores. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering series, pages 147-168, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press. (more details)
CSP for Java : Multithreading for All. P.H. Welch, G.S. Stiles, G.H. Hilderink, and A.P. Bakkers. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press. (more details)
Quotienting Share for Dependency Analysis. Andy King, Jan-Georg Smaus, and Pat Hill. In Doaitse Swierstra, editor, European Symposium on Programming, volume 1576 of Lecture Notes in Computer Science, pages 59-73. Springer-Verlag, April 1999. (c) Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html. (more details)
Distance: a New Metric for Controlling Granularity for Parallel Execution. Kish Shen, V'itor Santos Costa, and Andy King. Journal of Functional and Logic Programming, April 1999. (more details)
Strategies for consistency checking based on unification. H. Bowman, E. A. Boiten, J. Derrick, and M. W. A. Steen. Science of Computer Programming, 33:261-298, April 1999. (more details)
RISCSIM - A Simulator for Object-based Systems. P.F. Linington. In Proc. UKSIM'99 Conference of the UK Simulation Society, pages 141-147. UK Simulation Society, April 1999. (more details)
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. Jan-Georg Smaus, Pat Hill, and Andy King. In P Flener, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1559 of Lecture Notes in Computer Science, pages 289-307. Springer-Verlag, March 1999. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html. (more details)
An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions. F. Benoy and A. King. Technical Report 3-99, Computing Laboratory, University of Kent, March 1999. (more details)
Fieldnote: extending a gis into the field. N.S. Ryan, J. Pascoe, and D.R. Morse. In J.A.Barcelo, I.Briz, and A.Vila, editors, New Techniques for Old Times: Computer Applications in Archaeology, 1998, number S757 in BAR International Series, pages 127-132, Oxford, UK, March 1999. Archaeopress. (more details)
Haskell: the Craft of Functional Programming. Simon Thompson. International Computer Science Series. Addison-Wesley, Harlow, UK, second edition, March 1999. More details at <a href="http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e">the home page for the book</a>. (more details)
Synchronisation Primitives for Highly Parallel Discrete Event Simulations. P.H. Welch, D.C. Wood, and J. Kerridge. In R.H.Sprague Jnr, editor, Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), page 10. IEEE, IEEE Computer Society Press, January 1999. (more details)
Consistency of partial process specifications. Maarten Steen, John Derrick, Eerke Boiten, and Howard Bowman. In Armando Haeberer, editor, AMAST'98, page 15. Springer Verlag, January 1999. (more details)
Denotational Semantics for Teaching Lazy Functional Programming. Olaf Chitil. In Proceedings of the Workshop on Functional and Declarative Programming in Education, Technical Report TR99-346, page 27. Rice University Compter Science, 1999. (more details) download publication
Type Inference Builds a Short Cut to Deforestation. Olaf Chitil. In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99), pages 249-260. ACM Sigplan Notices, 34(9), 1999. (more details) download publication
Type-inference based short cut deforestation (nearly) without inlining. Olaf Chitil. In Chris Clack and Pieter Koopman, editors, Draft Proceedings of the 11th International Workshop on Implementation of Functional Languages, pages 17-32, 1999. Lochem, Netherlands, September 7th-10th 1999. (more details) download publication
Specifying and Refining Internal Operations in Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Formal Aspects of Computing, 10:125-159, December 1998. (more details)
Cyclic Distributed Garbage Collection. Helena Rodrigues. PhD thesis, University of Kent at Canterbury, November 1998. (more details)
Policies in communities: Extending the enterprise viewpoint. P.F. Linington, Z Milosevic, and K. Raymond. In Proc. 2nd International Workshop on Enterprise Distributed Object Computing (EDOC'98), San Diego, USA, page 11, November 1998. (more details)
Proceedings of the First International Symposium on Memory Management. Richard Jones, editor, Vancouver, Canada, October 1998. ACM. ISMM is the successor to the IWMM series of workshops. (more details)
Enhanced reality fieldwork: the context-aware archaeological assistant. N. S. Ryan, J. Pascoe, and D. R. Morse. In V. Gaffney, M. van Leusen, and S. Exxon, editors, Computer Applications in Archaeology 1997, British Archaeological Reports, Oxford, October 1998. Tempus Reparatum. (more details)
IO - refinement in Z. E.A. Boiten and J. Derrick. In A Evans, D Duke, and T Clark, editors, 3rd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer Verlag, September 1998. (more details)
Testing refinements by refining tests. J. Derrick and E. A. Boiten. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM'98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 265-283. Springer-Verlag, September 1998. (more details)
Grey box data refinement. E.A. Boiten and J. Derrick. In J. Grundy, M. Schwenke, and T. Vickers, editors, International Refinement Workshop & Formal Methods Pacific '98, Discrete Mathematics and Theoretical Computer Science, pages 45-59, Canberra, September 1998. Springer-Verlag. (more details)
Context aware: the dawn of sentient computing?. J. Pascoe, N. S. Ryan, and P. J. Brown. GPS World, 9(9):22-30, September 1998. (more details)
Using Probability to Reason about Soft Deadlines. Andy King and Jeremy Bryans. Technical Report 13-98, Computing Laboratory, August 1998. Presented at the International Workshop on Constraint Programming for Time Critical Applications and Multi-Agent Systems, Nice, France. (more details)
Developing personal technology for the field. J. Pascoe, D. R. Morse, and N. S. Ryan. Personal Technologies, 2:28-36, August 1998. (more details)
Analysis of Logic Programs with Delay. Andrew Heaton, Pat Hill, and Andy King. In N E Fuchs, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1463 of Lecture Notes in Computer Science, pages 148-167. Springer-Verlag, July 1998. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html. (more details)
Verification of logic programs with block declarations running in several modes. Jan-Georg Smaus, Pat Hill, and Andy King. Technical Report 7-98, University of Kent at Canterbury, Canterbury, CT2 7NF, United Kingdom, July 1998. (more details)
Distance: a New Metric for Controlling Granularity for Parallel Execution. K. Shen, V. Santos Costa, and A. King. In Joint International Conference and Symposium on Logic Programming, pages 85-99. MIT Press, July 1998. (more details)
Cyclic distributed garbage collection with group merger. Helena Rodrigues and Richard Jones. In Eric Jul, editor, Proceedings of 12th European Conference on Object-Oriented Programming, ECOOP98, Lecture Notes in Computer Science, pages 249-273, Brussels, July 1998. Springer. (more details)
Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Erik Poll and Simon Thompson. Technical Report 6-98, Computing Laboratory, University of Kent, May 1998. Presented at the workshop Calculemus and Types, Eindhoven, Netherlands, July 1998. <a href="http://www.win.tue.nl/math/dw/pp/calc/">Workshop website</a>. (more details)
Parallel and Distributed Computing in Education (Invited Talk). P.H. Welch. In J.M.L.M.Palma, J.Dongarra, and V.Hernandez, editors, VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers, volume 1573 of Lecture Notes in Computer Science, page 30 pages. Springer-Verlag, June 1998. (more details) download publication
Preventing instantiation errors and loops for logic programs with several modes using t block declarations. Jan-Georg Smaus, Pat Hill, and Andy King. Technical Report UMCS-98-6-1 (University of Manchester), June 1998. Extended abstract. Accepted for presentation at the LOPSTR 98 workshop. (more details)
Termination of Logic Programs with block Declarations Running in Several Modes. Jan-Georg Smaus, Pat Hill, and Andy King. In Catuscia Palamidessi, editor, International Symposium on Programming Languages: Implementations, Logics and Programs, jointly held with Algebraic and Logic Programming, volume 1490 of Lecture Notes in Computer Science, pages 73-88. Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, June 1998. (more details)
Practical dependency analysis through a share quotient. Andy King, Pat Hill, and Jan Smaus. Technical Report 11-98, Computing Laboratory, May 1998. (more details)
Widening Positive Boolean functions for Goal-dependent Groundness Analysis. Michael Codish, Andy Heaton, Andy King, Muhamed Abo-Zaed, and Pat Hill. Technical Report 12-98, Computing Laboratory, May 1998. (more details)
Human Computer Giraffe Interaction: HCI in the Field. J. Pascoe, N. S. Ryan, and D. R. Morse. In C. Johnson, editor, Workshop on Human Computer Interaction with Mobile Devices, GIST Technical Report G98-1. University of Glasgow, May 1998. (more details)
Synchronization in Multimedia Documents. Helen Cameron, Peter King, Howard Bowman, and Simon Thompson. In Jacques Andre, editor, Electronic Publishing 98. Springer, May 1998. (more details)
A tableaux method for interval temporal logic with projection. Howard Bowman and Simon J. Thompson. In TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, volume 1397 of Lecture Notes in AI, pages 108-123. Springer-Verlag, May 1998. (more details)
A Functional Reactive Animation of a Lift using Fran. Simon Thompson. Technical Report 5-98, Computing Laboratory, University of Kent, May 1998. (more details)
Architectures, Languages and Patterns for Parallel and Distributed Applications. P.H.Welch and A.W.P.Bakkers, editors, volume 52 of Concurrent Systems Engineering Series. WoTUG, IOS Press (Amsterdam), April 1998. (more details)
Java Threads in the Light of occam/CSP. P.H. Welch. In P.H.Welch and A.W.P.Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering Series, pages 259-284, Amsterdam, April 1998. WoTUG, IOS Press. (more details) download publication
Extended Transputer Code - a Target-Independent Representation of Parallel Programs. M.D. Poole. In P.H.Welch and A.W.P.Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering, Address, April 1998. WoTUG, IOS Press. (more details)
Coordinated Atomic Actions in Modelling Objects Cooperation. R. de Lemos and A. Romanovsky. In Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), pages 152-160, Kyoto, Japan, April 1998. (more details)
Reflections on the design of a specification language. Stefan Kahrs and Donald Sannella. In Egidio Astesiano, editor, Fundamental Aspects of Software Engineering, volume 1382 of Lecture Notes in Computer Science, pages 154-170. Springer, April 1998. (more details)
Performance limitations of a Banyan-based ATM switching system under multiple, shaped traffic flows. P. Carvalho and P. Linington. In 16th IASTED International Conference on Applied Informatics, Garmisch-Partenkirchen, Germany, February 1998. (more details)
Detecting and Exploiting Determinacy in Logic Programs. P Hill and A King. Computational Logic Newsletter, 4(1):100-101, January 1998. (more details)
Enhanced reality fieldwork using hand-held computers in the field. D.R. Morse, N.S. Ryan, and J. Pascoe. Life Sciences Educational Computing, 9:18-20, January 1998. (more details)
The `gold standard'' navigator. Andrew Runnalls and Robin Handley. In Mark Bedworth and Jane O''Brien, editors, Proceedings of Eurofusion98, pages 77-82, 1998. (more details)
Determinacy and determinacy analysis. P.M. Hill and A. King. Journal of Programming Languages, 5(1):135-171, December 1997. (more details)
Distance: a new metric for controlling granularity for parallel execution. Kish Shen, Vitor Santos Costa, and Andy King. Technical Report 15-97, University of Kent at Canterbury, December 1997. (more details)
Widening pos for efficient and scalable groundness analysis of logic programs. Mike Codish, Andy Heaton, and Andy King. Technical Report 16-97, University of Kent at Canterbury, December 1997. (more details)
Cyclic distributed garbage collection with group merger. Helena C.C.D. Rodrigues and Richard E. Jones. Technical Report 17-97, Computing Laboratory, University of Kent at Canterbury, December 1997. (more details)
Lower-bound time-complexity analysis of logic programs. Andy King, Kish Shen, and Florence Benoy. In Jan Maluszynski, editor, International Symposium on Logic Programming, pages 261 - 276. MIT Press, November 1997. (more details)
Disjunction of LOTOS specifications. M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97, pages 177-192, Osaka, Japan, November 1997. Chapman & Hall. (more details)
Adding an Optimisation Pass to the Glasgow Haskell Compiler. Olaf Chitil. November 1997. (more details) download publication
Lecture notes on formal program development. Stefan Kahrs. LFCS Report ECS-LFCS-97-372, University of Edinburgh, November 1997. (more details)
Alternative Archaeological Representations within Virtual Worlds. Jonathan C. Roberts and Nick Ryan. In Richard Bowden, editor, Proceedings of the 4th UK Virtual Reality Specialist Interest Group Conference - Brunel University, pages 179-188, Uxbridge, Middlesex, November 1997. (UK VR-SIG URL http://www.crg.cs.nott.ac.uk/groups/ukvrsig/). (more details)
A Tableau Method for Interval Temporal Logic. Howard Bowman and Simon Thompson. Technical Report 12-97, Computing Laboratory, University of Kent, November 1997. (more details)
A new metric for controlling granularity for parallel execution. Kish Shen, Vitor Santos Costa, and Andy King. In Workshop on Parallelism and Implementation Technology for Constraint Logic Programming Languages, page 16, October 1997. (more details)
Context-aware applications: from the laboratory to the marketplace. P. J. Brown, J. D. Bovey, and X. Chen. IEEE Personal Communications, 4(5):58-64, October 1997. (more details)
Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language. H. Kilov, P. Linington, J. Miller, K. Raymond, and B. Wood. In H.Kilov, B.Rumpe, and I.Simmonds, editors, Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics, TUM-I9737, pages 115-118. Munich University of Technology, October 1997. (more details)
Viewpoint consistency in Z and LOTOS: A case study. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 644-664. Springer-Verlag, September 1997. (more details)
Common Subexpression Elimination in a Lazy Functional Language. Olaf Chitil. In Chris Clack, Tony Davie, and Kevin Hammond, editors, Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages, pages 501-516. St Andrews, Scotland, September 1997. (more details) download publication
Common Subexpressions are Uncommon in Lazy Functional Languages. Olaf Chitil. In Chris Clack, Tony Davie, and Kevin Hammond, editors, Proceedings of the 9th International Workshop on Implementation of Functional Languages (September 1997), pages 53-71. St Andrews, Scotland, Springer, 1998. (more details)
An Object-Based Approach to Modelling and Analysis of Failure Properties. M. Cepin, R. de Lemos, B. Mavko, S. Riddle, and A. Saeed. In P. Daniel, editor, Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97), pages 281-294, York, UK, September 1997. Springer-Verlag, Berlin, Germany. (more details)
em Where do I begin? A problem solving approach to teaching functional programming. Simon Thompson. In Krzysztof Apt, Pieter Hartel, and Paul Klint, editors, First International Conference on Declarative Programming Languages in Education. Springer-Verlag, September 1997. (more details)
Inferring Argument Size Relationships with CLP(R). Florence Benoy and Andy King. In Logic Program Synthesis and Transformation, volume 1207 of Lecture Notes in Computer Science, pages 204-223. Springer-Verlag, August 1997. (more details)
Typed Norms for Typed Logic Programs. Jon Martin and Andy King. In J. Gallagher, editor, Logic Program Synthesis and Transformation, volume 1207 of Lecture Notes in Computer Science, pages 224-238. Springer-Verlag, August 1997. (more details)
Fieldworker advanced 2.3.5 and fieldworker pro 0.91 gps software. N. S. Ryan, J. Pascoe, and D. R. Morse. Internet Archaeology, 3, August 1997. http://intarch.ac.uk/journal/issue3/reviews/ryan.html. (more details)
Introductory Problem Solving in Computer Science. David J. Barnes, Sally Fincher, and Simon Thompson. In Goretti Daughton and Patricia Magee, editors, 5th Annual Conference on the Teaching of Computing, pages 36-39, Centre for Teaching Computing, Dublin City University, Dublin 9, Ireland, August 1997. (more details)
Inferring numeric relationships for logic program transformation. Jon Martin and Andy King. In Pre-conference proceedings of Logic Program Synthesis and Transformation, page 12, July 1997. (more details)
Coupling schemas: data refinement and view(point) composition. E.A. Boiten, J. Derrick, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop, Workshops in Computing, page 18. Springer-Verlag, July 1997. (more details)
Translating LOTOS to Object-Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, Northern Formal Methods Workshop, volume 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing. Springer-Verlag, July 1997. (more details)
Communications software performance prediction. G. Waters, P. Linington, D. Akehurst, and A. Symes. In Demetres Kouvatsos, editor, 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems, pages 38/1-38/9, Ilkley, West Yorkshire, July 1997. BCS Performance Engineering Specialist Group. (more details)
Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. In International Conference on Temporal Logic, Applied Logic Series. Kluwer, July 1997. (more details)
A Design Strategy for Deadlock-Free Concurrent Systems. J.M.R. Martin and P.H. Welch. Transputer Communications, 3(4), June 1997. (In press). Published by John Wiley and Sons. (more details) download publication
Subjective Safety Analysis for Software Development. J. Wang, A. Saeed, and R. de Lemos. In C. Guedes Soares, editor, Proceedings of the International Conference on Safety and Reliability (ESREL 97), pages 389-396, Lisbon, Portugal, June 1997. Elsevier Science Ltd, Oxford, UK. (more details)
Call management in the open distributed office. Mike Rizzo, Ian Utting, and Peter Linington. Electronics and Communication Engineering Journal, 9(3):107-116, June 1997. (more details)
Modelling historical change in southern Corsica: temporal GIS development using an extensible database system. J. Bagg and N. Ryan. In Z. Kemp, editor, Innovations in GIS 4, pages 42-55. Taylor & Francis, London, May 1997. (more details)
From ACT-ONE to Miranda, a Translation Experiment. Nathan Charles, Howard Bowman, and Simon Thompson. Computer Standards and Interfaces, 19(1), May 1997. (more details)
Higher-order + Polymorphic = Reusable. Simon Thompson. May 1997. (more details)
Mexitl: Multimedia in Executable Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. Technical Report 3-97, Computing Laboratory, University of Kent at Canterbury, May 1997. (more details)
Higher Levels of Process Synchronisation. Peter H. Welch and David C. Wood. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 104-129, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands. (more details) download publication
occam for Multi-Processor DEC Alphas. Peter H. Welch and Michael D. Poole. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 152-174, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands. (more details)
Java threads in light of occam/CSP (tutorial). P.H. Welch. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, page 282, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands. (more details)
Generating efficient, terminating logic programs. J.M. Martin and A.M. King. In Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 173-184. Springer Verlag, April 1997. (more details)
Weak refinement in Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In J.P. Bowen, M.G. Hinchey, and D.Till, editors, ZUM '97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369-388, Reading, April 1997. Springer-Verlag. (more details)
On the design of an atm interface with facilities for traffic monitoring and generation. Gerald Tripp. Journal of Network and Computer Applications, 20(2):105-121, April 1997. (more details)
Domain construction for mode analysis of typed logic programs. Jan-Georg Smaus, Pat Hill, and Andy King. Technical Report 8-97, March 1997. (more details)
Z unification tools in Generic Formaliser. E. Boiten. Technical Report 10-97*, Computing Laboratory, University of Kent at Canterbury, March 1997. (more details)
The semantics of Extended ML: A gentle introduction. Stefan Kahrs, Don Sannella, and Andrzej Tarlecki. Theoretical Computer Science, 173(2):445-484, February 1997. (more details)
Constructive interval temporal logic in Alf. Simon Thompson. In International Conference on Temporal Logic 1997, Applied Logic. Kluwer, January 1997. These proceedings are to be publised by Kluwer in 1997. (more details)
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Olaf Chitil. Fundamenta Informaticae, 31:253-294, 1997. (more details) download publication
Extended RTL in the Specification and Verification of an Industrial Press. R. de Lemos and J. Hall. In R. Alur, Y. A. Henzinger, and E. Sontag, editors, Hybrid Systems III, Lecture Notes in Computer Science 1066, pages 114-125, Berlin, Germany, December 1996. Springer-Verlag. (more details)
Nested collections and polytypism. E.A. Boiten and P.F. Hoogendijk. Computing Science Report 96-17, Department of Computing Science, Eindhoven University of Technology, November 1996. (more details)
Analysis of Safety Requirements for a Chemical Batch Processing System. R. de Lemos, A. Saeed, and T. Anderson. In T. Hilburn, G. Suski, and J. Zalewski, editors, Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies, pages 205-210, Daytona Beach, Florida, USA, November 1996. Pergamon/Elsevier Science, Oxford UK. (more details)
Computer based visualisation of the past: technical `realism' and historical credibility. N. Ryan. In P. Main T. Higgins and J. Lang, editors, Imaging the past: electronic imaging and computer graphics in museums and archaeology, number 114 in Occasional Papers, pages 95-108. The British Museum, London, November 1996. (more details)
Low-observable maritime tracking using Monte Carlo Markov Chain methods. A. R. Runnalls and K. Sirlantzis. In Target Tracking and Data Fusion. IEE, November 1996. Digest No 96/253. (more details)
Final report: Embedded occam/alpha demonstrator. P.H. Welch and M.D Poole. Technical report, Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, October 1996. (more details)
Issues in multiparadigm viewpoint specification. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In A. Finkelstein and G. Spanoudakis, editors, SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), pages 162-166. ACM, October 1996. (more details)
Comparing LOTOS and Z refinement relations. J. Derrick, H. Bowman, E.A. Boiten, and M. Steen. In FORTE/PSTV'96, pages 501-516, Kaiserslautern, Germany, October 1996. Chapman & Hall. (more details)
A cyclic distributed garbage collector for Network Objects. Helena C. C. D. Rodrigues and Richard E. Jones. In Ozalp Babaoglu and Keith Marzullo, editors, Tenth International Workshop on Distributed Algorithms WDAG'96, number 1151 in Lecture Notes in Computer Science, pages 123-140, Bologna, Italy, October 1996. Springer. (more details)
Abstract interpretation of constructive type theory. Alastair Telford and Simon Thompson. Technical Report 19-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1996. (more details)
Limits of ML-definability. Stefan Kahrs. In Proceedings of PLILP'96, volume 1140 of Lecture Notes in Computer Science, pages 17-31. Springer, September 1996. (more details)
The specification and conformance of ODP systems. P.F. Linington, J. Derrick, and H. Bowman. In 9th International Workshop on Testing of Communicating Systems, pages 93-114, Darmstadt, Germany, September 1996. IFIP TC6/WG6.1, Chapman & Hall. (more details)
Transputer Data-flow Solution for Systems of Linear Equations. T.R. Hopkins and P.H. Welch. Concurrency: Practice and Experience, 8(8):569-580, August 1996. Published by John Wiley and Sons Ltd. (more details)
About the completeness of type systems. Stefan Kahrs. In Maarten de Rijke, editor, Observational Equivalence and Logical Equivalence, page 17. ESSLLI, August 1996. (more details)
Garbage collection: Algorithms for automatic dynamic memory management. Richard Jones. John Wiley and Sons, July 1996. With a chapter on Distributed Garbage Collection by Rafael Lins. Reprinted 1997 (twice), 1999, 2000. (more details)
A Strict occam Design Tool. D.J. Beckett and P.H. Welch. In C.R. Jesshope and A. Shafarenko, editors, Proceedings of UK Parallel ''96, pages 53-69, Guildford, UK, July 1996. Springer-Verlag, London. ISBN 3-540-76068-7. (more details)
Benchmarking implementations of functional languages with `Pseudoknot', a float-intensive benchmark. Pieter H. Hartel, Marc Feeley, Richard Jones, and Stephen Thomas. Journal of Functional Programming, 6(4):621-655, July 1996. (more details)
Experiences in implementing a real-time video filestore. K.J. Rothwell, P.F. Linington, and A.G. Waters. In Proceedings of Advanced Digital Video Compression Engineering (ADVICE) 96 Conference, pages 157-165, Cambridge, UK, July 1996. EDA Exhibitions Ltd. (more details)
The Effects of ABR Traffic on CBR Traffic. D.H. Akehurst, P.F. Linington, A.J. Symes, and G. Waters. In Demetres Kouvatsos, editor, Fourth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks, pages 32/1-32/10, University of Bradford, UK, July 1996. IFIP Working Group 6.3 and 6.4. (more details)
Haskell: The Craft of Functional Programming. Simon Thompson. Addison Wesley, July 1996. Further details <a href="http://www.ukc.ac.uk/computer_science/Haskell_craft/">here</a>. (more details)
ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems. J. G. Hall and R de Lemos. In Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems, pages 3-8, L'Aquila, Italy, June 1996. IEEE Computer Press. (more details)
Distortion reduction in multiple JPEG compressed still images.. S Chan and G.E.W. Tripp. Electronics Letters, 32(12):1082-1084, June 1996. (more details)
Event based personal retrieval. John Bovey. Journal of Information Science, 22(5):357-366, May 1996. (more details)
The sigma-semantics: A comprehensive semantics for functional programs. Olaf Chitil. AIB 96-07, RWTH Aachen, May 1996. Pre-version of the Fundamenta Informaticae paper. (more details) download publication
The Kent Retargetable occam Compiler. P.H. Welch and D.C. Wood. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 143-166, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0. (more details)
Emulating a Secure Multicasting Bus Using occam2.1. P.H. Welch and D.J. Beckett. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 59-73, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0. (more details)
Viewpoint consistency in ODP, a general interpretation. H. Bowman, E. Boiten, J. Derrick, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189-204. Chapman & Hall, March 1996. (more details)
Consistency and refinement for partial specification in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287-306. Springer-Verlag, March 1996. (more details)
Supporting ODP - translating LOTOS into Z. J. Derrick, E. Boiten, H. Bowman, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 399-406, Paris, March 1996. Chapman & Hall. (more details)
Strategies for consistency checking, the choice of unification. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 5-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1996. (more details)
Reducing the cost of Remote Procedure Call.. A.L. Ibbetson, P.F. Linington, I.A. Penny, A.B. Smith, and G.E.W. Tripp. In A. Schill, C. Mittasch, O. Spaniol, and C. Popien, editors, Distributed Platforms, pages 430-446. Chapman & Hall, February 1996. (more details)
The Pseudoknot functional benchmark. Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, and John H. G. van G. Research Journal, January 1996. (more details)
Cross viewpoint consistency in Open Distributed Processing. H. Bowman, J. Derrick, P. Linington, and M. Steen. Software Engineering Journal, 11(1):44-57, January 1996. (more details)
RIVUS: A stream template language for capturing multimedia requirements. D.L. Lindsey and P.F. Linington. In D.Hutchison, H.Christiansen, G.Coulson, and A.Danthine, editors, Teleservices and Multimedia Communications (Proc. 2nd COST 237 Int. Workshop), volume 1052 of Lecture Notes in Computer Science, pages 259-277. Springer-Verlag, 1996. (more details)
Functional programming through the curriculum. Simon Thompson and Steve Hill. In Pieter H. Hartel and Rinus Plasmeijer, editors, Functional Programming Languages in Education, number 1022 in Lecture Notes in Computer Science, pages 85-102. Springer-Verlag, December 1995. (more details)
Strategies for consistency checking. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 12-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1995. (more details)
Unification and multiple views of data in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In J.C. van Vliet, editor, Computing Science in the Netherlands, pages 73-85, Amsterdam, November 1995. Stichting Mathematisch Centrum. (more details)
A parallel implementation of the ANSA REX protocol. A.L. Ibbetson, P.F. Linington, I.A. Penny, A.B. Smith, and G.E.W. Tripp. In B.M. Cook, M.R. Jane, P. Nixon, and P.H. Welch, editors, Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995., volume 46 of Concurrent Systems Engineering Series, pages 29-41. IOS Press, October 1995. (more details)
Real time image scanning on transputers (a case study in parallel design). P.H. Welch and D.J. Beckett. In B.M. Cooke, M.R. Jane, P. Nixon, and P.H. Welch, editors, Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995 (WTC'95), volume 46, pages 118-134, Amsterdam, Holland, September 1995. Transputer Consortium (TTC) and WoTUG, IOS Press. (more details)
Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress. P.H. Welch, B.M. Cook, M.R. Jane, and P. Nixon. IOS Press, Netherlands, September 1995. ISBN 90-5199-235-1. (more details)
The variable containment problem. Stefan Kahrs. In Gilles Dowek, Jan Heering, Karl Meinke, and Bernhard M"oller, editors, Higher-Order Algebra, Logic, and Term Rewriting, volume 1074 of Lecture Notes in Computer Science, pages 109-123. Springer, September 1995. (more details)
FDTs for ODP. H. Bowman, J. Derrick, P. Linington, and M. Steen. Computer Standards and Interfaces, 17:457-479, September 1995. (more details)
Miranda in Isabelle. Steve Hill and Simon Thompson. In Lawrence C. Paulson, editor, Preceedings of the first Isabelle Users Workshop, number 397 in University Of Cambridge Computer Laboratory Technical Reports Series, pages 122-135, September 1995. (more details)
Confluence of curried term-rewriting systems. Stefan Kahrs. Journal of Symbolic Computation, 19:601-623, August 1995. (more details)
Miranda: The Craft of Functional Programming. Simon Thompson. Addison Wesley, July 1995. Further details can be found <a href="http://www.ukc.ac.uk/computer_science/Miranda_craft">here</a>. (more details)
Cross viewpoint consistency in open distributed processing (intra language consistency). Eerke Boiten, Howard Bowman, John Derrick, and Maarten Steen. Technical Report 8-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1995. (more details)
Zed - a Z specification language font for PostScript Type 1 and TrueType. Richard E. Jones. BBS in a BOX CD-ROM, AMUG CD, Inc., 4131 N. 24th Street A-120,Phoenix, AZ 85016, June 1995. Available for Macintosh and Windows from the Oxford Z archive, Info-mac archive at Stanford University and mirrors. (more details)
Database systems engineering. N. S. Ryan and D. J. Smith. International Thomson Computer Press, London, June 1995. (more details)
Parallel Hardware and Parallel Software: a Reconciliation. P.H. Welch. In Proceedings of the ZEUS''95 (Centres for European Supercomputing) NTUG''95 (Nordic Transputer User Group) Conference, pages 287-301, Linkoping, Sweden, May 1995. IOS Press, Netherlands. ISBN 90-5199-22-7. (more details)
Programming Language Semantics using Miranda. Simon Thompson. Technical Report 9-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1995. (more details)
Regular Expressions and Automata using Miranda. Simon Thompson. May 1995. (more details)
Monte Carlo Markov Chain methods for tracking. A. R. Runnalls. In Algorithms for Target Tracking. IEE, May 1995. Digest No 1995/104. (more details)
Towards a domain theory for termination proofs. Stefan Kahrs. In Jieh Hsiang, editor, Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, pages 241-255. Springer, April 1995. (more details)
Abstract matching can improve on abstract unification. Andy King and Mark Longley. Technical Report 4-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1995. (more details)
The excavation archive as hyperdocument?. N. Ryan. In J. Huggett and N. Ryan, editors, Computer applications and quantitative methods in archaeology, 1994, number 600 in BAR International Series, pages 211-220, Oxford, March 1995. Tempvs Reparatvm. (more details)
Computer Applications and Quantitative Methods in Archaeology, 1994. J. Huggett and N. Ryan, editors, number 600 in BAR International Series, Oxford, March 1995. Tempvs Reparatvm. (more details)
A Logic for Miranda, Revisited. Simon Thompson. Formal Aspects of Computing, (7), March 1995. (more details)
An atm interface with facilities for traffic generation and monitoring. Gerald Tripp. Technical Report 6-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1995. (more details)
Fixed-point calculus. Mathematics of Program Construction group. Information Processing Letters, 53(3):131-136, February 1995. Special Issue on The Calculational Method. Authors: C. Aarts, R. Backhouse, E. Boiten, H. Doornbos, N. van Gasteren, R. van Geldrop, P. Hoogendijk, E. Voermans and J. van der Woude. (more details)
Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung. Olaf Chitil. Master's thesis, RWTH Aachen, February 1995. In German. (more details) download publication
RM-ODP: The Architecture. P.F. Linington. In K.Raymond and E.Armstrong, editors, Open Distributed Processing: Experience with Distributed Environments, pages 15-33. IFIP, Chapman and Hall, February 1995. (more details)
Share x free revisited. Andy King. Technical Report 3-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1995. (more details)
Introducing more systematic quality assurance arrangements for course approval and review. Richard Jones. In Robin Middlehurst, editor, Managing for Quality: Stories and Strategies, chapter 3.3, pages 15-17. Higher Education Quality Council, January 1995. (more details)
Garbage collecting shared environment closure reducers. Stephen Thomas and Richard Jones. Technical Report 31-94, Computing Laboratory, University of Kent at Canterbury, December 1994. (more details)
Interfaces and Extended ML. Don Sannella, Andrzej Tarlecki, and Stefan Kahrs. SIGPLAN Notices, 29(8):111-118, November 1994. (more details)
On the Equivalence Between CMC and TIM. Raphael Lins, Simon Thompson, and Simon Peyton Jones. Journal of Functional Programming, 1(4), November 1994. (more details)
Continuation Compilation for Concurrent Logic Programming. B Kemp, A King, and P Soper. In A Crespo, editor, Proceedings of the Symposium on Artificial Intelligence in Real-time Control, pages 299-306. Pergamon, October 1994. (more details)
Call management in the open distributed office. Mike Rizzo, Peter Linington, and Ian Utting. Technical Report 15-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1994. (more details)
A Parallel Emulator for a Multi-processor Dataflow Machine. P.H. Welch and F. de Almeida. In A. De Gloria, M.R. Jane, and D. Marini, editors, Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress, pages 259-272, Como, Italy, September 1994. IOS Press, Netherlands. ISBN 90-5199-177-0. (more details)
Teaching electronic publishing: Learning software engineering. Richard E. Jones and Ian A. Utting. In Teaching Electronic Publishing 94, pages 71-83, May 1994. Also UKC Computing Laboratory Technical Report 9-93 and 2nd All-Ireland Conference on the Teaching of Computing, 5-7 September 1994, Dublin, published by the CTI for Computing. (more details)
Integration of location services in the Open Distributed Office. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 14-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994. (more details)
VitKit: a voice interaction toolkit. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 13-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994. (more details)
The ODO project: a case study in integration of multimedia services. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 12-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994. (more details)
First-class polymorphism for ML. Stefan Kahrs. In Donald Sannella, editor, Programming Languages and Systems - ESOP'94, volume 788 of Lecture Notes in Computer Science, pages 333-347. Springer, April 1994. (more details)
A Synergistic Analysis for Sharing and Groundness which traces Linearity. Andy King. In D.Sannella, editor, European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 363-378. Springer-Verlag, January 1994. (more details)
Depth-k Sharing and Freeness. A. King and P. Soper. In P. Van Hentenryck, editor, International Conference on Logic Programming, pages 553-568. MIT Press, January 1994. (more details)
Modelling garbage collection algorithms. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of International Computing Symposium, January 1994. Also in ALP-UK International Workshop on Concurrency in Computational Logic. (more details)
Modelling garbage collection algorithms - extend abstract. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of Principles of Distributed Computing'94, January 1994. Extended abstract of CCS94. (more details)
The definition of Extended ML. Stefan Kahrs, Don Sannella, and Andrzej Tarlecki. LFCS Report ECS-LFCS-94-300, University of Edinburgh, January 1994. (more details)
High Precision Sharing Analysis. A King. Journal of Programming Languages, 2(1):149-191, 1994. (more details)
A Framework for Freeness Analysis. A King, pages 137-149. Implementations of Logic Programming Systems. Kluwer Academic Publishers, Dordrecht, 1994. (more details)
A survey of sampling methods for inference on directed graphs. Andrew R. Runnalls. In P. Cheeseman and R. W. Oldford, editors, Selecting Models from Data, chapter 16. Springer Verlag, 1994. Lecture Notes in Statistics, 89. (more details)
Transformational derivation of (parallel) programs using skeletons. E.A. Boiten, A.M. Geerling, and H.A. Partsch. In H. Wijshoff, editor, Computing Science in the Netherlands 1993, pages 97-108, Amsterdam, November 1993. Stichting Mathematisch Centrum. (more details)
Zed - a Z specification language Type 1 font. Richard E. Jones. Oxford Z archive, Info-mac archive at Stanford University and mirrors, November 1993. (more details)
Higher-Level Paradigms for Deadlock-Free High-Performance Systems. P.H. Welch, G.R.R. Justo, and C.J. Willcock. In R. Grebe, J. Hektor, S.C. Hilton, M.R. Jane, and P.H. Welch, editors, Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress, volume 2, pages 981-1004, Aachen, Germany, September 1993. IOS Press, Netherlands. ISBN 90-5199-140-1. (more details) download publication
Projects: KRoC
Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. P.H. Welch, R. Grebe, J. Hektor, S.C. Hilton, and M.R. Jane, editors. IOS Press, Netherlands, September 1993. ISBN 90-5199-140-1. (more details)
Teaching electronic publishing: Learning software engineering. Richard E. Jones and Ian A. Utting. Technical Report 9-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1993. (more details)
The pragmatics of closure reduction. Stephen P. Thomas. PhD thesis, University of Kent at Canterbury, September 1993. (more details)
Compilation of combinatory reduction systems. Stefan Kahrs. In Jan Heering, Karl Meinke, Bernhard M"oller, and Tobias Nipkow, editors, Higher-Order Algebra, Logic, and Term Rewriting, volume 816 of Lecture Notes in Computer Science, pages 169-188. Springer, September 1993. (more details)
Parsing in ISBES. E.A. Boiten. In D. Bjorner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, pages 423-433, Berlin, June 1993. Springer-Verlag. (more details)
Cyclic weighted reference counting without delay. Richard E. Jones and Rafael D. Lins. In Proceedings of PARLE'93, pages 712-715, June 1993. (more details)
Image Tracking in Real-Time: a Transputer Emulation of Some Early Mammalian Vision Processes. P.H. Welch and D.C. Wood. Image and Vision Computing, II(4):221-228, May 1993. (more details)
Mistakes and ambiguities in the definition of Standard ML. Stefan Kahrs. LFCS Report ECS-LFCS-93-257, University of Edinburgh, April 1993. An update listing further errors can be found at t ftp://ftp.dcs.ed.ac.uk/pub/smk/SML/errors-new.ps.Z. (more details)
Training for Transputer Technologies. A.W.P. Bakkers, R. Bruis, H.W. Roebbers, N.C. Schaller, M. H. Schwirtz, J.P.E. Sunder, K.C.J. Wijbrans, and P.H. Welch. In Parallel Processing in Education. TEMPUS, Hungarian Academic of Sciences, March 1993. (more details)
Networks, Routers and Transputers: Function, Performance and Application. P.H. Welch, M.D. May, and P.W. Thompson. IOS Press, Netherlands, February 1993. ISBN 90-5199-129-0. (more details)
An enabling infrastructure for a distributed multimedia industry. P.H. Welch and P.F. Linington. In P.H. Welch, M.D. May, and P.W. Thompson, editors, Networks, Routers and Transputers: Function, Performance and Application, pages 183-200. IOS Press, Netherlands, February 1993. ISBN 90-5199-129-0. (more details)
Serialisation as a Paradigm for the Engineering of Parallel Programs. P.H. Welch and G.R.R. Justo. Computers and Artifical Intelligence, 12(3):229-249, January 1993. (more details)
Adaptive importance sampling for Bayesian networks applied to filtering problems. Andrew R. Runnalls. In David J. Hand, editor, Artificial Intelligence Frontiers in Statistics: AI and Statistics III. Chapman and Hall, 1993. Based on the proceedings of the Third International Workshop on AI and Statistics, Fort Lauderdale, 1991. (more details)
How to produce correct software - an introduction to formal specification and program development by transformations. E.A. Boiten, H.A. Partsch, D. Tuijnman, and N. V"olker. Computer Journal, 35(6):547-554, December 1992. (more details)
Cyclic weighted reference counting without delay. Richard Jones and Rafael D Lins. Technical Report 28-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1992. (more details)
Formulating Haskell. Simon Thompson. Technical Report 29-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1992. (more details)
Image Tracking in Real-Time: a Transputer Emulation of some Early Mammalian Vision Processes. P.H. Welch and D.C. Wood. In David Hogg and Roger Boyle, editors, BMVC92, Proceedings of the British Machine Vision Conference 1992, pages 387-396, Leeds, UK, September 1992. Springer Verlag. ISBN 3 540 19777 X. (more details)
Serialisation Analysis of Concurrent Logic Programs. A. King and P. Soper. In H. Kirchner, editor, Algebraic and Logic Programming, volume 632 of Lecture Notes in Computer Science, pages 322-334, September 1992. (more details)
Polymorphic type checking by interpretation of code. Stefan Kahrs. LFCS report ECS-LFCS-92-238, University of Edinburgh, Laboratory for Foundations of Computer Science, September 1992. (more details)
Zed - a Z specification language Type 1 font. Richard E. Jones. Info-Mac CD-ROM, Pacific HiTech Inc. and Oxford Z archive, Info-mac archive at Stanford University and mirrors, August 1992. (more details)
Unlimp - uniqueness as a leitmotiv for implementation. Stefan Kahrs. In Maurice Bruynooghe and Martin Wirsing, editors, Programming Language Implementation and Logic Programming, volume 631 of Lecture Notes in Computer Science, pages 115-129. Springer, August 1992. (more details)
Shared-Memory Multi-Processors and occam. P.H. Welch. WoTUG Newsletter No. 17, pages 42-45, July 1992. (more details)
The Categorical Multi-combinator Machine: CMCM. Simon Thompson and Rafael D Lins. The Computer Journal, 35(2), July 1992. (more details)
KITTEN - A Foveal Image Tracker. P.H. Welch and D.C. Wood. Image Processing and Transputers, pages 97-112, June 1992. Published by IOS Press, Netherlands. ISBN 90-5199-071-5. (more details)
Marking EP coursework using electronic communication. Peter J. Brown and Richard E. Jones. Electronic Publishing: Origination, Dissemination and Design, 5(2), June 1992. Also in BIGRE 79, Teaching Electronic Publishing, TEP'92 Proceedings, Lausanne, April 7, 1992. (more details)
The ZENITH System for Object Management in Distributed Multimedia Design Environments. Z. P. Kemp, E. A. Oxborrow, M. J. Davy, P. F. Linington, R. Thearle, G. S. Blair, P. Dark, N. A. Davies, J. A. Mariani, and C. Snape. Information and Software Technology, vol. 34(no. 7), June 1992. (more details)
A video control processor. Gerald Tripp. Technical Report 10-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1992. (more details)
A Transputer Based Active Vision System. P.H. Welch and A.B. Smith. In Alastair Allen, editor, Transputer Systems - Ongoing Research, Proceedings of WoTUG 15, pages 112-121, University of Aberdeen, UK, April 1992. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-085-5. (more details)
The Role and Future of occam. P.H. Welch. Transputer Applications - Progress and Reports, Proceedings of the Final Transputer Initiative Symposium, March 1992. Published by IOS Press, Netherlands. ISBN 90-5199-0790. (more details)
Views of formal program development. E.A. Boiten. PhD thesis, University of Nijmegen, Faculty of Mathematics and Informatics, February 1992. Contains cite159,165,162,161,156. ISBN 90-9004747-6. (more details)
Schedule Analysis of Concurrent Logic Programs. A. King and P. Soper. In K. Apt, editor, Joint International Conference and Symposium on Logic Programming, pages 478-492. MIT Press, January 1992. (more details)
Improving recursive functions by inverting the order of evaluation. E.A. Boiten. Science of Computer Programming, 18:139-179, January 1992. (more details)
USTOPIA requirements - Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. E.A. Boiten, M.G.J. van den Brand, N.W.P. van Diepen, C.H.A. Koster, H.A. Partsch, and N. V"olker. Periodica Polytechnica Ser. El. Eng., 35(2):101-123, January 1992. Also Technical Report 90-12, Dept. of Informatics, University of Nijmegen. (more details)
Factorisation of the factorial - an example of inverting the flow of computation. E.A. Boiten. Periodica Polytechnica Ser. El. Eng, 35(2):77-99, January 1992. (more details)
Tail recursion without space leaks. Richard E. Jones. Journal of Functional Programming, 2(1):73-79, January 1992. (more details)
Are subsets necessary in Martin-Lof type theory?. Simon Thompson. In J. P. Myers Jr. and M. J. O'Donnell, editors, Constructivity in Computer Science, volume 613 of Lecture Notes in Computer Science, pages 46-57. Springer-Verlag, January 1992. (more details)
The many disguises of accumulation. E.A. Boiten. Technical Report 91-26, Dept. of Informatics, University of Nijmegen, December 1991. (more details)
Cyclic weighted reference counting. Rafael D. Lins and Richard E. Jones. In WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria, pages 369-382, May 1993. Also in UKC Computing Laboratory Technical Report 95, December 1991, revised November 1992. (more details)
Cyclic weighted reference counting. Rafael D Lins and Richard Jones. Technical Report 95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1991. (more details)
Solving a combinatorial problem by transformation of abstract data types. E.A. Boiten. In J. van Leeuwen, editor, Computing Science in the Netherlands 1991, pages 99-108, Amsterdam, November 1991. Stichting Mathematisch Centrum. Also a chapter in PhD thesis. (more details)
Going to ceed?. Peter Welch. Technical Report 93, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1991. (more details)
On the Serialisation of Parallel Programs. P.H. Welch. In Janet Edwards, editor, Occam and the Transputer - Current Developments, Proceedings of WoTUG 14, pages 159-180, University of Loughborough, UK, September 1991. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-063-4. (more details) download publication
Intersections of sets and bags of extended substructures, and Can bag comprehension be used at all?. E.A. Boiten. Technical Report 91-21, Dept. of Informatics, University of Nijmegen, September 1991. (more details)
Securely Managed Pointers. P.H. Welch. WoTUG Newsletter 15, July 1991. (more details)
Reducing Scheduling Overheads for Concurrent Logic Programs. A. King and P. Soper. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge, number 567 in Lecture Notes in Artificial Intelligence, pages 279-286. Springer-Verlag, July 1991. (more details)
Type Theory and Functional Programming. Simon Thompson. Addison Wesley, June 1991. (more details)
Synthesis of Deadlock-Free Parallel Programs. P.H. Welch and G.R.R. Justo. In Proceedings of the 3rd pan-Hellenic Conference on Information Technology, pages 46-59, Athens, Greece, May 1991. Greek Computer Society. (more details)
Intersections of bags and sets of extended substructures - a class of problems. E.A. Boiten. In B. M"oller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 33-48, Amsterdam, May 1991. North-Holland. (more details)
A note on similarity of specifications and reusability of transformational developments. H.A. Partsch and E.A. Boiten. In B. M"oller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 71-89, Amsterdam, May 1991. North-Holland. (more details)
A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large). C.J. Willcock and P.H. Welch. In P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors, TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference, pages 406-430, Sunnyvale, California, USA, April 1991. IOS Press, Netherlands. ISBN 90 5199 045 9. (more details)
TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors, Sunnyvale, California, USA, April 1991. IOS Press, Netherlands. ISBN 90 5199 045 9. (more details)
Factorisation of the factorial - an algorithm discovered by playing with transformations. E.A. Boiten. Technical Report 90-18, Dept. of Informatics, University of Nijmegen, November 1990. (more details)
A Generalized FFT Algorithm on Transputers. P.H. Welch and H. Roebbers. In Transputer Research and Applications 4, Proceedings of NATUG 4, pages 77-87, Ithaca, New York, October 1990. North America Transputer User Group, IOS Press, Netherlands. ISBN 90 5199 040 4. (more details)
Diffusion Limited Aggregation: an Example of Real-Time Parallelisation. D.R. Morse, A.M. Welch, and P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 248-261, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3. (more details)
Multi-Priority Scheduling for Transputer-Based Real-Time Control. P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 198-214, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3. (more details)
Transputer Models for a High-Performance Local Area Network Bridge. P.H. Welch and A.M. Sarrafan. In Tools and Techniques for Transputer Applications, Proceedings of OUG 12, pages 111-121, University of Exeter, UK, April 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 029 4. (more details)
Parallel Algorithms and Safety-Critical Standards. P.H. Welch. In Proceedings of the 10th Benelux Meeting on Systems and Control, Eindhoven, Netherlands, March 1990. (more details)
Tail recursion without space leaks. Richard Jones. Technical Report 72*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1990. (more details)
Implementing SASL using Categorical Multi-combinators. Rafael D Lins and Simon Thompson. Technical Report 47*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1990. (more details)
Inverting the flow of computation in tree-like recursive functions. E.A. Boiten. In P.M.G. Apers, D. Bosman, and J. van Leeuwen, editors, Computing Science in the Netherlands 1989, pages 33-56, Amsterdam, November 1989. Stichting Mathematisch Centrum. Superseded by cite159. (more details)
Transputer data-flow solution for systems of linear equations. Tim Hopkins and Peter Welch. Technical Report 68*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1989. (more details)
Real-time transputer models of low-level primate vision. A.B. Smith and P.H. Welch. In J. Wexler, editor, Occam and the Transputer, Research and Applications, Proceedings of OUG 11, pages 171-181, University of Edinburgh, UK, September 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 011 1. (more details)
On the implementation of functional programming languages. Richard E. Jones. Master's thesis, UKC Computing Laboratory, September 1989. (more details)
A Logic for Miranda. Simon Thompson. Formal Aspects of Computing, (1), July 1989. (more details)
Graceful Termination - Graceful Resetting. P.H. Welch. In Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, pages 310-317, Enschede, Netherlands, April 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 007 3. (more details) download publication
Projects: KRoC
TRANSNET - A Transputer-Based Communication Service. P.H. Welch. In Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, pages 198-212, Enschede, Netherlands, April 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 002 4. (more details)
Making reuse happen - component engineering. P.H. Welch, chapter Component Engineering in Ada (Some Problems and Some Advice). Peter Peregrinus Ltd., January 1989. (more details)
Safety First. P.H. Welch. Occam User Group Newsletter, 12:22-27, January 1989. (more details)
Transputer Data-Flow Solutions for Systems of Linear Equations. P.H. Welch and T.R Hopkins. In Parallel Computing 1989, Proceedings of the International Conference, Leiden, Netherlands, January 1989. Parallel Computing Society, Elsevier, Netherlands. (more details)
GOTO (Considered Harmful)^n, n is Odd. P.H. Welch. Occam User Group Newsletter, 8:22-26, January 1988. (more details)
An occam Approach to Transputer Engineering. P.H. Welch. In Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications, Pasadena, California, USA, January 1988. ACM, ACM Conference Proceedings. (more details)
Een syntax assisted editor. E.A. Boiten. Master's thesis, Universiteit Twente, January 1988. in Dutch. (more details)
Interactive functional programs: a method and a formal semantics. Simon Thompson. Technical Report 48*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1987. (more details) download publication
Managing Hard Real-Time Demands on Transputers. P.H. Welch. In T. Muntean, editor, Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines, LGI-IMAG, Grenoble, France, September 1987. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 002 4. (more details)
Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance). P.H. Welch. In Proceedings of the Parallel Architectures and Languages Europe International Conference, volume 258 of Springer-Verlag Lecture Notes in Computer Science, pages 357-373, Eindhoven, Netherlands, June 1987. Springer-Verlag. sponsored by the CEC ESPRIT Programme. (more details)
Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). P.H. Welch. International Journal of Parallel Computing, 9, January 1989. Published by North-Holland. This is an updated version of the paper of June 1987. (more details)
Parallel Processes as Reusable Components. P.H. Welch. In Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm, pages 86-99. Cambridge University Press, May 1987. (more details)
A Structured Technique for Concurrent Systems Design in Ada. P.H. Welch. In Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh, pages 261-272. Cambridge University Press, May 1986. (more details)
Proving properties of functions defined on lawful types. Simon Thompson. Technical Report 37*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1986. (more details)
A generator for Turing machine simulation programs - user's manual. P.R.J. Asveld and E.A. Boiten. Memorandum INF-86-31, Universiteit Twente, January 1986. (more details)
Structured Tasking in Ada?. P.H. Welch. Ada Letters, 5(1), July 1985. (more details)
The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. P.H. Welch. Technical report, Royal Society/SERC Industrial Fellowship (B/IF/43), June 1985. (more details)
Five Essays on Occam. P.H. Welch. Occam User Group Newsletter, 2, January 1985. Also Internal Report, Training Department, GEC Avionics Ltd., Airport Works, Rochester, KENT ME2 1XX. (more details)
Compiler Servers for the Cambridge Ring. P.J. Brown and P.H. Welch. The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) - Final Report (SERC), January 1984. (more details)
Parallel Assignment Revisited. P.H. Welch. Software Practice and Experience, December 1983. (more details)
Estimation of the Order of Dependence in Sequences. T.R. Hopkins, J. Kollerstrom, and P.H. Welch. Applied Statistics, 32(2), January 1983. (more details)
Byte Streams on a Micro-Computer. P.H. Welch and T.E. Schutt. In Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany. NTG/GO-Fachtogung, March 1982. (more details)
Applying Micro-Computers in a Local Area Network. P.H. Welch and T.E. Schutt. In Proceedings of `Local Networks and Distributed Office Systems'', London. Online Publications Ltd., Northwood, UK, May 1981. (more details)
LAMBDA Tutorial Guide. P.H. Welch, January 1980. (more details)
Continuous Semantics and Inside-Out Reductions. P.H. Welch. Lecture Notes in Computer Science, 37:122-146, January 1975. Published by Springer-Verlag. Also, in `Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory, Consiglio Nazionelle delle Richerche, Rome, March, 1975. (more details)
The Minimal Continuous Semantics of the Lambda-Calculus. P.H. Welch. PhD thesis, University of Warwick, January 1974. (more details)

Navigation menu

School of Computing

Studying

Activities

Local users

About us

Search

School of Computing

Programming Languages and Systems: Publications