🚀 go-pugleaf

Recent Technical Reports
from Monash University   16 October 1987

order from:
   Dept. Computer Science (technical reports),
   Monash University
   Clayton
   Victoria
   Australia 3168

UUCP: seismo!munnari!moncsbruce.oz!lloyd
ARPA: lloyd%moncsbruce.oz@seismo.css.gov

A limited number are available free on a first-come, first-served basis.
Please indicate that the order originated from the e-news.

%A Chris Stuart
%T Regular Expressions as Temporal Logic
%R TR 64
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 28
%M JAN
%D 1986

%A Mohinder S. Madan
%T MONET Performance Monitor Design and Development
%R TR 65
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 19
%M FEB
%D 1986

%A Bala Srinivasan
%T Self-Organising Data Structure for Non-Uniform Access Patterns
%R TR 66
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 17
%M FEB
%D 1986

%A John Rosenberg
%A Bala Srinivasan
%T Self Assessment Procedure on Operating Systems
%R TR 67
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 12
%M FEB
%D 1986

%A Chin K. Siew
%A Mohinder S. Madan
%T MONET Performance Monitor User's Guide
%R TR 68
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 37
%M FEB
%D 1986

%A Pierre C.A. Lim
%T E - a Small CSP like Language implemented under UNIX
%R TR 69
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 22
%M FEB
%D 1986

%A K. J. McDonell
%T Syllabi of Courses
%M Nov
%D 1985
%P 29
%I DCS, Monash UNIV
%C Melbourne, Australia
%R TR 70

%A J.Harland
%A J. Jaffar
%T On Parallel Unification for Prolog
%R TR 71
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 22
%M APR
%D 1986

%A C.K. Siew
%A M.S. Madan
%T MONET Performance Monitor Programmer's Manual
%R TR 72
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 12
%M MAY
%D 1986

%A N. Heintz
%A J. Jaffar
%A C.S. Lim
%A S. Michaylov
%A P. Stuckey
%A R. Yap
%A C.N. Yee
%T The CLP Programmer's Manual
%R TR 73
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 57
%M JUN
%D 1986
%K CLP Constraint Logic Programming TR73

%A J. Jaffar
%A J-L. Lassez 
%T Constraint Logic Programming
%R TR 74
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 39
%M JUN
%D 1986
%K CLP TR74

%A J. Jaffar
%A S. Michaylov
%T Methodology and Implementation of a Constraint Logic Programming System
%R TR 75
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 40
%M JUN
%D 1986
%K CLP TR75

%A Sajeev
%A J. Olszewski
%T Manipulation of Data Structures without Pointers
%R TR 76
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 15
%M Sep
%D 1986

%A S.B. Legg
%A K.J. McDonell
%T Translating Update Requests on User Views
%R TR 77
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 15
%M NOV
%D 1986
%K Database view

%A S.B Legg
%T Translating Update Requests on User Views Involving Projection
%R TR 78
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 23
%M NOV
%D 1986
%K Database view

%A Ka Keung Chan
%A B. Srinivasan
%T An Implementation Model for Integrity Enforcement
%R TR 79
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 21
%M DEC
%D 1986
%K Database integrity constraint

%A Mark Blakey
%T Partially Informed Distributed Databases:  Conceptual Framework And
   Knowledge Model
%R TR 80
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 35
%M DEC
%D 1986

%A Ken J. McDonell
%T An Overview of the Relational Test Bed (RTB)
%R TR 81
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 9
%M DEC
%D 1986
%K data base  database  relational relation TR81

%A J. Gibert
%T Unifying Logic Programming
%R TR 82
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 17
%M Jan
%D 1987
%K logic program prolog

%A K. Chan
%A K. J. McDonell
%A B. Srinivasan
%T Performance Amelioration of Integrity Enforcement Through
   Preprocessing
%R TR 83
%I DCS, Monash UNIV
%P 21
%M Feb
%D 1987

%A N. Heintze
%A S. Michaylov
%A P. Stuckey
%T CLP(R) and some Electrical Engineering Problems
%R TR 84
%I DCS, Monash UNIV
%C Melbourne, Australia
%M Mar
%D 1987
%K CLP application inequality unequation logic program

%T not published
%R TR 85

%A M. J. Goodwin
%T Prototype Directory System User Agent - User's Guide
%R TR 86
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 12
%M Jun
%D 1987

%A A. Maeder
%A B. Pham
%T Overview of Techniques for Image Sequence Processing
   and Change Analysis
%R TR 87
%I DCS, Monash UNIV
%C Melbourne, Australia
%M May
%D 1987

%A P. Lim
%T Generating Code Using a Machine Description with Constraints
%R TR 87/88
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 38
%M JUN
%D 1987

%A J. Olszeweski
%T Capability Oriented Aliasing Language
%R TR 87/89
%I DCS, Monash UNIV
%C Melbourne, Australia
%P 31
%M Jun
%D 1987
%K Capability alias programming language Coala

%A L. Allison
%T Exceptions: a Mathematical Semantics for Handling Full Jumps
%R TR 87/90
%P 6
%M Mar
%D 1987
%I DCS, Monash UNIV
%C Melbourne, Australia
%K denotational semantics  exceptions  jump sequencer

%A L. Allison
%T Two Functional Programming Techniques: Continuations, Circular Programs
%R TR 87/91
%P 11
%D 1987
%M Jan
%D 1987
%I DCS, Monash UNIV
%C Melbourne, Australia
%K functional applicative programming technique  continuation
   tail function  circular program  Bird

%A J. Harland
%A S. Michaylov
%T Implementing an ODE solver: a Constraint Logic Programming approach
%R TR 87/92
%M Jun
%D 1987
%I DCS, Monash UNIV
%C Melbourne, Australia
%K ODE Differential CLP Prolog Logic programming

%A J. N. Crossley
%A A. S. Henry
%T Thus spake Al-Khwarizimi: introduction to and translation of
   Cambridge  Ms.Ii.vi.5
%M Oct
%D 1987
%R TR 87/93
%I DCS, Monash UNIV
%C Melbourne, Australia


The End