The following pages link to Kung-Kiu Lau (Q1583856):
Displaying 14 items.
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- (Q2723915) (← links)
- (Q2767056) (← links)
- A Software Component Model and Its Preliminary Formalisation (Q3591391) (← links)
- Logic program synthesis (Q4305630) (← links)
- The relationship between logic programs and specifications-the subset example revisited (Q4365066) (← links)
- Formal reasoning about modules, reuse and their correctness (Q4632313) (← links)
- (Q4707744) (← links)
- Steadfast logic programs (Q4719365) (← links)
- (Q4808814) (← links)
- (Q4812978) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)
- Program Development in Computational Logic (Q5712536) (← links)
- Logic Based Program Synthesis and Transformation (Q5713945) (← links)
