Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a Formal Specification of Floating Point.. Comput. J., 32 (5): 432-436 (1989)A Note on the Use of Floating Point in Critical Systems.. Comput. J., 35 (1): 41-44 (1992)Good programming practice in Ada: Luker, P A Blackwell Scientific, Oxford, UK (1987) £14.95 (soft cover), pp 320.. Microprocess. Microsystems, 12 (7): 413 (1988)Contribution of standard programming languages to software quality.. Softw. Eng. J., 9 (1): 3-12 (1994)Conformity Clause for VDM-SL., and . FME, volume 670 of Lecture Notes in Computer Science, page 501-520. Springer, (1993)The Definition of Comments in Programming Languages., and . Softw. Pract. Exp., 4 (2): 181-188 (1974)Requirements Analysis for Ada Compilers., and . Commun. ACM, 27 (1): 37-41 (1984)Modules and Visibility in the Ada Programming Language., , , , , and . On the Construction of Programs, (1980)The Efficiency of Pascal.. Pascal - The Language and its Implementation, page 49-55. John Wiley, (1981)A modular operating system.. IFIP Congress (1), page 548-556. (1968)