RAL Reports -- Overview
This section contains a set of RAL Reports relevant to the work of the Informatics Department:
- RAL-84-068 Formal Specification and Graphics Software Duce, Fielding, Marshall, 1984
- RAL-84-128 Better understanding through Formal Specification Duce, Fielding, 1984
- RAL-85-051 Formal Specification - A comparison of Two Techniques Duce, Fielding, 1985
- RAL-86-010 ERIL - Equational Reasoning: An Interactive Laboratory Dick, 1986
- RAL-87-024 A Kernel for a Generator of syntax Driven Editors for Dimensional Designs Bertran-Salvans, 1987
- RAL-88-043 Automated Equational Reasoning and the Knuth-Bendix Algorithm: An information introduction Dick, 1988
- RAL-89-082 SML-Yacc: A Parser-Gernerator System in Standard-ML. A User Guide Matthews, Robinson, 1989
- RAL-89-097 Second Generation Computer Graphics Standards Brodlie, Hopgood, Duce, 1989
- RAL-90-067 The Incremental Development of an Algorithm for Matching with Higher Order Variables Bicarregui, Matthews, 1990
- RAL-91-065 A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model Duce, Paterno, 1991
- RAL-92-010 Reasoning about VDM Developments using the VDM Support Tool in Mural Bicarregui, Ritchie, 1992
- RAL-92-062 Process Algebra in the specification of Graphics Standards Reade, 1992
- RAL-92-071 SGML in practice: The PHIGS Slide Set Thomas, 1992
- RAL-93-026 MERILL: An Equational Reasoning System in Standard ML - A User Guide Matthews, 1993
- RAL-93-029 SGML Tables for the PHIGS Slide Set Thomas, 1993
- RAL-93-099 A Model-Oriented Analysis of a Communications Protocol Bicarregui, 1993
- RAL-93-100 Invariants, Frames and Postconditions: A comparison of two Formal Specification Notations Bicarregui, Ritchie, 1993