K.-K. Lau and R. Banach, editors.
Lecture Notes in Computer Science 3785, Springer-Verlag, 2005.
Proceedings of the Seventh International Conference on Formal Engineering Methods.
ISBN 3-540-29797-9.
|
Publications by Kung-Kiu Lau
|
|
Formal Methods and Software Engineering
K.-K. Lau and R. Banach, editors. Lecture Notes in Computer Science 3785, Springer-Verlag, 2005. Proceedings of the Seventh International Conference on Formal Engineering Methods. ISBN 3-540-29797-9. |
|
Program Development in Computational Logic: A Decade of Research
Advances in Logic-based Program Development
M. Bruynooghe and K.-K. Lau, editors. Lecture Notes in Computer Science 3049, Springer-Verlag, 2004. ISBN 3-540-22152-2. |
|
Component-based Software Development: Case
Studies K.-K. Lau, editor. World Scientific, 2004. Vol. 1, Series on Component-Based Software Development. ISBN 981-238-828-1. |
|
Logic-based Program Synthesis and Transformation K.-K. Lau, editor. Lecture Notes in Computer Science 2042, Springer-Verlag, 2001. Proceedings of the Tenth International Workshop on Logic-based Program Synthesis and Transformation. ISBN 3-540-42127-0. |
|
Computational Logic -
CL 2000
J.W. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L.M. Pereira, Y. Sagiv, P. Stuckey, editors. Lecture Notes in Artificial Intelligence 1861, Springer-Verlag, 2000. Proceedings of the First International Conference on Computational Logic. ISBN 3-540-67797-6. |
Theory and Practice of Logic Programming,
Volume 2, Parts 4
and 5, July and September 2002. Special issue on
Program Development.
M. Bruynooghe and K.-K. Lau, guest editors.
Journal of Symbolic Computation,
Volume 30, Number 1, July 2000. Special issue on Schemas.
P. Flener, K.-K. Lau and W. Bibel, guest editors.
Characterising Object-based Frameworks in First-order Predicate Logic.
S.M. Ho and K.-K. Lau. In Z. Liu and J. He, editors,
Mathematical Frameworks for Component Software,
Chapter 8,
pages 221-254,
World Scientific, 2006.
Vol. 2, Series on Component-based Software Development.
[Abstract] [Paper]
[BibTeX]
Specifying Compositional Units for Correct Program
Development in Computational Logic.
K.-K. Lau and M. Ornaghi. In
M. Bruynooghe and K.-K. Lau, editors, Program Development in
Computational Logic, Lecture Notes in Computer Science 3049:1-29,
Springer-Verlag, 2004.
[Abstract] [Paper]
[BibTeX]
Specification of Software Components.
F. Lüders, K.-K. Lau, and S.M. Ho. In I. Crnkovic and
M. Larsson, editors, Building Reliable Component-based Software Systems,
Chapter 2, pages 23-38, Artech House, 2002.
[Paper]
[BibTeX]
Logic for Component-based Software Development.
K.-K. Lau and M. Ornaghi. In A. Kakas and F. Sadri, editors,
Computational Logic: Logic Programming and Beyond,
Lecture Notes in Artificial Intelligence 2407, pages 347-373,
Springer-Verlag, 2002.
[Abstract] [Paper]
[BibTeX]
Composite Web Services.
K.-K. Lau and C.M. Tran. In C. Pautasso and
T. Gschwind, editors, Proceedings of the Second Workshop on Emerging Web
Services Technology,
pages 71-86, ACM, 2007.
[Abstract][Paper]
[BibTeX]
Verified Component-based Software in SPARK: Experimental
Results for a Missile Guidance System.
K.-K. Lau and Z. Wang. In Proceedings of 2007 ACM SIGAda Annual
International Conference,
pages 51-57, ACM, 2007.
Winner of the Outstanding Student Paper award.
[Abstract][Paper]
[BibTeX]
Composite Connectors for Composing Software Components.
K.-K. Lau, L. Ling, P. Velasco Elizondo and V. Ukis.
In M. Lumpe and W. Vanderperren, editors, Proceedings of the
Sixth International Symposium on Software
Composition, Lecture Notes in Computer Science 4829:266-280,
Springer-Verlag, 2007.
[Abstract][Paper]
[BibTeX]
Software Component Models.
K.-K. Lau and Z. Wang. IEEE Transactions on Software Engineering
33(10):709-724, October 2007.
[Abstract][Paper]
[BibTeX]
Applying
Deployment Contracts to Components from Component Repositories.
K.-K. Lau and V. Ukis.
Pre-print CSPP-42, School of Computer Science,
The University of Manchester, August 2007.
[Abstract][Report]
[BibTeX]
Data Encapsulation in Software Components.
K.-K. Lau and F. Taweel. In H.W. Schmidt et al., editors,
Proceedings of Tenth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 4608:1-16,
Springer-Verlag, 2007.
[Abstract] [Paper]
[BibTeX]
A Study of Execution Environments for Software Components.
K.-K. Lau and V. Ukis.
In H.W. Schmidt et al., editors,
Proceedings of Tenth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 4608:107-123,
Springer-Verlag, 2007.
[Abstract] [Paper]
[BibTeX]
Towards Composing Software Components in both Design and Deployment Phases.
K.-K. Lau, L. Ling and P. Velasco Elizondo.
In H.W. Schmidt et al., editors,
Proceedings of Tenth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 4608:274-282,
Springer-Verlag, 2007.
[Abstract] [Paper]
[BibTeX]
On Characteristics and Differences of
Component Execution Environments.
K.-K. Lau and V. Ukis.
Pre-print CSPP-41, School of Computer Science,
The University of Manchester, February 2007.
[Abstract][Report]
[BibTeX]
A Component-based Approach to Verified Software:
What, Why, How and What Next?
K.-K. Lau, Z. Wang, A. Wang and M. Gu.
In X. Chen, Z. Liu and M. Reed, editors,
Proceedings of the First Asian Working Conference on Verified
Software, pages 225-229, UNU-IIST Report No. 347, 2006.
[Abstract][Paper]
[BibTeX]
Data
Encapsulation in Component-based Software Systems.
K.-K. Lau and F.M. Taweel. Pre-print CSPP-39, School of Computer Science,
The University of Manchester, September 2006.
[Abstract][Report]
[BibTeX]
Composing Components in Design Phase
using Exogenous Connectors.
K.-K. Lau, L. Ling and Z. Wang. In
Proceedings of
Thirty-second
Euromicro Conference on Software Engineering and Advanced Applications,
pages 12-19, IEEE Computer Society Press, 2006.
[Abstract][Paper]
[BibTeX]
Automatic Control Flow Generation from Software
Architectures.
K.-K. Lau and V. Ukis. In W. Löwe and M. Südholt, editors,
Proceedings of
Fifth International Symposium on
Software Composition, Lecture Notes in Computer Science 4089:323-338,
Springer-Verlag, 2006.
[Abstract][Paper]
[BibTeX]
A Software Component Model and its Preliminary Formalisation.
K.-K. Lau, M. Ornaghi and Z. Wang. In F.S. de Boer et al., editors,
Proceedings of Fourth
International Symposium on Formal Methods for Components and
Objects, Lecture Notes in Computer Science 4111:1-21,
Springer-Verlag, 2006. Invited keynote talk.
[Abstract][Paper]
[BibTeX]
ICSE'06 Tutorial:
Software Component Models.
K.-K. Lau. In Proceedings of
Twenty-eighth International Conference on Software Engineering,
pages 1081-1082, ACM Press, 2006. Abstract of tutorial.
[Abstract][Paper]
[BibTeX][Tutorial Slides]
A
Survey of Software Component Models (second edition).
K.-K. Lau and Z. Wang. Pre-print CSPP-38, School of Computer Science,
The University of Manchester, May 2006.
[Abstract][Report]
[BibTeX]
Towards Encapsulating Data in Component-based Software Systems.
K.-K. Lau and F.M. Taweel. In I. Gorton et al., editors,
Proceedings of Ninth International
Symposium on Component-based Software Engineering.
Lecture Notes in Computer Science 4063:1-16, Springer-Verlag, 2006.
[Abstract][Paper]
[BibTeX]
Defining and Checking Deployment Contracts for
Software Components.
K.-K. Lau and V. Ukis. In I. Gorton et al., editors,
Proceedings of Ninth International
Symposium on Component-based Software Engineering.
Lecture Notes in Computer Science 4063:1-16, Springer-Verlag, 2006.
[Abstract][Paper]
[BibTeX]
A Reasoning Framework for Deployment Contracts Analysis.
K.-K. Lau and V. Ukis. Pre-print CSPP-37, School of Computer Science,
The University of Manchester, June 2006.
[Abstract][Report]
[BibTeX]
Deployment Contracts for Software Components.
.
K.-K. Lau and V. Ukis. Pre-print CSPP-36, School of Computer Science,
The University of Manchester, February 2006.
[Abstract][Report]
[BibTeX]
A Component Model for Separation of Control Flow from Computation in
Component-Based Systems.
K.-K. Lau, V. Ukis, P. Velasco and Z. Wang.
Electronic Notes in Theoretical Computer Science 163:57-69, 2006,
Elsevier.
[Abstract][Paper]
[BibTeX]
Component Metadata in
Component-based Software
Development: A Survey
.
K.-K. Lau and V. Ukis. Pre-print CSPP-34, School of Computer Science,
The University of Manchester, October 2005.
[Abstract][Report]
[BibTeX]
A Container for Automatic System
Control Flow Generation using
Exogenous Connectors.
K.-K. Lau and V. Ukis. Pre-print CSPP-31, School of Computer Science,
The University of Manchester, August 2005.
[Abstract][Report]
[BibTeX]
A Taxonomy of Software Component Models.
K.-K. Lau and Z. Wang. In Proceedings of Thirty-first Euromicro
Conference on Software Engineering and Advanced Applications,
pages 88-95. IEEE Computer Society Press, 2005.
[Abstract][Paper]
[BibTeX]
A Survey of Software Component Models.
K.-K. Lau and Z. Wang. Pre-print CSPP-30, School of Computer Science,
The University of Manchester, April 2005.
[Abstract][Report]
[BibTeX]
Exogenous Connectors for Software Components.
K.-K. Lau, P. Velasco Elizondo and Z. Wang. In G.T. Heineman et
al., editors, Proceedings of Eighth International
SIGSOFT Symposium on Component-based Software Engineering.
Lecture Notes in Computer Science 3489:90-106, Springer-Verlag, 2005.
[Abstract][Paper]
[BibTeX]
Some Ingredients of Trusted Components.
K.-K. Lau. In
Proceedings
of Workshop on Trusted Components, pages 1-5, January 2003, Prato,
Italy.
[Abstract] [Paper]
[BibTeX]
A Priori Reasoning for Component-based Software Development.
K.-K. Lau. In
Proceedings of the First CoLogNET Workshop on Component-based Software
Development and Implementation Technology for Computational
Logic Systems, Technical Report CLIP4/02.0, School of Computer Science,
Technical University of Madrid, pages 5-19, 2002.
[Abstract] [Paper]
[BibTeX]
On the Implementation of Catalysis Frameworks in COM.
S.M. Ho and K.-K. Lau. In J. He, Y. Li and G. Lowe, editors, Proceedings of the Eigth Asia-Pacific
Software Engineering Conference,
pages 243-250, IEEE Computer Society Press, 2001.
[Abstract] [Paper]
[BibTeX]
A Formal Approach to Software Component Specification.
K.-K. Lau and M. Ornaghi. In D. Giannakopoulou, G.T. Leavens and
M. Sitaraman, editors, Proceedings
of Specification and Verification of Component-based Systems Workshop
at OOPSLA2001, pages 88-96, Tampa, USA, October 2001.
[Abstract] [Paper]
[BibTeX]
On the Implementation of OOD Frameworks in COM.
S.M. Ho and K.-K. Lau.
In Proceedings of EUROMICRO 2001 Workshop on Component-based
Software Engineering,
pages 40-47, IEEE Computer Society Press, 2001.
[Abstract] [Paper]
[BibTeX]
Component Certification and System Prediction: Is there a Role
for Formality?
K.-K. Lau.
In I. Crnkovic, H. Schmidt, J. Stafford and
K. Wallnau, editors, Proceedings of the Fourth ICSE Workshop
on Component-based Software Engineering, pages 80-83, IEEE
Computer Society Press, 2001.
[Abstract] [Paper]
[BibTeX]
Object-Oriented Design Frameworks:
Formal Specification and Some Implementation Issues.
I. Crnkovic, J. Küster Filipe, M. Larsson, and K.-K. Lau.
In J. Barzdins and A. Caplinskas, editor, Databases and Information Systems:
Fourth International Baltic Workshop,
pages 237-252, Kluwer, 2001.
[Abstract] [Paper]
[BibTeX]
Formal Specification of Catalysis Frameworks.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu,
and A Wills.
In J.S. Dong, J. He and M. Purvis, editors,
Proceedings of the Seventh Asia-Pacific Software
Engineering Conference,
pages 180-187, IEEE Computer Society Press, 2000.
[Abstract] [Paper]
[BibTeX]
The Role of Logic Programming in Next-generation
Component-based Software Development.
K.-K. Lau.
In G. Gupta and I.V. Ramakrishnan, editors,
Proceedings
of Workshop on Logic Programming and Software Enginering,
London, UK,
July 2000.
[Abstract] [Paper]
[BibTeX]
On Dynamic Aspects of OOD Frameworks in Component-based Software Development
in Computational Logic.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu.
In A. Bossi, editor, Proceedings of LOPSTR'99, Lecture Notes in Computer
Science 1817:43-62, Springer-Verlag, 2000.
[Abstract] [Paper]
[BibTeX]
Component Configuration Management for Frameworks.
I. Crnkovic, M. Larsson, and K.-K. Lau. In J. Han, S.D. Kim, and T. Kishi, editors,
Proceedings of the Workshop on Software Architecture and
Components, pages 83-88, Takamatsu, Japan, December 1999.
[Abstract] [Paper]
[BibTeX]
Intra- and Inter-OOD-Framework Interactions in Component-based
Software Development in Computational Logic.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu.
In A. Brogi and P. Hill, editors,
Proceedings of
the Second International Workshop on Component-based Software Development in
Computational Logic,
Paris, France,
September 1999. Abstact on page 7.
[Abstract][Paper][BibTeX]
OOD Frameworks in Component-based Software Development in
Computational Logic.
K.-K. Lau and M. Ornaghi.
In P. Flener, editor, Proceedings of LOPSTR'98,
Lecture Notes in Computer Science 1559:101-123, Springer-Verlag,
1999.
[Abstract] [Paper]
[BibTeX]
Interacting Frameworks in Catalysis.
K.-K. Lau, S. Liu, M. Ornaghi, and A. Wills. In J. Staples, M. Hinchey
and S. Liu, editors, Proceedings
of the Second IEEE International Conference on Formal Engineering
Methods, pages 110-119, IEEE Computer Society Press, 1998.
[Abstract] [Paper]
[BibTeX]
On Specification and Correctness of OOD Frameworks in
Computational Logic.
K.-K. Lau and M. Ornaghi. In A. Brogi and P. Hill, editors,
Proceedings of the First
International Workshop on Component-based Software Development in
Computational Logic,
pages 59-75, Pisa, Italy, September 1998.
[Abstract] [Paper] [BibTeX]
Frameworks in Catalysis: Pictorial Notation and Formal
Semantics.
K.-K. Lau, M. Ornaghi, and A. Wills. In M. Hinchey and S. Liu,
editors,
Proceedings of the First IEEE International
Conference on Formal Engineering Methods, pages 213-220, IEEE
Computer Society Press, 1997.
[Abstract] [Paper]
[BibTeX]
Constructive
Specification of Compositional Units.
K.-K. Lau. A. Momigliano and M. Ornaghi. In S. Etalle, editor,
Proceedings of the Fourteenth
International Workshop on Logic-based Program
Synthesis and Transformation, Lecture Notes in Computer
Science 3573:198-214, Springer-Verlag, 2005.
[Abstract] [Paper]
[BibTeX]
Correct OO Systems in Computational Logic.
K.-K. Lau and M. Ornaghi. In M. Bruynooghe, editor,
Proceedings of the Thirteenth
International Workshop on Logic-based Program
Synthesis and Transformation, Lecture Notes in Computer
Science 3018:34-53, Springer-Verlag, 2004.
[Abstract] [Paper]
[BibTeX]
ICLP'03 Tutorial:
Component-based Software Development and Logic Programming.
K.-K. Lau. In C. Palamidessi, editor,
Proceedings of the Nineteenth
International Conference on Logic Programming, Lecture Notes in Computer
Science 2926:103-108, Springer-Verlag, 2003.
[Abstract] [Paper]
[BibTeX]
Logic Programming for Software Engineering: A Second Chance.
K.-K. Lau and M. Vanden Bossche. In P.J. Stuckey, editor,
Proceedings of the Eighteenth International Conference on Logic
Programming, Lecture Notes in Computer
Science 2401:437-451, Springer-Verlag, 2002.
[Abstract] [Paper]
[BibTeX]
Correct Object-Oriented Systems in Computational Logic.
K.-K. Lau and M. Ornaghi. In
A. Pettorossi, editor, Proceedings of the Eleventh
International Workshop on Logic-based Program
Synthesis and Transformation, Lecture Notes in Computer
Science 2372:168-190, Springer-Verlag, 2002.
[Abstract] [Paper]
[BibTeX]
Isoinitial Semantics for Logic Programs.
K.-K. Lau and M. Ornaghi.
In J.W. Lloyd et al, editors, Proceedings of the
First International Conference on Computational Logic,
Lecture Notes in Artifical Intelligence 1861: 223-238,
Springer-Verlag, 2000.
[Abstract] [Paper]
[BibTeX]
An Abstract Formalisation of Correct Schemas for Program
Synthesis.
P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson.
Journal of Symbolic Computation 30(1):93-127, July 2000.
[Abstract] [Paper]
[BibTeX]
ASE'99 Tutorial:
Schema-Guided Generation of Correctly Reusable
Programs.
P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson. Tutorial notes for
tutorial at the Twelfth IEEE International Automated Software
Engineering Conference, Cocoa Beach, Florida, USA, 12-15 October 1999.
[Slides]
Steadfast Logic Programs.
K.-K. Lau, M. Ornaghi, and S.-Å Tärnlund. Journal of
Logic Programming 38(3):259-294, March 1999.
[Abstract] [Paper] [BibTeX]
Isoinitial Models for Logic Programs: A Preliminary Study.
K.-K. Lau and M. Ornaghi. In J.L. Freire-Nistal, M. Falaschi, and
M. Vilares-Ferro, editors, Proceedings of the 1998
Joint Conference on Declarative Programming, pages 443-455, A
Coruna, Spain, July 1998.
[Abstract] [Paper]
[BibTeX]
On Correct Program Schemas.
P. Flener, K.-K. Lau, and M. Ornaghi.
In N.E. Fuchs, editor, Proceedings of LOPSTR'97,
Lecture Notes in Computer Science 1463:124-143, Springer-Verlag,
1998.
[Abstract] [Paper]
[BibTeX]
Correct-schema-guided Synthesis of Steadfast Programs.
P. Flener, K.-K. Lau, and M. Ornaghi. In Proceedings of the Twelfth IEEE
International Automated Software Engineering Conference, pages
153-160, IEEE Computer Society Press, 1997.
[Abstract] [Paper]
[BibTeX]
The Relationship between Logic Programs
and Specifications - The Subset Example Revisited.
K.-K. Lau and M. Ornaghi. Journal of Logic
Programming 30(3):239-257, March 1997.
[Abstract] [Paper]
[BibTeX]
Modules, Reuse and Correctness.
K.-K. Lau and M. Ornaghi. In A. Brogi and P. Hill, editors,
Proceedings of the
Workshop on Logic-based Software Composition,
pages 59-72, Leuven, Belgium, July 1997.
[Abstract] [Paper]
[BibTeX]
On the Relationship between Logic Programs and Specifications.
K.-K. Lau and M. Ornaghi. In M. Falachi, M. Navarro,
and A. Policriti, editors,
Proceedings of the 1997 Joint Conference on
Declarative Programming, pages 433-445, Grado, Italy, June
1997.
[Abstract] [Paper]
[BibTeX]
Formal Development of Correct Classes in Computational Logic.
K.-K. Lau, C.D.M. Moss, and M. Ornaghi.
In D.J. Duke and A.S. Evans, editors, Proceedings of
BCS-FACS Northern Formal Methods Workshop,
Springer-Verlag, Electronic Workshops in Computing Series,
1997. Abstract on page 3.
[Abstract] [Paper]
[BibTeX]
Forms of Logic Specifications: A Preliminary Study.
K.-K. Lau and M. Ornaghi.
In J. Gallagher, editor, Proceedings of LOPSTR'96,
Lecture Notes in Computer Science 1207:295-312,
Springer-Verlag, 1997.
[Abstract] [Paper]
[BibTeX]
Formal Reasoning about Modules, Reuse and their Correctness.
C. Kreitz, K.-K. Lau, and M. Ornaghi.
In D.M. Gabbay and H.J. Ohlbach, editors, Proceedings of the
International Conference on Formal and Applied
Practical Reasoning, Lecture Notes in Artificial
Intelligence 1085:384-399, Springer-Verlag, 1996.
[Abstract] [Paper]
[BibTeX]
Towards an Object-Oriented Methodology for
Deductive Synthesis of Logic Programs.
K.-K. Lau and M. Ornaghi. In M. Proietti,
editor, Proceedings of LOPSTR'95, Lecture Notes
in Computer Science 1048:152-169, Springer-Verlag, 1996.
[Abstract] [Paper]
[BibTeX]
Correctness of Logic Program Transformation based on Existential
Termination.
K.-K. Lau, M. Ornaghi, A. Pettorossi, and M. Proietti.
In J.W. Lloyd, editor,
Proceedings of 1995 International Logic Programming Symposium,
pages 480-494, MIT Press, 1995.
[Abstract] [Paper]
[BibTeX]
A Formal Approach to Deductive Synthesis of
Constraint Logic Programs.
K.-K. Lau and M. Ornaghi.
In J.W. Lloyd, editor,
Proceedings of 1995 International Logic Programming Symposium,
pages 543-557, MIT Press, 1995.
[Abstract] [Paper]
[BibTeX]
On Specification Frameworks and Deductive Synthesis of Logic
Programs.
K.-K. Lau and M. Ornaghi. In L. Fribourg and
F. Turini, editors, Proceedings of
LOPSTR'94 and META'94, Lecture Notes in Computer Science
883:104-121, Springer-Verlag, 1994.
[Abstract] [Paper]
[BibTeX]
ICLP'94 Tutorial:
Synthesis of Logic Programs.
K.-K. Lau and G. Wiggins. Tutorial notes for invited
advanced tutorial at the Eleventh International Conference on Logic Programming,
Santa Margherita Ligure, Italy, 13-18 June 1994.
[Slides]
A Tutorial on Synthesis of Logic Programs from Specifications.
K.-K. Lau and G. Wiggins. In P. Van Hentenryck,
editor, Proceedings of the Eleventh International Conference on
Logic Programming, pages 11-14, MIT Press, 1994. Abstract of invited advanced
tutorial.
[Abstract] [Paper]
[BibTeX]
The
Halting Problem for Deductive Synthesis of Logic Programs.
K.-K. Lau, M. Ornaghi, and S.-Å Tärnlund. In P. Van
Hentenryck, editor, Proceedings of the Eleventh International
Conference on Logic Programming, pages 665-683, MIT Press,
1994.
[Abstract] [Paper]
[BibTeX]
A Formal View of Specification, Deductive Synthesis and
Transformation of Logic Programs.
K.-K. Lau and M. Ornaghi. In
Y. Deville, editor, Proceedings
of LOPSTR'93, pages 10-31, Springer-Verlag, 1994.
[Abstract] [Paper]
[BibTeX]
Logic
Program Synthesis.
Y. Deville and K.-K. Lau. Journal of
Logic Programming, 19,20:321-350, 1994. Special Issue:
Ten Years of Logic Programming.
[Abstract] [Paper] [BibTeX]
An Incompleteness Result for Deductive Synthesis of Logic
Programs.
K.-K. Lau and M. Ornaghi. In D.S. Warren, editor,
Proceedings of the Tenth International Conference on Logic
Programming, pages 456-477, MIT Press, 1993.
[Abstract] [Paper] [BibTeX]
Synthesis of a Family of Recursive Sorting Procedures.
K.-K. Lau and S.D.Prestwich. In V. Saraswat and K. Ueda,
editors, Proceedings of the 1991 International Logic Programming
Symposium, pages 641-658, MIT Press, 1991.
[Abstract] [Paper] [BibTeX]
Top-down Synthesis of Recursive Logic Procedures
from First-order Logic Specifications.
K.-K. Lau and S.D. Prestwich. In D.H.D. Warren and P. Szeredi,
editors, Proceedings of the Seventh International Conference on Logic
Programming, pages 667-684, MIT Press, 1990.
[Abstract] [Paper] [BibTeX]
A Logical Inverted Taxonomy of Sorting Algorithms.
S.M. Merritt and K.-K. Lau. In S. Kuru, M.U. Caglayan, and H.L. Akin, editors,
Proceedings of the Twelfth International
Symposium on Computer and Information Sciences, pages 576-583,
Bogazici University, 1997.
[Abstract] [Paper] [BibTeX]
Top-down Synthesis of Sorting Algorithms
K.-K. Lau. The Computer Journal, 35:A001-A007, 1992.
[Abstract] [Paper] [BibTeX]
A Note on Synthesis and Classification of Sorting Algorithms.
K.-K. Lau. Acta Informatica, 27:73-80, 1989.
[Abstract] [Paper] [BibTeX]
Using SPARK for a Beginner's Course on Reasoning about Imperative
Programs.
K.-K. Lau. In Proceedings of 2007 ACM SIGAda Annual International
Conference,
pages 75-78, ACM, 2007.
[Abstract][Paper][BibTeX]
Active Learning Sheets for A Beginner's Course on
Reasoning about Imperative Programs.
K.-K. Lau. In S. Haller, J.D. Dougherty,
S. Rodger, G. Lewandowski, editors,
Proceedings of the Thirty-Eighth SIGCSE technical symposium on
Computer Science
Education, pages 198-202, ACM Press, 2007.
ACM SIGCSE Bulletin
39(1), March 2007.
[Abstract] [Paper] [BibTeX]
A Beginner's Course on Reasoning about Imperative Programs
K.-K. Lau.
In C.N. Dean and R.T. Boute, editors, Proceedings of Symposium
on Teaching Formal Methods 2004,
Lecture Notes in Computer Science 3294:1-16, Springer-Verlag, 2004.
[Abstract] [Paper] [BibTeX]
Towards an Introductory Formal Programming Course.
K.-K. Lau, V.J. Bush, and P.J. Jinks. In D. Joyce, editor, The
Papers of the Twenty-Fifth ACM SIGCSE
Technical Symposium on Computer Science Education, pages 121-125, ACM Press,
1994. SIGCSE Bulletin 26(1), March 1994.
[Paper]