Graham Boddy - Academia.edu (original) (raw)

Graham Boddy

Related Authors

Beat Signer

Julita Vassileva

David Kirsh

David Pierre Leibovitz

Mark Billinghurst

Woontack Woo

Woontack Woo

Korea Advanced Institute of Science and Technology

Giuseppe Primiero

Giuseppe Primiero

Università degli Studi di Milano - State University of Milan (Italy)

Stefano R L Campana

John Sutton

Ibrahim Cahit

Uploads

Papers by Graham Boddy

Research paper thumbnail of The use of VDM within the Alvey Flagship project

Lecture Notes in Computer Science, 1988

Research paper thumbnail of The Use of Functional Programming in the Flagship System Software Kernel

This paper describes how Functional Programming was used in the Flagship System Software Kernel a... more This paper describes how Functional Programming was used in the Flagship System Software Kernel and how Formal Methods were used to design code to run on the parallel Flagship Machine. This method has generated about 20k lines of code and has proved to be very e ective and readily adopted by the team.

Research paper thumbnail of The use of VDM within the Alvey Flagship project

Lecture Notes in Computer Science, 1988

Research paper thumbnail of The Use of Functional Programming in the Flagship System Software Kernel

This paper describes how Functional Programming was used in the Flagship System Software Kernel a... more This paper describes how Functional Programming was used in the Flagship System Software Kernel and how Formal Methods were used to design code to run on the parallel Flagship Machine. This method has generated about 20k lines of code and has proved to be very e ective and readily adopted by the team.

Log In