Yi-ke Guo
University of London
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Yi-ke Guo.
Seminar and Workshop on Declarative Programming | 1991
John Darlington; Yi-ke Guo; Helen Pull
A new declarative programming paradigm, constraint functional logic programming (CFLP) is presented, which unifies systematically all features of constraint, functional and logic programming. CFLP extends constraint functional programming (CFP), which supports equation solving over a functional program, to general constraint programming permitting the use of constraints for programming as well as for posing queries. It also generalises constraint logic programming (CLP), by admitting user-defined functions as a purely functional subsystem of a CLP language. This paper presents the motivation for designing CFLP and its semantics. Programming examples are given in the concrete CFLP language Falcon.
PPEALS | 1995
John Darlington; Yi-ke Guo; Hing Wing To; Yanguo Jing
Archive | 1998
Yi-ke Guo; Janjao Sutiwaraphun
Computing tomorrow | 1996
John Darlington; Yi-ke Guo; Hing Wing To
Archive | 1994
John Darlington; Yi-ke Guo; Hing Wing To; Qian Wu; Jin Yang; Martin Köhler
ieee region 10 conference | 1989
John Darlington; Yi-ke Guo
Archive | 2000
Yi-ke Guo; Janjao Sutiwaraphun
Archive | 1997
Jaturon Chattratichat; John Darlington; Moustafa Ghanem; Yi-ke Guo; Harald Hüning; Martin Köhler; Janjao Sutiwaraphun; Hing Wing To; Dan Yang
Archive | 2003
Nikolaos Giannadakis; Arthur Rowe; Moustafa M. Ghanem; Yi-ke Guo
DMIN | 2009
Xiong Deng; Yi-ke Guo; Moustafa Ghanem
