Smart infrastructure for carbon foot print analysis of Electric Vehicles
Suresh, V., Hill, G. and Blythe, P.T.
Transport Research Group, Newcastle University, April, 2010
Notes : EVADINE - joint Project of Transport Research Group and Computing Science.
Keywords : Electric Vehicles, Carbon Foot Print Analysis, Infrastructure for EV monitoring

[Abstract]

Multi-Touch Surfaces: A Technical Guide
Schöning, J., Brandl, P., Daiber, F. et al.
TUM-10833, University of Münster, Institute for Geoinformatics, 2008
Notes : Newcastle authors are Jonathan Hook and Patrick Olivier.
Keywords : Multi-touch surfaces, Hardware for multi-touch surfaces, Software libraries for multi-touch surfaces, Multi-touch bootcamp in conjunction with IEEE Tabletops 2008

Output-Determinacy and Asynchronous Circuit Synthesis
Khomenko, V., Schaefer, M. and Vogler, W.
2007-02, Institute of Computer Science, University of Augsburg, January, 2007
Keywords : output-determinacy, decomposition, STG, asynchronous circuits, OR-causality

[Abstract]

Combining Decomposition and Unfolding for STG Synthesis
Khomenko, V. and Schaefer, M.
2007-01, Institute of Computer Science, University of Augsburg, January, 2007
Keywords : Asynchronous circuit, STG, Petri net, decomposition, unfolding, state space explosion

[Abstract]

Design and Evaluation of a Wide-Area Distributed Shared Memory Middleware
Mazzucco, M., Morgan, G. and Panzieri, F
UBLCS-2007-19, Department of Computer Science, University of Bologna, Italy, July, 2007

[Abstract]

Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems
Di Marzo Serugendo, G., Fitzgerald, J., Romanovsky, A. and Guelfi, N.
BBKCS-06-05, School of Computer Science and Information Systems, Birkbeck College, London, May, 2006
Keywords : Dependability, self-managing systems, metadata, fault tolerance, resilience

[Abstract]

Architectural description of dependable software systems
Gacek, C. and de Lemos, R.
9-05, University of Kent, Computing Laboratory, October, 2005

Spatial network growth -- Generating small-world, scale-free, and multi-cluster spatial networks
Kaiser, M.
1, School of Engineering and Science, International University Bremen, January, 2005
Keywords : spatial graphs, biological networks, scale-free, small-world

A System for Distributed Enactment of Composite Web Services
Woodman, S.J., Palmer, D.J., Shrivastava, S.K., Wheater, S.M.
DIT-03-056, University of Trento, 12, 2003
Keywords : ADAPT, DECS, Service enactment, distributed workflow

[Abstract]

The implications for rural and regional populations of the Irish government's provision of broadband communications infrastructure
Skerratt, S.
National Institute of Regional and Spatial Analysis, National University of Ireland,  , 2003

Impact of Virtualization on Management Systems
Graupner, S., Koenig, R., Machiraju, V., Pruyne, J., Sahai, A. and van Moorsel, A.
HPL-2003-125, Hewlett Packard Laboratories, June, 2003
Notes : Also in Tenth Plenary Workshop of HP OpenView University Association, Geneva, Switzerland, July 6-9, 2003
Keywords : virtualization; system management; Utility Data Center; OpenView

Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms
Romanovsky, A., Dony, C., Knudsen, J.L. and Tripathi, A.
03-028, Department of Computer Science, University of Minnesota, Minneapolis, 2003

Quality of Business Driven Service Composition and Utility Computing
Machiraju, V., Rolia, J. and Van Moorsel, A.
HPL-2002-66, Hewlett Packard Laboratories, March, 2002

Time-related trade-offs in dynamic function scheduling. .
Hildebrandt, M. and Harrison, M.
G2002-1, Department of Computing Science, University of Glasgow, Scotland., 2002
Notes : In Johnson, C. (ed), 21st European Annual Conference on Human Decision Making and Control, pp. 89-95. GIST Technical Report G2002-1.

The 'virtual village': bridging or widening the digital divide?
Skerratt, S. & Warren, M.
Centre for Urban and Regional Development Studies (CURDS), University of Newcastle upon Tyne, September, 2002

THEA - A Reference Guide
Pocock, S., Fields, R., Harrison, M. and Wright, P.
YCS-2001-336, University of York, Dept. of Computer Science, 2001

