The input-output behaviour of recursive program schemes with parameters called-by-name is expressed as a non-deterministic choice between calls of recursive program schemes with parameters called-by-value, and can the...
详细信息
This is a continuation of the description of OS6, and it covers the facilities for input/output, and the handling of files on the disc. The input/output system uses a very general form of stream;the filing system is d...
This paper is a description of a simple operating system, which runs in a virtual machine (implemented on a real machine by an interpreter). OS6 copes with only one user at a time, and is not a multi-programming syste...
The Z notation has been developed at the programming Research Group at the Oxford University computinglaboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) deve...
详细信息
ISBN:
(数字)9781447135562
ISBN:
(纸本)9783540198185
The Z notation has been developed at the programming Research Group at the Oxford University computinglaboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through ***.z, the international, computer-based USENET newsgroup.;provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students andalso potential industrial users of Z.
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particul...
详细信息
ISBN:
(数字)9781447134527
ISBN:
(纸本)9783540198840
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method.;provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.
This paper outlines the proposals for alteration to the present proposed Standard and presents an alternative ‘Standard’ together with an example of the application of this Standard to the present British MARC recor...
This paper outlines the proposals for alteration to the present proposed Standard and presents an alternative ‘Standard’ together with an example of the application of this Standard to the present British MARC record structure. The main aims of these alterations are:
作者：
Robson, J.M.Oxford University
Programming Research Group Oxford University Computing Laboratory Oxford United Kingdom
Dynamic storage allocation using fixed blocks is usually inefficient in its use of store. The amount of store needed depends on the allocation strategy used. It is proved that for any strategy the amount of store need...
详细信息
This article presents a dual dependency between AI and programming methodologies AI is an important source of ideas and tools for building sophisticated support facilities which make possible certain programming metho...
This article presents a dual dependency between AI and programming methodologies AI is an important source of ideas and tools for building sophisticated support facilities which make possible certain programming methodologies These advanced programming methodologies in turn can have profound effects upon the methodology of AI research Both of these dependencies are illustrated by the example of a new experimental programming methodology which is based upon partial evaluation Partial evaluation is based upon current AI ideas about reasoning, representation, and control The manner in which AI systems are designed, developed and tested can be significantly improved in the programming is supported by a sufficiently powerful partial evaluator In particular, the process of building levels of interpreters and of intertwining generate and test can be partially automated Finally, speculations about a more direct connection between AI and partial evaluation are presented.
暂无评论