Works matching IS 00104620 AND DT 1989 AND VI 32 AND IP 5
Results: 17
Short Note.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 474
- By:
- Publication type:
- Article
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 473
- Publication type:
- Article
A New Algorithm for Generating Binary Trees using Rotations.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 470
- By:
- Publication type:
- Article
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
An FP-based Design Methodology for Problem-oriented Architectures.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 453
- By:
- Publication type:
- Article
COMAR: a Data Format for Integration of CFG Tools.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 445
- By:
- Publication type:
- Article
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 444
- Publication type:
- Article
Proving Correctness Properties of a Replicated Synchronous Program.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 437
- By:
- Publication type:
- Article
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 436
- Publication type:
- Article
Towards a Formal Specification of Floating Point.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 432
- By:
- Publication type:
- Article
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
UMIST OBJ: a Language for Executable Program Specifications.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 413
- By:
- Publication type:
- Article
Announcements.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 412
- Publication type:
- Article
Implicit System Specification and the Interface Equation.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 399
- By:
- Publication type:
- Article
Announcement.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 398
- Publication type:
- Article
An Approach to the Support of Software Evolution.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 386
- By:
- Publication type:
- Article
Editorial – Formal Methods in Computing.
- Published in:
- Computer Journal, 1989, v. 32, n. 5, p. 385
- By:
- Publication type:
- Article