First Specification of APIs and Protocols for the MAFTIA Middleware
Armstrong, J., Cachin, C., Correia, M. et al.
RZ-3365, IBM Zurich Research Laboratory, August, 2001
Keywords : middleware, intrusion tolerance

Metrics for the Internet Age: Quality of Experience and Quality of Business
van Moorsel, A.
HPL-2001-179, Hewlett-Packard Laboratories, July, 2001

The Relationship between Quality of Service and Business Metrics: Monitoring, Notification and Optimization
Wolter, K. and Van Moorsel, A.
HPL-2001-96, Hewlett Packard Laboratories, April, 2001
Notes : Also in HP's OpenView Forum, New Orleans, June 11-15, track Thursday S223 on CD, 2001.

Successful Software Product Line Development in a Small Organization -- A Case Study
Gacek, C., Knauber, P, Schmid, K. and Clements, P
013.01/E, Fraunhofer IESE, March, 2001

An Attack on A Traitor Tracing Scheme
Yan, J. J. and Wu, Y.
UCAM-CL-TR-518, Computer Laboratory, University of Cambridge, July, 2001
Notes : Also appears as IACR Cryptology ePrint Archive Report 2001/067.

Structure and evolution of a circumstellar disk during the early phase of accretion from a parent cloud
Idowu, O.C.
Annual Briefs, Center of Turbulence Research,  , 2001

A Manual for a Model Checker for Stochastic Automata
Akehurst, D., Bowman, H., Bryans, J. and Derrick, J.
5-00, University of Kent at Canterbury,  , 2000

A model checking algorithm for stochastic systems
Bowman, H., Bryans, J. and Derrick, J.
4-00, University of Kent at Canterbury,  , 2000

People-centred analysis: the use of qualitative evaluation to assess sustainable rural development
Skerratt, S. and Midmore, P.
Working Paper Series, University of Aberystwyth, Institute of Rural Studies,  , 2000

Safety Critical Distributed Systems: a State of Art Report
Shrivastava, S.K., Ezhilchelvan, P.D., Speirs, N. and Fitzgerald, J.S.
NATS, March, 2000

Implementing Product Line Variabilities
Anastasopoulos, M. and Gacek, C.
089.00/E, Fraunhofer IESE, 2000

Proceedings of the Product Line Architecture Workshop -- The First Software Product Line Conference (SPLC1)
Gacek, C., Jourdan, J. and Coriat, M
053.00/E, Fraunhofer IESE, 2000

A Process for Product Line Architecture Creation and Evaluation -- PuLSE-DSSA version 2.0
Anastasopoulos, M., Bayer, J., Flege, O. and Gacek, C.
038.00/E, Fraunhofer IESE,  , 2000

Assessment Guidelines for Detecting Architectural Mismatches
Gacek, C.
021.00/E, Fraunhofer IESE, January, 2000

A Language for Specifying the Composition of Reliable Distributed Applications
Ranno, F., Shrivastava, S.K. and Wheater, S.M.
25, Esprit LTR Project No. 24962, Dept. of Computing Science, University of Newcastle upon Tyne, 2000

Mutuality and the CLARiFi Component Broker
Periorellis, P. and Thomas, N.
03/00, Department of Computer Science, University of Durham, August, 2000

Strategic Directions in Computer Architecture Research
Watson, P., Watson, I., Ibbett, R., Kelly, P. and Muller, H.
Computer Architecture Group, UK "Strategic Directions in Computer Science" Workshop, January, 2000

Gallifrey: A Component-Based Framework for Building Policy-Based Management Applications
Bearden, M., Garg, S., Van Moorsel, A. and Lee, W.-J.
BL011356-000120-01, Bell Labs Research, Jan, 2000

Constraint Oriented Specification with CSP and Real-time Logic
Pearson, J. and Bryans, J.
3-98, University of Kent at Canterbury,  , 1998

Using Probability to Reason about Soft Deadlines
King, A. and Bryans, J.
13-98, University of Kent at Canterbury,  , 1998

A review of the methodologies, techniques and suggestions proposed for enabling knowledge sharing and Re-use in computer integrated manufacturing environments and other enterprises
Periorellis P., Bokma A.
Sunderland University, February, 1998
Keywords : Enterprise Modelling, Modelling Methodologies, PERA, CIMOSA

