Items where division is "Faculties > Science Technology and Medical Studies > School of Computing > Programming Languages and Systems Group"

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: A | B | C | D | H | J | K | L | M | O | P | R | S | T | V | W

Number of items at this level: 117.

A

Arts, Thomas and Seijas, Pablo Lamela and Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Erlang Workshop 2011. The full text of this publication is not available from this repository.

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. The full text of this publication is not available from this repository.

B

Barnes, F.R.M. and Ritson, C.G. (2010) Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience, 22 (8). pp. 182-196. ISSN 1532-0634. The full text of this publication is not available from this repository.

Barnes, Frederick R. M. (2009) Mobile Escape Analysis for occam-pi. In: Communicating Process Architectures 2009. The full text of this publication is not available from this repository.

Barnes, Frederick R. M. and Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Oper. Syst. Rev., 43 (4). pp. 182-196. ISSN 0163-5980. The full text of this publication is not available from this repository.

Barrett, Edd and King, Andy (2012) Range and Set Abstraction using SAT. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 93-107. ISSN 978-3-642-32468-0.

Preview

Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter (2012) Clarifying and Compiling C/C++ Concurrency: From C++11 to POWER. In: POPL '12: 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 25th - 27th January, 2012, Philadelphia, USA. The full text of this publication is not available from this repository.

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ Concurrency. In: POPL '11: 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 26th - 28th 2011, Austin, USA. The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: Nineteenth Static Analysis Symposium. The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Proof Appendix for Loop Leaping with Closures. Technical report. , School of Computing The full text of this publication is not available from this repository.

Boiten, E.A. (2011) Perspicuity and Granularity in Refinement. In: Proceedings 15th International Refinement Workshop. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. The full text of this publication is not available from this repository.

Boiten, Eerke and Butler, Michael and Derrick, John and Smith, Graeme (2010) Editorial: Special issue on REFINE 2007. Formal Aspects of Computing, 22 (1). pp. 182-196. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, Eerke and Derrick, John (2010) Incompleteness of Relational Simulations in the Blocking Paradigm. Science of Computer Programming, 75 . pp. 182-196. ISSN 0167-6423. The full text of this publication is not available from this repository.

Boiten, Eerke and Derrick, John and Dong, Jin Song and Reeves, Steve (2012) Editorial: Special issue on Refine 2009. Formal Aspects of Computing, 24 (1). pp. 182-196. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, Eerke and Derrick, John and Reeves, Steve (2009) Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, Eerke and Grundy, Dan (2010) The Logic of Large Enough. In: MPC 2010: Mathematics of Program Construction. The full text of this publication is not available from this repository.

Boiten, Eerke A. (2012) Book review: Modeling in Event-B by Jean-Raymond Abrial. Journal of Functional Programming, 22 (2). pp. 217-221. ISSN 0956-7968. The full text of this publication is not available from this repository.

Boiten, Eerke A. (2010) Security specification: completeness, feasibility, refinement. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, Eerke A. and Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. The full text of this publication is not available from this repository.

Brauer, J''org and King, Andy (2012) Transfer Function Synthesis without Quantifier Elimination. Logical Methods in Computer Science, 8 (2012). The full text of this publication is not available from this repository.

Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Abstract Interpretation of Microcontroller Code: Intervals meet Congruences. Science of Computer Programming, 77 . The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2011) Approximate Quantifier Elimination for Propositional Boolean Formulae. In: Third NASA Formal Methods Symposium. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2010) Automatic Abstraction for Intervals using Boolean Formulae. In: Seventeenth International Static Analysis Symposium. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2011) Transfer Function Synthesis without Quantifier Elimination. In: Twentieth European Symposium on Programming. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences. In: Formal Methods for Industrial Critical Systems. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Twenty Third International Conference on Computer Aided Verification. The full text of this publication is not available from this repository.

