Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 12.

2007

Luo, Yong and Chitil, Olaf (2007) Proving the correctness of algorithmic debugging for functional programs. In: Seventh Symposium on Trends in Functional Programming, TFP 2006, 19 - 21 April, 2006, Nottingham, UK. (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging for Locally Defined Functions. Technical report. University of Kent, Canterbury, Canterbury (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging with Cyclic Traces of Lazy Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic debugging and trusted functions. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Replacing unevaluated parts in the traces of functional programs. Technical report. University of Kent, Canterbury, Kent, Canterbury, Kent (Full text available)
[img]
Preview

Chitil, Olaf and Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. In: Mackie, Ian, ed. Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. ENTCS, 176. Elsevier pp. 39-63. (doi:https://doi.org/10.1016/j.entcs.2006.10.032) (Full text available)
[img]
Preview

2006

Luo, Yong and Chitil, Olaf (2006) Replacing Unevaluated Parts in the Traces of Functional Programs. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. Eotvos Lorand University, Budapest, Hungary pp. 304-325. ISBN 963-463-876-7. (Full text available)
[img]
Preview

Chitil, Olaf and Luo, Yong (2006) Towards a Theory of Tracing for Functional Programs based on Graph Rewriting. In: Mackie, Ian, ed. Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. Termgraph (Full text available)
[img]
Preview

Chitil, Olaf and Luo, Yong (2006) Proving the Correctness of Algorithmic Debugging for Functional Programs. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. (Full text available)
[img]
Preview

2005

Luo, Yong (2005) New eta-reduction and Church-Rosser. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

Luo, Yong (2005) A Type Theory with Partially Defined Functions. Technical report. UKC, University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

Luo, Yong (2005) Yet Another Normalisation Proof for Martin-Lof's Logical Framework - Terms with correct arities are strongly normalising. Technical report. , University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

This list was generated on Sun May 19 21:51:56 2019 BST.