Specification of Distributed Intelligent Network Systems using UML and Extensions
Arief, L.B. and Speirs, N.A.
British Telecom, February, 1998

Design and Implementation of an SNMP Agent for Managing NTSwift
Garg, S., Huang, Y. and Van Moorsel, A.
BL011356-980908-21, Bell Labs Research, Sept., 1998

Comparative Evaluation of Object Location Mechanisms
Little, M.C. and Speirs, N.A.
BT, August, 1998

Detecting Architectural Mismatches During Systems Composition
Gacek, C.
USC-CSE-97-506, USC, 1997

Detecting Architectural Mismatches During Systems Composition -- An Extension to the AAA Model
Gacek, C.
USC-CSE-97-502, USC, 1997

Mechanical Verification of the full Needham-Schroeder Public Key Protocol
Bryans, J. and Schneider, S.
CSD-TR-97-11, Royal Holloway and Bedford New College,  , 1997

Or-Parallel Prolog on a Distributed Memory Architecture
Silva, F., and Watson P.
DCC-97-6, DCC - FC & LIACC, Universidade do Porto, Portugal, July, 1997

Offering Computing Services Through Networks of Simple HTTP Servers
Klemm, R. and van Moorsel, A.P.A.
BL011256-970805-05, Bell Labs Research, May, 1997

Providing System Analysis Tools over the Internet
Van Moorsel, A.
BL011256-970801, Bell Labs Research, Jan., 1997

Enhancing the tractability of rely/guarantee specifications in the development of interfering operations
Collette, P. and Jones, C.B.
UMCS-95-10-3, Manchester University,  , 1995

Fault-Tolerant Execution of Computationally and Storage Intensive Programs Over a Network of Workstations: A Case Study
Smith, J.A. and Shrivastava, S.K.
103, ESPRIT Basic Research Project 6360, July, 1995

The Design and Implementation of a Framework for Extensible Software
Wheater, S.M. and Little, M.C.
BROADCAST ESPRIT Basic Research Project 6360,  , 1995

Real-time CSP and ET-LOTOS
Bryans, J., Davies, J. and Schneider, S.
Reading University,  , 1994

A failures semantics for ET-LOTOS
Schneider, S., Bryans, J. and Davies, J.
Reading University,  , 1994

The global-yet-personal information system
Gurd, J.R. and Jones, C.B.
UMCS-94-4-1, Manchester University,  , 1994

Focused Workshop on Software Reuse: Issue Paper
Gacek, C., Clark, B.K. and Boehm, B.W.
Knowledge Summary of the USC-CSE Focused Workshop on Software Reuse, Center for Software Engineering, University of Southern California, October, 1994

Domain Specific Software Architecture Based Reuse - State of the Art
Gacek, C.
Knowledge Summary of the USC-CSE Focused Workshop on Software Reuse, Center for Software Engineering, University of Southern California, October, 1994

Software Architecture, the Architecting Process, and Examples of Architecting Infrastructures - State of the Art
Gacek, C.
Knowledge Summary of the USC-CSE Focused Workshop on Software Architectures, Center for Software Engineering, University of Southern California, June, 1994

Focused Workshop on Software Architectures: Issue Paper
Gacek, C., Abd-Allah, A., Clark, B.K. and Boehm, B.W.
Knowledge Summary of the USC-CSE Focused Workshop on Software Architectures, Center for Software Engineering, University of Southern California, June, 1994

The Design and Implementation of Arjuna
Parrington, G.D., Shrivastava, S.K., Wheater, S.M. and Little, M.C.
65, BROADCAST Project, October, 1994

Object Replication in Arjuna
Little, M.C. and Shrivastava, S.K.
50, BROADCAST Project, October, 1994

NewTop: A Fault-Tolerant Group Communication Protocol
Ezhilchelvan, P., Macedo, R. and Shrivastava, S.K.
BROADCAST Project, October, 1994

A Stub Generation System for C++
Parrington, G.D.
BROADCAST Project, October, 1994

Architectural Support for Mobile Objects
Caughey, S.J. and Shrivastava, S.K.
Second Year Report - Systems Architecture, 3 of 4, BROADCAST ESPRIT Basic Research Project 6360,  , 1994