Brown, Christopher and Li, Huiqing and Thompson, Simon (2010) An Expression Processor: A Case Study in Refactoring Haskell Programs. In: Eleventh Symposium on Trends in Functional Programming. The full text of this publication is not available from this repository.

Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: PEPM'10: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. The full text of this publication is not available from this repository.

Brown, N.C.C. (2009) Auto-Mobiles: Optimised Message-Passing. In: Communicating Process Architectures 2009.

Preview

Brown, N.C.C. (2009) Automatically Generating CSP Models for Communicating Haskell Processes. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Brown, N.C.C. (2009) Automatically Generating CSP Models for Communicating Haskell Processes. In: UNSPECIFIED.

Preview

Brown, N.C.C. (2004) C++CSP Networked. In: Communicating Process Architectures 2004.

Preview

Brown, N.C.C. (2011) Combinators for Message-Passing in Haskell. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science, 6359. Springer-Verlag Berlin / Heidelberg pp. 19-33.

Preview

Brown, N.C.C. (2011) Communicating Haskell Processes. PhD thesis, University of Kent.

Preview

Brown, N.C.C. (2010) Conjoined Events. In: Advances in Message Passing 2010.

Preview

Brown, N.C.C. (2006) Rain VM: Portable Concurrency through Managing Code. In: Communicating Process Architectures 2006.

Preview

Brown, N.C.C. (2006) Rain: A New Concurrent Process-Oriented Programming Language. In: Communicating Process Architectures 2006.

Preview

Brown, N.C.C. and Sampson, Adam T. (2009) Alloy: Fast Generic Transformations for Haskell. In: Haskell '09: Proceedings of the 2009 ACM SIGPLAN Haskell Symposium.

Preview

Brown, N.C.C. and Smith, Marc L. (2009) Relating and Visualising CSP, VCR and Structural Traces. In: Communicating Process Architectures 2009.

Preview

C

Cesarini, Francesco and Thompson, Simon (2010) Erlang Behaviours: Programming With Process Design Patterns. In: Central European Functional Programming School, CEFP 2009. The full text of this publication is not available from this repository.

Cesarini, Francesco and Thompson, Simon (2011) Erlang by Example. UNSPECIFIED. The full text of this publication is not available from this repository.

Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012). The full text of this publication is not available from this repository.

Chitil, Olaf (2011) StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict. Technical report. The full text of this publication is not available from this repository.

Chitil, Olaf (2011) A semantics for lazy assertions. In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. The full text of this publication is not available from this repository.

D

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2010) Fragments of Spider Diagrams of Order and their Relative Expressiveness. In: Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2012) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing . ISSN 0934-5043. The full text of this publication is not available from this repository.

Derrick, John and Boiten, Eerke (2009) Relational Concurrent Refinement: Automata. Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. The full text of this publication is not available from this repository.

Derrick, John and Boiten, Eerke (2011) Relational Concurrent Refinement: Timed Refinement. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Dimmich, Damian (2009) A Process Oriented Approach to Solving Problems of Parallel Decomposition and Distribution. PhD thesis, Computing. The full text of this publication is not available from this repository.

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. The full text of this publication is not available from this repository.

da Silva, Carlos Eduardo and de Lemos, Rogerio (2009) Using dynamic workflows for coordinating self-adaptation of software systems. In: SEAMS '09: Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. The full text of this publication is not available from this repository.

H

Hellyer, Laurence and Jones, Richard and Hosking, Antony (2010) The Locality of Concurrent Write Barriers. In: Proceedings of the 2010 International Symposium on Memory Management. The full text of this publication is not available from this repository.

Hellyer, Laurence and Jones, Richard and Hosking, Antony L. (2010) The Locality of Concurrent Write Barriers (extended version). Technical report. , University of Kent, Canterbury, Kent CT2 7NF, UK The full text of this publication is not available from this repository.

