Kung-Kiu Lau

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
Formal reasoning about modules, reuse and their correctness Practical Reasoning	2019-04-29	Paper
Constructive Specifications for Compositional Units Logic Based Program Synthesis and Transformation	2008-04-24	Paper
A Software Component Model and Its Preliminary Formalisation Formal Methods for Components and Objects	2007-09-11	Paper
Logic Based Program Synthesis and Transformation Lecture Notes in Computer Science	2005-12-27	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 2090122 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090544 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1926612 (Why is no real title available?)	2003-06-11	Paper
scientific article; zbMATH DE number 1696798 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1615251 (Why is no real title available?)	2001-07-08	Paper
An abstract formalization of correct schemas for program synthesis Journal of Symbolic Computation	2001-02-06	Paper
Logic program synthesis The Journal of Logic Programming	2000-08-14	Paper
Steadfast logic programs The Journal of Logic Programming	2000-01-04	Paper
The relationship between logic programs and specifications-the subset example revisited The Journal of Logic Programming	1998-03-17	Paper

Research outcomes over time

This page was built for person: Kung-Kiu Lau