Person:238509

Available identifiers

zbMath Open khoo.siau-chengMaRDI QIDQ238509

List of research outcomes

Publication	Date of Publication	Type
Automated mutual explicit induction proof in separation logic	2020-01-03	Paper
Automated mutual induction proof in separation logic	2019-05-10	Paper
Charting patterns on price history	2015-03-09	Paper
Side-effect localization for lazy, purely functional languages via aspects	2013-01-08	Paper
Type-directed weaving of aspects for polymorphically typed functional languages	2010-08-26	Paper
Programming Languages and Systems	2010-01-05	Paper
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages	2009-03-03	Paper
Programming Languages and Systems	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5472907	2006-06-19	Paper
Programming Languages and Systems	2005-08-17	Paper
Program adaptation via output-constraint specialization	2005-03-15	Paper
Calculating sized types	2002-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4529770	2002-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q2722049	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4259949	1999-09-08	Paper
On-line and off-line partial evaluation: semantic specifications and correctness proofs	1996-09-12	Paper
Semantics-directed generation of a Prolog compiler	1994-02-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Siau-Cheng Khoo