Short Note.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 474
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1989 AND VI 32 AND IP 5
Results: 17
1
2
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 473
- Publication type:
- Article
3
A New Algorithm for Generating Binary Trees using Rotations.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 470
- By:
- Publication type:
- Article
4
Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction*.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 461
- By:
- Publication type:
- Article
5
An FP-based Design Methodology for Problem-oriented Architectures.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 453
- By:
- Publication type:
- Article
6
COMAR: a Data Format for Integration of CFG Tools.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 445
- By:
- Publication type:
- Article
7
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 444
- Publication type:
- Article
8
Proving Correctness Properties of a Replicated Synchronous Program.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 437
- By:
- Publication type:
- Article
9
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 436
- Publication type:
- Article
10
Towards a Formal Specification of Floating Point.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 432
- By:
- Publication type:
- Article
11
Denotational Semantics of a Command Interpreter and their Implementation in Standard ML.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 422
- By:
- Publication type:
- Article
12
UMIST OBJ: a Language for Executable Program Specifications.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 413
- By:
- Publication type:
- Article
13
Announcements.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 412
- Publication type:
- Article
14
Implicit System Specification and the Interface Equation.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 399
- By:
- Publication type:
- Article
15
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 398
- Publication type:
- Article
16
Editorial – Formal Methods in Computing.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 385
- By:
- Publication type:
- Article
17
An Approach to the Support of Software Evolution.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 386
- By:
- Publication type:
- Article