Hoverd, Tim and Sampson, Adam T. (2010) A Transactional Architecture for Simulation. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2011) A Pearl on SAT Solving in Prolog (extended abstract). Logic Programming Newsletter, 2011 (3). pp. 182-196. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2010) A Pearl on SAT Solving in Prolog. In: Tenth International Symposium on Functional and Logic Programming. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2012) A Pearl on SAT and SMT Solving in Prolog. Theoretical Computer Science, 435 . pp. 43-55. ISSN 0304-3975. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2012) Polyhedral Analysis using Parametric Objectives. In: Nineteenth Static Analysis Symposium. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy and Lawrence-Jones, Charles (2010) Quadtrees as an Abstract Domain. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 182-196. The full text of this publication is not available from this repository.

J

Jones, Richard and Hosking, Antony and Moss, Eliot (2012) The Garbage Collection Handbook: The Art of Automatic Memory Management. Chapman and Hall ISBN 978-1-4200-8279-1. The full text of this publication is not available from this repository.

K

Kahrs, Stefan (2010) Infinitary Rewriting: Foundations Revisited. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications. The full text of this publication is not available from this repository.

Kahrs, Stefan (2010) Infinitary Rewriting: Foundations Revisited. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications. The full text of this publication is not available from this repository.

Kahrs, Stefan (2013) Infinitary rewriting: closure operators, equivalences and models. Acta Informatica, 50 (2). pp. 123-156. ISSN 0001-5903. The full text of this publication is not available from this repository.

Kahrs, Stefan (2010) Modularity of Convergence and Strong Convergence in Infinitary Rewriting. Logical Methods in Computer Science, 6 (3). pp. 182-196. The full text of this publication is not available from this repository.

Kalibera, Tomas (2011) Replicating Real-time Garbage Collector. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. The full text of this publication is not available from this repository.

Kalibera, Tomas and Hagelberg, Jeff and Maj, Petr and Pizlo, Filip and Titzer, Ben and Vitek, Jan (2011) A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. The full text of this publication is not available from this repository.

Kalibera, Tomas and Jones, Richard (2011) Handles revisited: optimising performance and memory costs in a real-time collector. In: Proceedings of the 10th International Symposium on Memory Management (ISMM), June 2011. The full text of this publication is not available from this repository.

Kalibera, Tomas and Jones, Richard (2012) Quantifying Performance Changes with Effect Size Confidence Intervals. Technical report. University of Kent, Kent The full text of this publication is not available from this repository.

Kalibera, Tomas and Jones, Richard (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013), 20-12 June, 2013, Seattle, Washington, USA. (In press)

Preview

Kalibera, Tomas and Mole, Matthew and Jones, Richard and Vitek, Jan (2012) A Black-box Approach to Understanding Concurrency in DaCapo. In: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). The full text of this publication is not available from this repository.

Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2011) Scheduling real-time garbage collection on uniprocessors. ACM Transactions on Computer Systems, 29 (3). pp. 182-196. The full text of this publication is not available from this repository.

Kilov, Haim and Linington, Peter F. and Romero, José Raúl and Tanaka, Akira and Vallecillo, Antonio (2013) The Reference Model of Open Distributed Processing: Foundations, experience and applications. Computer Standards & Interfaces, 35 (3). pp. 247-256. ISSN 0920-5489. Access to this publication is restricted.

King, Andy and Sondergaard, Harald (2010) Automatic Abstraction for Congruences. In: Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation. The full text of this publication is not available from this repository.

Kriener, Jael and King, Andy (2011) Appendix for RedAlert: Determinacy Inference for Prolog. Technical report. , Canterbury, CT1 7NF, UK The full text of this publication is not available from this repository.

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Eleventh International Symposium on Functional and Logic Programming. The full text of this publication is not available from this repository.

Kriener, Jael and King, Andy (2011) RedAlert: Determinacy Inference for Prolog. Theory and Practice of Logic Programming, 11 (4-5). pp. 182-196. The full text of this publication is not available from this repository.

L

Li, Huiqing and Lindberg, Adam and Schumacher, Andreas and Thompson, Simon (2009) Improving your test code with Wrangler. Technical report. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2012) Automated API migration in a user-extensible refactoring tool for Erlang programs. In: the 27th IEEE/ACM International Conference on Automated Software Engineering, September 2012, Essen, Germany.