A View of Large Scale Distributed Computing
Panzieri, F. and Shrivastava, S.K.
Second Year Report - Surveys, 1 of 4, BROADCAST ESPRIT Basic Research Project 6360,  , 1994

A typed logic of partial functions reconstructed classically
Jones, C.B. and Middelburg, C.A.
Logic Group Preprint Series 89, Utrecht University, Department of Philosophy, April, 1993

Understanding the differences between VDM and Z
Hayes, I.J., Jones, C.B. and Nicholls, J.E.
UMCS-93-8-1, Manchester University,  , 1993

Process algebraic foundations for an object-based design notation
Jones, C.B.
UMCS-93-10-1, Manchester University,  , 1993

Delayline - A Wide Area Network Emulation Tool
Ingham, D.B. and Parrington, G.D.
BROADCAST Project, October, 1993

Exercising Application-Specific Run-Time Control over Clustering of Objects
Wheater, S.M. and Shrivastava, S.K.
BROADCAST Project, October, 1993

Maintaining Information about Persistent Replicated Objects in a Distributed System
Little, M.C., McCue, D.L. and Shrivastava, S.K.
BROADCAST Project, October, 1993

NewTop: A Total Order Multicast Protocal Using Causal Blocks
Macedo, R.A., Ezhilchelvan, P.D. and Shrivastava, S.K.
BROADCAST Project, October, 1993

Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
Shrivastava, S.K. and McCue, D.L.
First Year Report - Systems Engineering, 3 of 3, BROADCAST ESPRIT Basic Research Project 6360,  , 1993

An introduction to pi-calculus
Jones, C.B. and Monahan, B.Q.
April, 1993

The search for tractable ways of reasoning about programs
Jones, C.B.
UMCS-92-4-4, University of Manchester,  , 1992

An object-based design method for concurrent programs
Jones, C.B.
UMCS-92-12-1, University of Manchester,  , 1992

Formal methods – selected historical references
Jones, C.B. and McCauley, A.M.
UMCS-92-12-2, Manchester University,  , 1992

Demonstration of Voltan Fail-Controlled Node
Speirs, N.A. and Shrivastava, S.K.
BG/92/40, Dependable Computing Systems Centre, October, 1992

Fail-Controlled Computer Architectures for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A.
BG/92/38, Dependable Computing Systems Centre, August, 1992

Interference resumed
Jones, C.B.
UMCS-91-5-1, University of Manchester, May, 1991

Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning
Fitzgerald, J.S.
UMCS 91-11-2, Department of Computer Science, University of Manchester, 1991
Notes : Ph.D. Thesis.

Some comments on (BSI) VDMSL
Jones, C.B.
BSI Committee, May, 1991

Operation quotation in VDM
Jones, C.B.
Adelard, March, 1991

On the Usability of Logics which Handle Partial Functions
Cheng, J.H. and Jones, C.B.
UMCS-90-3-1, University of Manchester, February, 1990

Modularizing the Formal Description of a Database System
Fitzgerald, J.S. and Jones, C.B.
UMCS 90-1-1, University of Manchester, January, 1990

Systematic software development using VDM (second edition) teaching notes
Jones, C.B.
Prentice Hall International,  , 1990

Specifications are not (necessarily) executable
Hayes, I.J. and Jones, C.B.
148, Key Centre for Software Technology, Department of Computer Science, University of Queensland, February, 1990

Understanding Component Failures and Replications in Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Little, M.C.
UNT/TR1, ISA, May, 1990

Fail-controlled processor architectures for distributed systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A.
DELTA-4 ESPRIT Project,  , 1990

Specifications are not (necessarily) executable
Hayes, I.J. and Jones, C.B.
UMCS-89-12-1, University of Manchester, December, 1989

Response to Arentoft and Larsen's 'Underspecification and non-determinism note'
Jones, C.B.
IST/5/50 Document no. 67, BSI, May, 1988

Combining implicit/explicit function definitions in the VDM protostandard
Jones, C.B.
IST/5/50 Document no. 58, BSI, April, 1988

Teaching notes (second version) for 'Systematic software development using VDM'
Jones, C.B.
UMCS 87-12-9, University of Manchester, December, 1987

An experimental user interface for a theorem proving assistant
Jones, C.B. and Moore, R.
UMCS 87-12-8, University of Manchester, December, 1987

Teaching notes for systematic software development using VDM
Jones, C.B.
UMCS-86-4-2, University of Manchester,  , 1986

