A proof checker

A proof checker

Bibliographic Details
Main Author:	Charles, W. C.
Published:	University of Manchester 1982
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.347043

Similar Items

Static timing analysis and program proof
by: Chapman, Roderick
Published: (1995)

Proof methods and pragmatics for parallel programming
by: Tofts, Chris
Published: (1990)

Operation decomposition proof obligations for blocks and procedures
by: Ah-Kee, Jean Alain
Published: (1989)

A database programming language : definition, implementation and correctness proofs
by: Welsh, A.
Published: (1984)

A study of spatial data models and their application to selecting information from pictorial databases
by: Charles, Stephen
Published: (1991)

The design, development and application of a combined connectionist expert system and 'Pocket' Boltzmann machine approach to the dynamic customer assignment and vehicle routing problem
by: Gavigan, Kevin Charles
Published: (1994)

More adaptable code generation
by: Forsyth, Charles Harkness
Published: (1990)

Implementation techniques for object-oriented systems
by: Atkins, Martin Charles
Published: (1989)

Judgement day : terminating logic programs
by: Martin, Jonathan Charles
Published: (2000)

Weak sharp minima and penalty functions in mathematical programming
by: Ferris, Michael Charles
Published: (1988)

Computer architectures for functional and logic languages
by: Millichamp, Roger Charles
Published: (1983)

Symbol processing in RAAM neural networks
by: Day, Charles Robert
Published: (1996)

Debugging concurrent and distributed programs
by: Cooper, Robert Charles Beaumont
Published: (1987)

The application of distributed and mobile computing techniques to advanced simulation and virtual reality systems
by: Darling, James Campbell Charles
Published: (1998)

A study of the design and development considerations of a computerised information management system for international relations
by: French, J. W.
Published: (1994)

MIMESIS- a continuous system simulation language
by: Ricketts, I. W.
Published: (1977)

Compilation techniques : An investigation into throw-away compilers
by: Peacock, S. W.
Published: (1984)

A system for learning pronunciation rules
by: Cawthorpe, R. C.
Published: (1981)

Supporting a multi-method software development paradigm
by: Cranfield, E. C.
Published: (1988)

A database for chemical process design applications
by: Daniel, C. J. M.
Published: (1982)

Developing methods for computer programs including a notion of interference
by: Jones, C. B.
Published: (1981)

The use of logic in the provision of knowledge base systems
by: Foley, Richard W.
Published: (1994)

Parallel processing and automatic postal address recognition
by: Tregidgo, R. W. S.
Published: (1992)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

The implementation of functional languages using custom hardware
by: Stoye, W. R.
Published: (1985)

The generation and management of software
by: Baker, M. W.
Published: (1980)

The integration of tools in software engineering environments
by: Thearle, R. W.
Published: (1992)

Small scale software engineering
by: Witty, Robert W.
Published: (1981)

An object-oriented design environment for software reuse and adaptability
by: Potts, I. W.
Published: (1990)

Support system for concurrent tasks in a multiple processor/local network environment
by: Shoja, G. C.
Published: (1981)

A generic model for representing software development methods
by: Wong, Alan C. Y.
Published: (1996)

Communications software for use with an X-25 base local area data network
by: Al-Jaff, A. W. M.
Published: (1982)

Computer architecture description and algorithms
by: Al-Hamdani, W. A. K.
Published: (1984)

Applied probability models for the performance evaluation of disk file processing
by: Leung, C. H. C.
Published: (1980)

Implementation and programming techniques for functional languages
by: Wray, S. C.
Published: (1986)

Applicative languages for data processing
by: Kalus, C.
Published: (1980)

Software methodology in local area networks
by: Pattinson, C.
Published: (1986)

Serial processing of binary data using mode-controlled logic systems
by: Daws, D. C.
Published: (1982)

Improved turbo codes for data transmission
by: Tanriover, Cagri C.
Published: (2002)

Towards the automated production of diagnostic software for SPC switching systems
by: Shashidhar, C. R.
Published: (1985)