Preview

Li, Huiqing and Thompson, Simon (2011) A Domain-Specific Language for Scripting Refactorings in Erlang. Technical report. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2012) A Domain-Specific Language for Scripting Refactorings in Erlang. In: 15th Fundamental Approaches to Software Engineering(FASE2012). The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2010) Improved Testing Through Refactoring: Experience from the ProTest project. In: Testing - Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2011) Incremental Code Clone Detection and Elimination for Erlang Programs. In: Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11). The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2012) Let's Make Refactoring Tools User-extensible! In: The Fifth ACM Workshop on Refactoring Tools. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2010) Refactoring Support for Modularity Maintenance in Erlang. In: Tenth IEEE International Working Conference on Source Code Analysis and Manipulation. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2010) Similar Code Detection and Elimination for Erlang Programs. In: Practical Aspects of Declarative languages 2010. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2009) Testing-framework-aware Refactoring. In: The Third ACM Workshop on Refactoring Tools. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon (2011) A User-extensible Refactoring Tool for Erlang Programs. Technical report. The full text of this publication is not available from this repository.

Li, Huiqing and Thompson, Simon and Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Proceedings of the Refactoring and Testing Workshop (RefTest 2011). The full text of this publication is not available from this repository.

Linington, Peter F. (2010) The Stereochemistry of Enterprise Objects. In: Enterprise Distributed Object Computing Conference Workshops - WODPEC 2010. The full text of this publication is not available from this repository.

Linington, Peter F. and Milosevic, Zoran and Tanaka, Akira and Vallecillo, Antonio (2011) Building Enterprise Systems with ODP - An Introduction to Open Distributed Processing. Innovation in Software Engineering and Software Development . Chapman and Hall/CRC Press ISBN 978-1-4398-6625-2. The full text of this publication is not available from this repository.

Linington, Peter F. and Miyazaki, Hiroshi and Vallecillo, Antonio (2012) Obligations and Delegation in the ODP Enterprise Language. In: EDOC Workshops 2012: VORTE, September 10-14 2012, Beijing, China. Access to this publication is restricted.

M

Mador-Haim, Sela and Maranget, Luc and Sarkar, Susmit and Memarian, Kayvan and Alglave, Jade and Owens, Scott and Alur, Rajeev and Martin, Milo M. K. and Sewell, Peter and Williams, Derek (2012) An Axiomatic Memory Model for POWER Multiprocessors. In: Computer Aided Verification, 24th International Conference, CAV 2012, July 7th-13th, 2012, Berkeley, California, USA. The full text of this publication is not available from this repository.

Myreen, Magnus O. and Owens, Scott (2012) Proof-Producing Synthesis of ML from Higher-Order Logic. In: ICFP '12: 17th ACM SIGPLAN International Conference on Functional Programming, September 10th - 12th, 2012, Copenhagen, Denmark. The full text of this publication is not available from this repository.

O

Owens, Scott (2010) Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. In: ECOOP 2010 —- Object-Oriented Programming, 24th European Conference, June 21st-25th, 2010, Maribor, Slovenia. The full text of this publication is not available from this repository.

Owens, Scott (2008) A Sound Semantics for OCaml light. In: 17th European Symposium on Programming, ESOP 2008, March 29th - April 6th, 2008, Budapest, Hungary. The full text of this publication is not available from this repository.

Owens, Scott and Sarkar, Susmit and Sewell, Peter (2009) A Better x86 Memory Model: x86-TSO. In: 22nd International Conference, TPHOLs 2009, August 17th - 20th, 2009, Munich, Germany. The full text of this publication is not available from this repository.

P

Polack, Fiona A. C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T. (2010) Reflections on the Simulation of Complex Systems for Science. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. The full text of this publication is not available from this repository.

