Harrison, P. G. and Khoshnevisan, H. (1992). The Mechanical Transformation Of Data Types. The Computer Journal , 35(2). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Investigation of Algebraic Query Optimisation for Database .. - Poulovassilis, Small (1994) (2 citations) (Correct)
....consider how use may be made of information about the inverse relationship between pairs of functions. Such information may be readily available in languages which use a functional or objectoriented data model, and may also be available from other sources e.g. via proofs supplied by the programmer [Har92]. In the case of extensional functions, inverses typically correspond to fast access paths provided by indexes. An implicit assumption for the equivalences we give below is that the functions and their inverses are strict, which is necessary in order for the equivalences to hold. Given two ....
Harrison, P. and Khoshafian, S. The mechanical transformation of data types, The Computer Journal, 35(2), 1992.
A Toolkit for Parallel Functional Programming - Hartel, Hofman, Langendoen.. (1995) (3 citations) (Correct)
....for the parallel ALICE and FLAGSHIP parallel architectures is supported using skeletons with program transformations. Imperial College provides more skeletons, and also more general skeletons than we do. Their program transformation tools must therefore be more powerful in order to be effective [25, 26]. At the same time more user guidance is required during the program transformation process, which is a disadvantage. Unlike Imperial College, we do not rely on the programmer to build a performance model of the application. The creation of a performance model is easy enough when the application ....
P. G. Harrison and H. Khoshnevisan. The mechanical transformation of data types. The computer journal, 35(2):138--147, Apr 1992.
Building Parallel Applications Without Programming - Darlington, To (1993) (9 citations) (Correct)
No context found.
Harrison, P. G. and Khoshnevisan, H. (1992). The Mechanical Transformation Of Data Types. The Computer Journal , 35(2).
Algebraic Query Optimisation for Database Programming Languages - Poulovassilis, Small (1996) (3 citations) (Correct)
No context found.
Harrison, P. and Khoshnevisan, H. The mechanical transformation of data types, The Computer Journal, 35(2), 1992, pp 138-147.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC