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

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: Kung-Kiu Lau