abc@cs.nott.ac.uk (Andy Cheese) (12/08/86)
ABDA76a Abdali S.K. An Abstraction Algorithm for Combinatory Logic Journal of Symbolic Logic Vol 41, Number 1, March 1976 ABEL85a * Abelson H. & Sussman G.J. with Sussman J. Structure and Interpretation of Computer Programs MIT Press 1985 ABEL? Abelson H. & Sussman G.J. Computation: An Introduction to Engineering Design Massachusetts Institute of technology, U.S.A. ABEL? Abelson H. & Sussman G.J. Scheme Demonstration Programs for Structure and Interpretation of Computer Programs Massachusetts Institute of Technology, U.S.A. ABRA82a Abramsky S. SECD-M - A Virtual Machine for Applicative Multiprogramming Computer Systems Lab, Queen Mary College, Nov 82 ABRA82b Abramson H. Unification-Based Conditional Binding Constructs TR 82-7, Department of Computer Science, Univ of British Columbia, Canada August 1982 ABRA83a Abramsky S. On Semantic Foundations For Applicative Multiprogramming Computer Systems Lab, Queen Mary College, 1983 ABRA83b Abramson H. A Prological Definition of HASL a Purely Functional Language With Unification Based Conditional Binding Expressions TR 83-8, Department of Computer Science, Univ of British Columbia, Canada July 26, 1983 ABRA86a * Abramson H. A Prological Definition of HASL, a Purely Functional Language With Unification- Based Conditional Binding Expressions in DEGR86a, pp 73-130 1986 ABRI85a Abrial J.R. Programming as a Mathematical Exercise in HOA85a 1985 ACKE79a Ackerman W.B. & Dennis J.B. VAL - Preliminary Reference Manual MIT Laboratory for Computer Science, Technical report TR-218 June 1979 ACKE79b Ackerman W.B. Data Flow Languages AFIPS Proceedings, pp 1087-1095 June 1979 ACKE82a * Ackerman W.B. Dataflow Languages IEEE Computer, pp 15-25 February 1982 ADDA85a Adams G.B & Brown R.L. & Denning Report on an Evaluation Study of Data Flow Computation RIACS-TR85 2, Ames Research Group April 1985 AGRA85a * Agrawal V.K. & Patnaik L.M. & Goel P.S. Towards Formal Specification of a Distributed Computing System International Journal of Computer and Information Sciences, Vol 14, No 5 pp 277-306 1985 AIDA84a Aida H. & Moto-oka T. Performance Measurement of Parallel Logic Programming System "Paralog" Dept. of Electrical Eng., University of Tokyo AIDA85a * Aida H. The Logic Programming Conference '85 Conference Report New Generation Computing, Vol 3, No 3, pp 334-335 1985 ALEX85a * Alexandridis N.A. & Bilalis N.A. & Tsanakas P.D. Using Functional Programming For Hierarchical Structures in Image Processing in Digital Techniques in Simulation, Communication and Control (IMACS) (ed Tzafestas S.G. ) pp 175-181 North Holland 1985 AILIST85a * AIList Digest Volume 3 : Issue 171 Monday 18th November 1985 AILIST86 * AIList Digest Volume 4 : Issue 11 Wednesday 22 January 1986 AILIST86 * AIList Digest Volume 4 : Issue 12 Thursday 23 January 1986 AILIST86 * AIList Digest Volume 4 : Issue 13 Thursday 23 January 1986 AILIST86 * AIList Digest Volume 4 : Issue 14 Friday 24 January 1986 AILIST86 * AIList Digest Volume 4 : Issue 15 Friday 24 January 1986 AILIST86 * AIList Digest Volume 4 : Issue 20 Friday 7th February 1986 AILIST86 * AIList Digest Volume 4 : Issue 36 Wednesday 26 February 1986 AILIST86 * AIList Digest Volume 4 : Issue 37 Thursday 27 February 1986 AILIST86 * AIList Digest Volume 4 : Issue 38 Thursday 27 February 1986 AILIST86 * AIList Digest Volume 4 : Issue 39 Thursday 27 February 1986 AILIST86 * AIList Digest Volume 4 : Issue 40 Friday 28 February 1986 AILIST86 * AIList Digest Volume 4 : Issue 41 Friday 28 Febrauary 1986 AILIST86 * AIList Digest Volume 4 : Issue 45 Thursday 6th March 1986 ALLI85a * Allison L. Programming Denotational Semantics II Computer Journal, Vol 28, no 5, pp 480-486 1985 ALVEY83a * Alvey News Issue Number 1 September 1983 ALVEY83b * Alvey News Issue Number 2 December 1983 ALVEY83c * Alvey Software Engineering - A Strategy Overview November 1983 ALVEY83d * Alvey VLSI And CAD Strategy December 1983 ALVEY84a * Alvey News Issue Number 3 February 1984 ALVEY84b * Alvey News Issue Number 4 April 1984 AlVEY84c * Alvey News Issue Number 5 June 1984 ALVEY84d * Alvey News Issue Number 6 August 1984 ALVEY84e * Alvey News Issue Number 7 October 1984 ALVEY84f * Alvey News Issue Number 8 December 1984 ALVEY84g * Alvey Directorate Infrastructure Policy September 1984 ALVEY84h * Software Reliability And Metrics Programme Overview Alvey Directorate April 1984 ALVEY84i * Software Engineering/IKBS Strategy For Knowledge Based IPSE Development Alvey Directorate August 1984 ALVEY84j * Report To The Alvey Directorate On A Short Survey Of Expert Systems In UK Business Submitted by Alex d'Agapeyeff Supplement To Alvey News Issue Number 4 April 1984 ALVEY84k * Alvey Man-Machine Interface Strategy August 1984 ALVEY84l * Alvey Communications Study September 1984 ALVEY84m * Alvey IKBS Research Theme Inference Workshop Report No. 1 Imperial College, London 19-20 September 1984 ALVEY84n * Alvey IKBS Special Interest Group Architectures For large Knowledge Based Systems Proceedings of First Workshop Manchester University 22-24 May 1984 ALVEY84o * Proceedings of the Second Workshop on Architectures For Large Knowledge Bases Sponsored by the Alvey Directorate Manchester University 9-11 July 1984 ALVEY85a * Alvey News Issue Number 9 February 1985 ALVEY85b * Alvey News Issue Number 10 April 1985 ALVEY85c * Alvey News Issue Number 11 June 1985 ALVEY85d * Alvey News Issue Number 12 August 1985 ALVEY85e * Alvey News Issue Number 14 December 1985 ALVEY85f * Alvey Architecture Strategy April 1985 ALVEY85g * Alvey Programme Annual Report 1985 November 1985 ALVEY85h * Alvey Programme Annual Report 1985 Poster Supplement November 1985 ALVEY86a * Alvey News Issue Number 15 February 1986 ALVEY86b * Alvey News Issue Number 16 April 1986 ALVEY86c * Alvey News Issue Number 17 June 1986 ALVEY86d * Alvey News Issue Number 18 August 1986 ALVEY86e * Alvey Programme Annual report 1986 October 1986 ALVEY86f * Alvey Programme Annual Report 1986 Poster Supplement October 1986 ALVEY86g * Alvey News Issue Number 19 October 1986 ALVEY86h * Alvey Conference Report 1986 AMAM82a Amamiya M. & Takahashi N. & Naruse T. & Yoshida M. A Data Flow Processor Array System for Solving Partial Differential Equations Int. Symp. on Applied Mathematics and Information Science March 1982 AMAM85a * Amamiya M. Report on US-Japan Seminar - Knowledge Systems : Cooperation through Competition Conference Report New Generation Computing, Vol 3, No 3, pp 331-333 1985 ANDE83a * Anderson S. Analysing A Restricted Class Of Functional Programs Declarative Programming Workshop, University College London pp 66-97 11-13th April 1983 ANDE85a * Anderson J. & Cohen S. & Davis A. & Robison S. & Stevens K. FAIM1 User Interface IFIP TC-10 Working Conference on Fifth Generation Computer Architecture, UMIST, Manchester July 15-18 1985 ANDR80a Principles of Firmware Engineering in Microprogram Control ISBN 0 914894 63 3 Blackwell Scientific Pubs. 1980 AOYA85a * Aoyagi T. & Fujita M. & Moto-oka T. Temporal Logic Programming Language Tokio - Programming in Tokio in WADA86a, pp 128-137 1985 APT80a * Apt K.R. & Francez N. & Roever W. P. De A Proof System for Communicating Sequential Processes ACM Transactions on Programming Languages and Systems, Vol 2, No 3 pp 359-385 July 1980 APT81a * Apt K.R. Ten Years of Hoare's Logic : A Survey - Part 1 ACM Transactions on Programming Languages and Systems, Vol 3, No 4 pp 431-483 October 1981 APT82a * Apt K.R. & Van Emden M.H. Contributions To The Theory Of Logic Programming Journal of ACM, Vol 29, No 3, pp 841-862 July 1982 APT83a * Apt K.R. & Olderog E.R. Proof Rules And Transformations Dealing With Fairness Science of Computer Programming, 3, pp 65-100 1983 APT86a * Apt K.R. & Kozen D.C. Limits For Automatic Verification of Finite-State Concurrent Systems Information Processing Letters, 22, pp 307-309 30 May 1986 ARBI75a Arbib M.A. & Manes E.G. Arrows, Structures and Functors : The Categorical Imperative Academic Press 1975 ARNO80a * Arnold A. & Nivat M. Metric Interpretations Of Infinite Trees And Semantics Of Non Deterministic Recursive Programs Theoretical Computer Science, 11, pp 181-205 1980 ARSA82a * Arsac J. & Kodratoff Y. Some Techniques for Recursion Removal from Recursive Functions ACM Transactions on Programming Languages and Systems, Vol 4, No 2 pp 295-322 April 1982 ARVI78a Arvind & Gostelow K.P. & Plouffe W. An Asynchronous Programming Language and Computing Machine Dept. of Information and Computer Science, Tech Rep 114A University of California Irvine, December 1978 ARVI83a Arvind & Dertouzos M.L. & Iannucci R.A. A Multiprocessor Emulation Facility MIT Lab for Computer Science Technical Report 302 October 1983 ARVI84a * Arvind & Brock J.D. Resource Managers in Functional Programming Journal of Parallel and Distributed Computing 1, pp 5-21 1984 ARVI84b Arvind & Kathail V. & Pingali K. Sharing of Computation in Functional Language Implementations Lab for Computer Science Tech Rep ??? (sic), 24 July 1984 ARVI85a * Arvind Managing Resources in a Parallel Machine (Extended Abstract) IFIP TC-10 Working Conference on Fifth Generation Computer Architecture, UMIST, Manchester July 15-18 1985 ASHC76a * Ashcroft E.A. & Wadge W. Lucid - A Formal System For Writing and Proving Programs SIAM J on Computing Vol 5 no 3, 1976 pp 336-354 1976 ASHC77a Ashcroft E.A. & Wadge W.W. LUCID, a Non-Procedural Language with Iteration CACM Vol 20 No 7 p519-526 July 1977 ASHC82a * Ashcroft E.A. & Wadge W.W. R for Semantics ACM TOPLAS, Vol 4, No 2, pp 283-294 April 1982 ASHC83a Ashcroft E.A. Proposal for a Demand-Driven Tagged Dataflow Machine SRI Document Sept 1983 ASH85a Ashcroft E.A. Eazyflow Architecture SRI Technical Report CSL-147, April 1985 ASH85b Ashcroft E.A. Ferds--Massive Parallelism in Lucid Document 1985 ASH85c Ashcroft E.A. & Wadge W.W. The Syntax and Semantics of Lucid SRI Technical Report CSL-147 April 1985 ASHC85d * Ashcroft E.A. & Jagannathan R. Operator Nets IFIP TC-10 Working Conference on Fifth Generation Computer Architecture, UMIST, Manchester July 15-18 1985 ASO84a Aso M. Simulator of XP's ICOT Research Center, Technical Report TR-041 January 1984 ATKI83a * Atkinson M.P & Bailey P.J. & Chisholm K.J. & Cockshott P.W. & Morrison R. "An Approach to Persistent Programming" The Computer Journal,Vol.26,No.4, pp 360-365 1983 ATKI85a * Atkinson M.P. & Morrison R. Procedures as Persistent Data Objects ACM Transactions on Programming Languages and Systems, Vol 7, No 4, pp 539-559 October 1985 AUGU84a * Augustsson L. A Compiler for Lazy ML Proceedings of 1984 ACM Symposium on LISP and Functional Programming, Austin, Texas pp 218-227 August 1984 AZAR85a * Azari H. & Veler Y. Functional Language Directed Data Driven machine Microprocessing and Microprogramming 16, pp 127-132 September/October 1985 -- Andy Cheese