WorldCat Identities

University of Manchester Department of Computer Science

Overview
Works: 556 works in 570 publications in 1 language and 447 library holdings
Genres: Periodicals  Conference papers and proceedings 
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 by International Federation for Information Processing( )

in English and held by 11 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 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."
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

To some extent, previous work [Hu90] shows how to handle this. In time, such analysis may be incorporated. In the last three or four years, there have been several claims to the development of fast analysers. Upon examination, these often rely either on using insufficiently detailed abstract domains, or work with some ad-hoc algorithm built on dubious mathematical foundations. This analyser, by contrast, is based solidly on the theoretical work presented in Geoffrey Burn's Ph. D. thesis 'Abstract Interpretation and the Parallel Evaluation of Functional Languages' [Bu87]."
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

Decidability in temporal Presburger arithmetic by Wolodymyr Hussak( Book )

1 edition published in 1987 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

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

The design and analysis of a stateless data-flow architecture by D. F Snelling( Book )

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

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

Simulation : past, present and future : 12th European Simulation Multiconference 1998 : ESM'98 : June 16-19, 1998, Manchester, United Kingdom by European Simulation Multiconference( Book )

1 edition published in 1998 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

Abstract: "This report is concerned with the efficient execution of array computation on Distributed Memory Architectures by applying compiler-directed program and data transformations. By translating a sub- set of a single-assignment language, Sisal, into a linear algebraic framework it is possible to transform a program so as to reduce load imbalance and non-local memory access. A new test is presented which allows the construction of transformations to reduce load imbalance. By a new expression of data alignment, transformations to reduce non-local access are derived. A new pre-fetching procedure, which prevents redundant non-local accesses, is presented and forms the basis of a new data partitioning methodology
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
Domain constraint maintenance by Ailing Zhang( Book )

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

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

1 edition published in 1987 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

Constraint logic planning by Ailing Zhang( Book )

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

An introduction to the compiler compiler by R. B. E Napper( Book )

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

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."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.50 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 (25)