WorldCat Identities

University of Manchester Department of Computer Science

Overview
Works: 557 works in 579 publications in 1 language and 461 library holdings
Genres: Periodicals 
Classifications: QA76.5, 001.6424
Publication Timeline
.
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 27 WorldCat member libraries worldwide

ALGOL bulletin( )

in English and held by 11 WorldCat member libraries worldwide

Action constraint maintenance by Ailing Zhang( Book )

2 editions published in 1994 in English and held by 4 WorldCat member libraries worldwide

Program logics : a short survey by Michael D Fisher( Book )

3 editions published between 1986 and 1987 in English and held by 4 WorldCat member libraries worldwide

Towards a strictness analyser for Haskell : putting theory into practice by Julian Seward( Book )

2 editions published in 1991 in English and held by 3 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
Declarative integration of object-oriented programming and knowledge representation by Steven K Wallis( Book )

1 edition published in 1991 in English and held by 3 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."
Or-parallel execution models of Prolog by David H. D Warren( Book )

2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide

Constraint logic planning by Ailing Zhang( Book )

2 editions published in 1994 in English and held by 2 WorldCat member libraries worldwide

Secondary cache data prefetching for multiprocessors by Ando Ki( Book )

2 editions published in 1997 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

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

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."
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

The analysis is extended to the case when many loops are to be partitioned where it is shown that a transformation may be constructed which simultaneously balances all appropriate loops. Finally it is shown that if a loop is perfectly load balanced, then there exists a transformation such that it may be placed outermost so as to aid partitioning."
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
Load balancing, locality and parallelism control in fine-grain parallel machines by J Sargeant( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

An approach to general silicon compilation by M. A Spink( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

Decidability in temporal Presburger arithmetic by Wolodymyr Hussak( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

A highly restricted temporal logic with a tractable decision procedure by Ian Edwin Pratt( )

1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide

A formal description of the ISPW-6 software process example by Jin Sa( Book )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

Abstract: "Recently, software process modelling has attracted an increasing research interest. For the purpose of comparing and contrasting different approaches to software process modelling, a common problem, referred to as the ISPW-6 software process example, was defined. Many solutions to this example have been provided by different people using different approaches. In this report, a solution to the ISPW-6 software process example by an approach, called BM, is presented. The suitability of BM for software process modelling is assessed against the criteria proposed at the sixth International Software Process Workshop."
An introducttion to categorial grammars by Mary McGee Wood( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.51 for ALGOL bull ... to 0.87 for A highly r ...)

Alternative Names

controlled identityUniversity of Manchester

University of Manchester. Dept. of Computer Science

Languages
English (29)