WorldCat Identities

University of Manchester Department of Computer Science

Overview
Works: 559 works in 573 publications in 1 language and 624 library holdings
Genres: Periodicals 
Classifications: QA76.5, 001.6424
Publication Timeline
Key
Publications about University of Manchester Publications about University of Manchester
Publications by University of Manchester Publications by University of Manchester
Most widely held works by University of Manchester
Programming in Fortran : a course of ten television lectures by J. S Rohl ( Book )
1 edition published in 1973 in English and held by 29 WorldCat member libraries worldwide
ALGOL bulletin by International Federation for Information Processing ( )
in English and held by 11 WorldCat member libraries worldwide
Towards a strictness analyser for Haskell : putting theory into practice by Julian Richard Seward ( Book )
2 editions published in 1991 in English and held by 4 WorldCat member libraries worldwide
Abstract: "This thesis examines the design and implementation of a strictness analyser for a small functional programming language. I look at implementation issues neglected by theoreticians and show how a practical analyser can be implemented and incorporated within the larger structure of a compiler. Previously published implementations have handled non-flat domains and polymorphism badly. This thesis presents some new insights which largely overcome both problems, and which lead to a surprisingly fast implementation. Three key elements of this implementation are the Frontiers representation, Abstraction and concretisation maps, and appropriate representation of abstract domains. This thesis discusses their rò‚les. The main deficiency of the current analyser is a lack of higher order analysis
Implemental approach to LR(1) parsing by Anthony St.Clair-Naylon ( Book )
3 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
Compacting LR(K) parser tables by Jane O Solomon ( Book )
3 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
A highly restricted temporal logic with a tractable decision procedure by Ian Edwin Pratt ( )
2 editions published between 1994 and 1995 in English and held by 3 WorldCat member libraries worldwide
The applicability of SKI(BC) combinators in a parallel rewrite rule environment by A. B Cheese ( Book )
3 editions published in 1985 in English and held by 3 WorldCat member libraries worldwide
Constraint logic planning by Ailing Zhang ( Book )
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
Heuristic reasoning for an automatic common sense understanding of logic electronic design specifications by Salvador Mir ( Book )
2 editions published between 1993 and 1994 in English and held by 2 WorldCat member libraries worldwide
Efficient radiosity simulation using perceptual metrics and parallel processing by Simon Gibson ( Book )
2 editions published between 1998 and 1999 in English and held by 2 WorldCat member libraries worldwide
Declarative integration of object-oriented programming and knowledge representation by Steven K Wallis ( Book )
1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide
An item of declarative object-oriented knowledge is both an item of knowledge and a piece of object-oriented code, and is completely declarative. This integration facilitates the execution of knowledge and reasoning about programs. ROOK supports four knowledge representation paradigms (logic, rules, semantic networks and frames), plus other programming paradigms such as functional programming and constraints."
Program and data transformations for efficient execution on distributed memory architectures by Michael F. P O'Boyle ( Book )
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
By applying these transformations in a straightforward manner to some well known scientific programs, it is shown that this approach is competitive with hand-crafted methods."
Domain constraint maintenance by Ailing Zhang ( Book )
1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide
Load balancing, locality and parallelism control in fine-grain parallel machines by John Sargeant ( Book )
1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide
Cut-free sequent and tableau systems for propositional Diodorean modal logics by Rajeev Goré ( Book )
1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide
Abstract: "We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logics S4.3, S4.3.1 and S4.14. When the modality [square] is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points. Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulae X the 'superformulae' involved are always bounded by a finite set of formulae X*[subscript L] depending only on X and the logic L. Thus each system gives a nondeterministic decision procedure for the logic in question
A reified temporal logic for nonlinear planning by Ailing Zhang ( Book )
1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide
Thesis, restricted until 31.08.2025 by Ian Andrew Rogers ( Book )
2 editions published between 1999 and 2002 in English and held by 2 WorldCat member libraries worldwide
Action constraint maintenance by Ailing Zhang ( Book )
1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide
Load balancing of parallel affine loops by unimodular transformations by M O'Boyle ( Book )
1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide
Abstract: "This paper is concerned with the automatic mapping of array computation to processors efficiently. One of the major overheads associated with the mapping of computation is load imbalance. An optimising compiler should find a mapping such that this overhead is minimised. This paper describes formally the mapping of loop iterations to processors so as to minimise load imbalance. The class of perfectly load balanced affine loops is defined whereby using unimodular transformations, it is shown that a large class of loops are equivalent. An algorithm is detailed which can determine both whether a loop structure may be load balanced, and the necessary transformations to do so. This algorithm has a worst case complexity of O(m³) where m is the dimensionality of the iteration space
Program logics : a short survey by Michael D Fisher ( Book )
1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.47 for Towards a ... to 0.70 for ALGOL bull ...)
Alternative Names

controlled identity University of Manchester

University of Manchester. Dept. of Computer Science.
Languages
English (32)