Kung-Kiu Lau

Available identifiers

zbMath Open lau.kung-kiuMaRDI QIDQ1583856

List of research outcomes

Publication	Date of Publication	Type
Formal reasoning about modules, reuse and their correctness	2019-04-29	Paper
Constructive Specifications for Compositional Units	2008-04-24	Paper
A Software Component Model and Its Preliminary Formalisation	2007-09-11	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Program Development in Computational Logic	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4808814	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4812978	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4707744	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q2767056	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2723915	2001-07-08	Paper
An abstract formalization of correct schemas for program synthesis	2001-02-06	Paper
Logic program synthesis	2000-08-14	Paper
Steadfast logic programs	2000-01-04	Paper
The relationship between logic programs and specifications-the subset example revisited	1998-03-17	Paper

Research outcomes over time

This page was built for person: Kung-Kiu Lau