UMCS Technical Reports 1987
- UMCS-87-12-9
- Teaching Notes
for Systematic Software Development Using VDM.
Cliff B. Jones.
- UMCS-87-12-8
- An Experimental
User Interface for a Theorem Proving Assistant.
Cliff B. Jones and R. Moore.
- UMCS-87-12-7
- Logical Frames
for Interactive Theorem Proving.
Peter A. Lindsay.
- UMCS-87-12-6
- Symbolic
Execution of Specifications: User Interface and
Scenarios.
Ralf Kneuper.
- UMCS-87-12-5
- A semantics
driven temporal verification system.
Graham Gough and Howard Barringer.
- UMCS-87-12-4
- Temporal Logics
for Abstract Semantics.
Michael D. Fisher. PhD thesis.
- UMCS-87-12-3
- Monitoring
Tools for Parallel Systems.
Heidi W.H. Tang. MSc thesis.
- UMCS-87-12-2
- Performance
Evaluation of a Heterogeneous Multi-Ring Dataflow
Machine.
Y.M. Teo. MSc thesis.
- UMCS-87-11-4
- Decidability in
Temporal Presburger Arithmetic.
Wolodymyr Hussak . MSc thesis.
- UMCS-87-11-3
- An Approach to
General Silicon Compilation.
Martyn A. Spink. PhD thesis.
- UMCS-87-11-2
- Manchester
Dataflow Machine: Preliminary Benchmark Test
Evaluation.
John Foley.
- UMCS-87-11-1
- Formal
Specification and Verification of Hardware: A Comparative Case
Study.
Victoria Stavridou, Howard Barringer and Doug Edwards.
- UMCS-87-8-2
- Review of
Existing Theorem Provers.
Peter A. Lindsay, Richard C. Moore and Brian Ritchie.
- UMCS-87-8-1
- Throttle
Mechanisms for the Manchester Dataflow Machine.
Carlos. A. Ruggiero. PhD thesis.
- UMCS-87-6-1
- Specification
and Control of Execution of Nondeterministic Dataflow
Programs.
Pedro M. C. C. Barahona. PhD thesis.
- UMCS-87-5-3
- Behavioural
Implementation Concepts for Nondeterministic Data
Types.
Tobias Nipkow. PhD thesis.
- UMCS-87-5-2
- How to Choose
the Weights in the Knuth Bendix Ordering.
Ursula Martin.
- UMCS-87-5-1
- Some Aspects of
Induction.
William P. R. Mitchell.
- UMCS-87-4-1
- Centrenet
Terminal Multiplexer.
Evan J. D. Price and Trevor P. Hopkins.
- UMCS-87-2-2
- A Hardware
Simulator for a Multi-Ring Dataflow Machine.
John F. Foley. PhD thesis.
- UMCS-87-2-1
- The Parallel
Reduction of Lambda Calculus Expression.
Paul Watson. PhD thesis.
- UMCS-87-1-2
- A Formal
Description Method for User Interfaces.
Lynn S. Marshall. PhD thesis.
- UMCS-87-1-1
- An Investigation
of the Argonne Model of Or-Parallel Prolog.
Kish Shen. MSc thesis.