|
СТ |
CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms |
1999 |
Caseau Y., Josset F. -X., Laburthe F. |
|
|
|
Logic Programming |
07.03.2001 |
|
СТ |
SALSA: A Language for Search Algorithms |
1998 |
Laburthe F., Caseau Y. |
|
|
|
Lecture Notes in Computer Science |
26.11.1998 |
|
СТ |
Abstract Interpretation of Constraints on Order-Sorted Domains |
1991 |
Caseau Y. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
04.01.1995 |
|
СТ |
Efficient Handling of Multiple Inheritance Hierarchies |
1993 |
Caseau Y. |
|
|
|
SIGPLAN Notices |
26.01.1994 |
|
СТ |
A Deductive and Object-Oriented Approach to a Complex Scheduling Problem |
1993 |
Caseau Y., Guillo P. -Y., Levenez E. |
|
|
|
Lecture Notes in Computer Science |
21.12.1993 |
|
СТ |
Attaching Second-Order Types to Methods in an Object-Oriented Language |
1993 |
Caseau Y., Perron L. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