Program specification and verification in VDM
Jones, C.B.
UMCS 86-10-5, University of Manchester,  , 1986

IPSE 2.5 theorem proving concepts paper
Jones, C.B., Lindsay, P. and Wadsworth, C.
060/00021/1.5, Manchester University and Rutherford Appleton Laboratory, June, 1986

Mule - an environment for rigorous software development
Cottam, I.D., Jones, C.B., Nipkow, T.N., Wills, A.C., Wolczko, M. and Yaghi, A.
Department of Computer Science, University of Manchester,  , 1986

IPSE 2.5 project proposal
Denvir, B.T., Downes, V.A., Jones, C.B., Snowdon, R.A. and Tordoff, M.K.
ICL/STC-IDEC/STL/University of Manchester, February, 1985

MDB: A graph-like persistent database
Jones, C.B., Nipkow, T.N. and Wolczo, M.I.
 , 1984

A survey of verification techniques for parallel programs
Barringer, H. and Jones, C.B.
University of Manchester, September, 1982

Development methods for computer programs including a notion of interference
C.B. Jones
Technical Monograph PRG-25, Programming Research Group, Computing Lab, Oxford University, June, 1981

Selected Bibliography on the Structure and Design of Programming Languages
Elliott, W.D. and Randell, B. (eds.)
14, Computer Systems Research Group, University of Toronto, June, 1978
Notes : Technical note.
Keywords : programming languages survey

Some requirements for specfication languages
Jones, C.B.
LN 25.3.108, IBM Laboratory, Vienna, February, 1976

Formal definition in compiler development
Jones, C.B.
25.145, IBM Laboratory, Vienna, February, 1976

Some experiments with using a formal language definition in compiler development
Bekic, H., Izbicki, H., Jones, C.B. and Weissenbock, F.
LN 25.3.107, IBM Laboratory, Vienna, December, 1975

A formal definition of a PL/I subset
Bekic, H., Bjorner, D., Henhapl, W., Jones, C.B. and Lucas, P.
25.139, IBM Laboratory, Vienna, December, 1974

Formal development: An example using FDSS
Chapman, D.N. and Jones, C.B.
TN 9007, IBM Laboratory, Hursley,  , 1973

Formal development of programs
Jones, C.B.
12.117, IBM Laboratory, Hursley, June, 1973

The formal development of an algorithm
Allen, C.D. and Jones, C.B.
12.110, IBM Laboratory, Hursley, March, 1973

Operations and formal development.
Jones, C.B.
TN 9004, IBM Laboratory, Hursley, September, 1972

A formal definition of ALGOL 60
Allen, C.D., Chapman, D.N. and Jones, C.B.
12.105, IBM Laboratory, Hursley, August, 1972

Sufficient properties for implementation correctness
Jones, C.B.
TN 9002, IBM Laboratory, Hursley, June, 1971

Development of correct programs: An example based on Earley's recogniser
Jones, C.B.
TN 9000, IBM Laboratory, Hursley, April, 1971

Formal development of correct algorithms: an example based on Earley's recogniser
Jones, C.B.
12.095, IBM Laboratory, Hursley, December, 1971

Dynamic syntax: A concept for the definition of the syntax of programming languages
Hanford, K.V. and Jones, C.B.
12.090, IBM Laboratory, Hursley, June, 1971

A run-time mechanism for referencing variables
Henhapl, W. and Jones, C.B.
LR 25.3.074, IBM Laboratory, Vienna, July, 1970

Some observations on the implementation of reference mechanisms for automatic variables
Henhapl, W. and Jones, C.B.
LR 25.3.070, IBM Laboratory, Vienna, May, 1970

A technique for showing that two functions preserve a relation between their domains
Jones, C.B.
LR 25.3.067, IBM Laboratory, Vienna, April, 1970

Yet another proof of the block concept
Jones, C.B.
LN 25.3.075, IBM Laboratory, Vienna, August, 1970

On the interpretation of GOTO statements in the ULD
Henhapl, W. and Jones, C.B.
LN 25.3.065, IBM Laboratory, Vienna, March, 1970

Proving correctness of implementation techniques
Jones, C.B. and Lucas, P.
25.110, IBM Laboratory, Vienna, August, 1970