R

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2012) Multicore scheduling for lightweight communicating processes. Science of Computer Programming, 77 (6). pp. 727-740. ISSN 0167-6423. The full text of this publication is not available from this repository.

Ritson, Carl G. and Welch, Peter H. (2010) A Process-Oriented Architecture for Complex System Modelling. Concurrency and Computation: Practice and Experience, 22 . pp. 182-196. The full text of this publication is not available from this repository.

Runnalls, Andrew R. (2010) Aspects of CXXR Internals. Computational Statistics . pp. 182-196. ISSN 0943-4062. The full text of this publication is not available from this repository.

Runnalls, Andrew R. (2010) CXXR and Add-On Packages. UNSPECIFIED. The full text of this publication is not available from this repository.

S

Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: PLDI '12: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 11th-16th June, 2012, Beijing, china. The full text of this publication is not available from this repository.

Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade (2009) The Semantics of x86-CC Multiprocessor Machine Code. In: POPL '09: 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 21st - 23rd, 2009, Savannah, Georgia, USA. The full text of this publication is not available from this repository.

Sewell, Peter and Sarkar, Susmit and Owens, Scott and Zappa Nardelli, Francesco and Myreen, Magnus O. (2010) x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors. Communications of the ACM, 53 (7). pp. 89-97. ISSN 0001-0782. The full text of this publication is not available from this repository.

Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Peskine, Gilles and Ridge, Thomas and Sarkar, Susmit and Strniša, Rok (2010) Ott: Effective Tool Support for the Working Semanticist. Journal of Functional Programming, 20 (1). pp. 71-122. ISSN 0956-7968. The full text of this publication is not available from this repository.

Simon, Axel and King, Andy and Howe, Jacob M. (2010) The Two Variable Per Inequality Abstract Domain. Higher-Order and Symbolic Computation, 31 (1). pp. 182-196. The full text of this publication is not available from this repository.

Simpson, Jonathan and Ritson, Carl G. (2009) Toward Process Architectures for Behavioural Robotics. In: Communicating Process Architectures 2009. The full text of this publication is not available from this repository.

Singer, Jeremy and Jones, Richard (2011) Economic Utility Theory for Memory Management Optimization. In: Proceedings of the workshop on Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems. The full text of this publication is not available from this repository.

Singer, Jeremy and Jones, Richard (2010) The Economics of Garbage Collection. In: Proceedings of the 2010 International Symposium on Memory Management. The full text of this publication is not available from this repository.

T

Thompson, Simon (2011) Haskell: the craft of functional programming. Addison-Wesley ISBN 978-0-201-88295-7. The full text of this publication is not available from this repository.

Thompson, Simon J. and Laemmel, Ralf and Kaiser, Markus (2013) Programming errors in traversal programs over structured data. Science of Computer Programming . ISSN 0167-6423. (In press)

Preview

Tripp, Gerald (2010) Regular expression matching using associative memory. Technical report. , Canterbury, Kent. CT2 7NF. UK. The full text of this publication is not available from this repository.

V

Vitek, Jan and Kalibera, Tomas (2011) Repeatability, Reproducibility and Rigor in Systems Research (Invited Paper). In: Proceedings of the 11th International Conference on Embedded Software (EMSOFT). The full text of this publication is not available from this repository.

W

Welch, Peter H. and Brown, N.C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2010) Alting Barriers: Synchronisation with Choice in Java using JCSP. Concurrency and Computation: Practice and Experience, 22 . pp. 182-196. The full text of this publication is not available from this repository.

Welch, Peter H. and Pedersen, Jan B. (2010) Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems, 32 (4). pp. 182-196. The full text of this publication is not available from this repository.

Welch, Peter H. and Wallnau, Kurt and Sampson, Adam T. and Klein, Mark (2012) To Boldly Go: an occam-π mission to engineer emergence. Natural Computing . pp. 1-27. ISSN 1567-7818. The full text of this publication is not available from this repository.

This list was generated on Sat May 18 11:22:12 2013 BST.