Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/2027
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSnowdon, Robert Archer-
dc.date.accessioned2014-02-14T09:23:27Z-
dc.date.available2014-02-14T09:23:27Z-
dc.date.issued1974-
dc.identifier.urihttp://hdl.handle.net/10443/2027-
dc.descriptionPhD Thesisen_US
dc.description.abstractAn experimental system providing assistance in the task of program construction, validation and description is presented. This system (Pearl) encourages a particular top-down approach to programming such that programs so developed exhibit a multi-level, hierarchical structure. Amongst several tools provided by the system is one ·"hich enables programs to be exercised even though they may be eXercised in terms of abstract operations and data types. The whole system is designed to be used in an interactive environment. Programs are developed by the programmer with appropriate assistance and guidance from the computer. Contemporary programming tools and methods are surveyed and their relevance to the development of high quality software is discussed. In particular attention is given to programming methodologies,design representations and issues of program correctness. The practicality of the system is demonstrated i!l a mmber of examples.en_US
dc.description.sponsorshipScience Research Council:en_US
dc.language.isoenen_US
dc.publisherNewcastle Universityen_US
dc.titleInteractive use of a computer in the preparation of structured progamsen_US
dc.typeThesisen_US
Appears in Collections:School of Computing Science

Files in This Item:
File Description SizeFormat 
Snowdon, R.A. 1974.pdfThesis7.03 MBAdobe PDFView/Open
dspacelicence.pdfLicence43.82 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.