references - A 
Author Message
 references - A

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.
Temp{*filter*}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. &{*filter*}shott 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



Wed, 19 May 1993 04:32:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Reference/Location of ANSI Smalltalk Reference

2. RTX2000 references/Stack computer references

3. Python quick reference reference

4. How do I cast a control reference to a named numeric reference?

5. Call by Reference/Content vs. Using by Reference/Value

6. What are the differences between _weak_ references and "normal" references?

7. HELP **NEED Reference Books** PLEASE!

8. Binary filing and circular references

9. Cyclic object references

10. Sharp APL/PC reference binders

11. Improved J Reference Card 2.0

12. $: (self-reference) difficulties

 

 
Powered by phpBB® Forum Software