СТ |
Towards an Introductory Formal Programming Course |
1994 |
Lau K. -K., Bush V. J., Jinks P. J. |
|
|
|
SIGCSE Bull. |
31.05.1994 |
СТ |
Synthesis of a Family of Recursive Sorting Procedures |
1991 |
Lau K. -K., Prestwich S. D. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
04.01.1995 |
СТ |
On Specification Frameworks and Deductive Synthesis of Logic Programs |
1994 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
СТ |
A Tutorial on Synthesis of Logic Programs from Specifications |
1994 |
Lau K. -K., Wiggins G. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
СТ |
The Halting Problem for Deductive Synthesis of Logic Programs |
1994 |
Lau K. -K., Ornaghi M., Tarnlund S. -A. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
СТ |
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs |
1996 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |
СТ |
A Formal Approach to Deductive Synthesis of Constraint Logic Programs |
1995 |
Lau K. -K., Ornaghi M. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
СТ |
Correctness of Logic Program Transformations Based on Existential Termination |
1995 |
Lau K. -K., Ornaghi M., Pettorossi A., Proietti M. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
СТ |
Forms of Logic Specifications: A Preliminary Study |
1997 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
СТ |
On Correct Program Schemas |
1998 |
Flener P., Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
СТ |
OOD Frameworks in Component-Based Software - Development in Computational Logic |
1999 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
16.04.1999 |
СТ |
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic |
2000 |
Filipe J. K., Lau K. -K., Ornaghi M., Yatsu H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
СТ |
Logic for Component-Based Software Development |
2002 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
29.08.2002 |
СТ |
Specifying Compositional Units for Correct Program Development in Computational Logic |
2004 |
Lau K. -K., Ornanghi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
СТ |
Correct OO Systems in Computational Logic |
2004 |
Lau K. -K., Ornaghi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |