|
СТ |
Achievements and Prospects of Program Synthesis |
2002 |
Flener P. |
|
|
|
Lecture Notes in Computer Science |
29.08.2002 |
|
СТ |
Compiling High-Level Type Constructors in Constraint Programming |
2001 |
Flener P., Hnich B., Kiziltan Z. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
|
СТ |
Generalized Logic Program Transformation Schemas |
1998 |
Buyukyildiz H., Flener P. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems |
2004 |
Flener P., Pearson J., Agren M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
On Correct Program Schemas |
1998 |
Flener P., Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
On the Desirable Link Between Theory and Practice in Abstract Interpretation |
1997 |
Le Charlier B., Flener P. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
|
СТ |
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects |
1994 |
Flener P., Popelinsky L. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Synthesis of Programs in Computational Logic |
2004 |
Basin D., Deville Y., Flener P., Hamfelt A., Nilsson J. F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
