|
СТ |
Functional Logic Design Patterns |
2002 |
Antoy S., Hanus M. |
|
|
|
Lecture Notes in Computer Science |
25.10.2002 |
|
СТ |
Automatically Checking an Implementation against Its Formal Specifications |
2000 |
Antoy S., Hamlet D. |
|
|
|
IEEE Trans. on Software Engineering |
02.04.2002 |
|
СТ |
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages |
2001 |
Albert E., Antoy S., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
|
СТ |
Parallel Evaluation Strategies for Functional Logic Languages |
1997 |
Antoy S., Echahed R., Hanus M. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Narrowing the Narrowing Space |
1997 |
Antoy S., Ariola Z. M. |
|
|
|
Lecture Notes in Computer Science |
05.09.1997 |
|
СТ |
A Sequential Reduction Strategy |
1994 |
Antoy S., Middeldorp A. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |
|
СТ |
A Uniform Approach to Deduction and Automatic Implementation |
1993 |
Antoy S., Forcheri P., Molfino M. T., Schenone C. |
|
|
|
Lecture Notes in Computer Science |
22.10.1993 |
