|
СТ |
Self-embedded Context-free Grammars with Regular Counterparts |
2004 |
Andrei S., Chin W. -N., Cavadini S. V. |
|
|
|
Acta Informatica |
28.04.2004 |
|
СТ |
Mapping Statecharts to Verilog for Hardware/Software Co-specification |
2003 |
Qin S., Chin W. -N. |
|
|
|
Lecture Notes in Computer Science |
24.09.2003 |
|
СТ |
A Semantic Foundation for TCOZ in Umifying Theories of Programming |
2003 |
Qin S., Dong J. S., Chin W. -N. |
|
|
|
Lecture Notes in Computer Science |
24.09.2003 |
|
СТ |
Towards a Modular Program Derivation via Fusion and Tupling |
2002 |
Chin W. -N., Hu Z. |
|
|
|
Lecture Notes in Computer Science |
23.11.2002 |
|
СТ |
Calculating a New Data Mining Algorithm for Market Basket Analysis |
2000 |
Hu Z., Chin W. -N., Takeichi M. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
|
СТ |
Parallelization in Calculational Forms |
1998 |
Hu Z., Takeichi M., Chin W. -N. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
Synchronisation Analysis to Stop Tupling |
1998 |
Chin W. -N., Khoo S. -C., Lee T. -W. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
A Bounds Inference Method for Vector-Based Memoization |
1997 |
Chin W. -N., Hagiya M. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Synchronization Analyses for Multiple Recursion Parameters |
1996 |
Chin W. -N., Khoo S. -C., Thiemann P. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
|
СТ |
Better Consumers for Deforestation (Extended Abstract) |
1995 |
Chin W. -N., Khoo S. -C. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
A Transformation Method for Dynamic-Sized Tabulation |
1995 |
Chin W. -N., Hagiya M. |
|
|
|
Acta Informatica |
17.05.1995 |
|
СТ |
Tupling Functions with Multiple Recursion Parameters |
1993 |
Chin W. -N., Khoo S. -C. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
