WorldCat Identities

University of Manchester Department of Computer Science

Overview
Works: 559 works in 573 publications in 1 language and 626 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 28 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
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]."
Constraint logic planning by Ailing Zhang( Book )
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
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
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
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
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."
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 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
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
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
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."
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
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
Cut-free sequent and tableau systems for propositional Diodorean modal logics by Rajeev Prabhakar 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 John Sargeant( Book )
1 edition published in 1987 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."
Heuristic reasoning for an automatic commonsense 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
 
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.67 for Programmin ...)
Alternative Names

controlled identity University of Manchester

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