1996 |
11 | | Hessam Khoshnevisan,
Mohamad Afshar:
Space-Efficient Memo-Functions.
Journal of Systems and Software 35(1): 29-41 (1996) |
1994 |
10 | EE | Hessam Khoshnevisan,
Mohamad Afshar:
Mechanical parallelisation of database applications.
SAC 1994: 436-440 |
9 | | Hessam Khoshnevisan,
Mohamad Afshar:
Mechanical Elimination of Commutative Redundancy.
SAS 1994: 449-463 |
1992 |
8 | | Peter G. Harrison,
Hessam Khoshnevisan:
On the Synthesis of Function Inverses.
Acta Inf. 29(3): 211-239 (1992) |
7 | | Peter G. Harrison,
Hessam Khoshnevisan:
The Mechanical Transformation of Data Types.
Comput. J. 35(2): 138-147 (1992) |
6 | | Peter G. Harrison,
Hessam Khoshnevisan:
A New Approach to Recursion Removal.
Theor. Comput. Sci. 93(1): 91-113 (1992) |
1990 |
5 | | Hessam Khoshnevisan:
Efficient Memo-Table Management Strategies.
Acta Inf. 28(1): 43-81 (1990) |
1989 |
4 | | John Darlington,
Peter G. Harrison,
Hessam Khoshnevisan,
Lee McLoughlin,
Nigel Perry,
Helen Pull,
Mike Reeve,
Keith Sephton,
R. Lyndon While,
Sue Wright:
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.
PARLE (1) 1989: 286-305 |
3 | | Hessam Khoshnevisan,
K. M. Sephton:
InvX: An Automatic Function Inverter.
RTA 1989: 564-568 |
1988 |
2 | | Peter G. Harrison,
Hessam Khoshnevisan:
Algebraic Transformation Techniques for Functional Languages.
Comput. J. 31(3): 229-242 (1988) |
1986 |
1 | EE | Peter G. Harrison,
Hessam Khoshnevisan:
Efficient compilation of linear recursive functions into object level loops.
SIGPLAN Symposium on Compiler Construction 1986: 207-218 |