Siau-Cheng Khoo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated mutual explicit induction proof in separation logic (available as arXiv preprint)	2020-01-03	Paper
Automated mutual induction proof in separation logic Formal Aspects of Computing	2019-05-10	Paper
Charting patterns on price history Proceedings of the sixth ACM SIGPLAN international conference on Functional programming	2015-03-09	Paper
Side-effect localization for lazy, purely functional languages via aspects Higher-Order and Symbolic Computation	2013-01-08	Paper
Type-directed weaving of aspects for polymorphically typed functional languages Science of Computer Programming	2010-08-26	Paper
Affine-based size-change termination. Lecture Notes in Computer Science	2010-01-05	Paper
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages Static Analysis	2009-03-03	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2006-10-20	Paper
scientific article; zbMATH DE number 5033861 (Why is no real title available?)	2006-06-19	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
Program adaptation via output-constraint specialization Higher-Order and Symbolic Computation	2005-03-15	Paper
Calculating sized types Higher-Order and Symbolic Computation	2002-10-10	Paper
scientific article; zbMATH DE number 1738288 (Why is no real title available?)	2002-05-06	Paper
scientific article; zbMATH DE number 1617318 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1332628 (Why is no real title available?)	1999-09-08	Paper
On-line and off-line partial evaluation: semantic specifications and correctness proofs Journal of Functional Programming	1996-09-12	Paper
Semantics-directed generation of a Prolog compiler Science of Computer Programming	1994-02-17	Paper

Research outcomes over time

This page was built for person: Siau-Cheng Khoo