The block concept and some possible implementations, with proofs of equivalence
Henhapl, W. and Jones, C.B.
25.104, IBM Laboratory, Vienna, April, 1970

Structuring Complex Processes
Horning, J.J. and Randell, B.
RC 2459, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA,  , 1969

Dynamic Instruction Scheduling
Conway, L., Randell, B., Rozenberg, D.P., Senzig, D.N.
RJ 565, IBM T. J. Watson Research Center, Yorktown Heights, NY, USA, March, 1969
Keywords : look-ahead, parallelism, instruction sequencing, computer architecture

A proof of the correctness of an interpreter based on axiom schema
Jones, C.B.
LN 25.3.053, IBM Laboratory, Vienna, June, 1969

A proof of the correctness of some optimising techniques
Jones, C.B.
LN 25.3.051, IBM Laboratory, Vienna, June, 1969

A comparison of two approaches to language definition as bases for the construction of proofs
Jones, C.B.
LN 25.3.050, IBM Laboratory, Vienna, February, 1969

The syntax machine: A description
Glassover, S.M., Hanford, K.V. and Jones, C.B.
12.078, IBM Laboratory, Hursley, January, 1969

Multilevel Modeling - A Methodology for Computer System Design
Zurcher, F.W., Randell, B.
SIMP-1968-50, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, November, 1968
Keywords : Programming, Systems Design, Systems Evaluation, Simulation

Demand Paging in Perspective
Kuehner, C.J. and Randell, B.
RC-2099, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, May, 1968
Keywords : storage allocation, paging, thrashing

Iterative Multi-Level Modelling: A methodology for computer system design
Zurcher, F.W. and Randell, B.
RC 2292, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, November, 1968

A Note on Storage Fragmentation and Program Segmentation
Randell, B.
RC 2102, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, 1968
Keywords : storage allocation, paging

Mathematical semantics of goto: Exit formulation and its relation to continuations
Jones, C.B.
IBM Laboratory, Vienna, July, 1968

The syntax machine: An introduction
Glassover, S.M., Hanford, K.V. and Jones, C.B.
12.077, IBM Laboratory, Hursley, October, 1968

Dynamic Storage Allocation Systems
Randell, B., Kuehner, C.J.
RC-1837, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, June, 1967
Keywords : storage allocation, paging

Deadline Scheduling
Randell, B., Zweig, E. and Lehman, M.
RC 1842, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, 1967
Keywords : scheduling, deadline, multiprocessors

A retrospective view of APEX (Automatic Production of Executable Programs)
Jones, C.B.
12.065, IBM Laboratory, Hursley, October, 1966

A random generator for the automatic production of executable PL/I programs (APEX)
Schofield, P.B. and Jones, C.B.
12.062, IBM Laboratory, Hursley, April, 1966

APEX manual
Schofield, P.B. and Jones, C.B.
IBM Laboratory, Hursley, April, 1966

The Object Programme Generated by the Whetstone KDF9
Randell, B.
W/AT 872, Atomic Power Division, English Electric Co., Whetstone, Leics., April, 1962

Proposals for Code Procedures in KDF9 Algol
Randell, B.
W/AT 867, Atomic Power Division, English Electric Co., Whetstone, Leics., March, 1962

DEUCE ALGOL
Randell, B. and Russell, L.J.
W/AT 844, Atomic Power Division, English Electric Co., Whetstone, Leics., February, 1962

Discussions on ALGOL Translation, at Mathematisch Centrum
Randell, B. and Russell, L.J.
W/AT 841, Atomic Power Division, English Electric Co., Whetstone, Leics.,  , 1962
Keywords : Algol compiler

[Abstract]

The Whetstone KDF9 ALGOL Translator
Randell, B.
Atomic Power Division, English Electric Co., Whetstone, Leics., June, 1962
Keywords : Algol KDF9 compiler

[Abstract]

Multi-Section EASICODE
Randell, B.
W/AT 603, Atomic Power Division, English Electric Co., Whetstone, Leics., November, 1960

EASICODE
Kelly, M. J. and Randell, B.
W/AT 585, Atomic Power Division, English Electric Co., Whetstone, Leics., October, 1960

Preliminary Report on EASICODE
Kelly, M.J. and Randell, B.
W/AT 216, Atomic Power Division, English Electric, Whetstone, Leics., September, 1958
Keywords : Easicode compiler DEUCE

[Abstract]