leff@smu.CSNET (Laurence Leff) (10/21/87)
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