 | 1996 |
|---|
| 11 |       | Hessam Khoshnevisan,
Mohamad Afshar:
Space-Efficient Memo-Functions.
Journal of Systems and Software 35(1): 29-41 (1996) |
| 1994 |
|---|
| 10 |  | 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 | | Peter G. Harrison,
Hessam Khoshnevisan:
Efficient compilation of linear recursive functions into object level loops.
SIGPLAN Symposium on Compiler Construction 1986: 207-218 |
