UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Jump to: C | F | G | P | R | S
Number of items: 12.


Clack, C; Peyton Jones, SL; (1987) Finding fixpoints in abstract interpretation. In: Abramsky, S and Hankin, C, (eds.) Abstract Interpretation of Declarative Languages. (pp. 246-265). Ellis Horwood

Clack, C; Peyton Jones, SL; (1987) The four-stroke reduction engine. In: Thakkar, SS, (ed.) Selected Reprints on Dataflow and Reduction Architectures. (pp. 327-339). IEEE Computer Society Press


Finkelstein, A; (1987) Reuse of formatted specifications. Software Engineering Journal , 3 (5) pp. 186-197.

Finkelstein, A; Potts, C; (1987) Building formal specifications using structured common sense. In: 4th International Workshop Software Specification and Design. (pp. 108-114). IEEE Computer Society Press

Finkelstein, A; Potts, C; (1987) Formalizing Requirements Systematically. In: Wagner, R and Traunmüller, R and Mayr, HC, (eds.) Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA, Linz, 2. und 3. Juli 1987, Proceedings. (pp. 44-57). Springer


Godsil, CD; Shawe-Taylor, J; (1987) Distance-regularised graphs are distance-regular or distance-biregular. J. Comb. Theory, Ser. B , 43 (1) pp. 14-24. 10.1016/0095-8956(87)90027-X.


Peyton Jones, SL; Clack, C; Salkild, J; (1987) GRIP: A parallel graph reduction machine. ICL Technical Journal , 5 (3) pp. 595-599.

Peyton Jones, SL; Clack, C; Salkild, J; Hardie, M; (1987) GRIP — a high-performance architecture for parallel graph reduction. Lecture Notes in Computer Science , 274 pp. 98-112. 10.1007/3-540-18317-5_7.


Rogers, Y; (1987) Pictorial communication of abstract verbs in relation to human-computerinteraction. British Journal of Psychology , 78 99 - 112.


Shawe-Taylor, J; (1987) Automorphism Groups of Primitive Distance-bitransitive Graphs are Almost Simple. European Journal of Combinatorics , 8 (2) pp. 187-197.

Shawe-Taylor, J; (1987) Information and its Relation to Formalisms for the Complexities of the Real World. Journal of Information Technology. , 2 (3) pp. 151-155.

Shawe-Taylor, J; (1987) The Semantics and Open Set Analysis of a First Order Programming Language. UNSPECIFIED

This list was generated on Sun Mar 26 05:59:01 2017 BST.