|
СТ |
Static Estimation of Query Sizes in Horn Programs |
1990 |
Debray S., Lin N. |
|
|
|
Lecture Notes in Computer Science |
19.03.1991 |
|
СТ |
Understanding Finiteness Analysis Using Abstract Interpretation |
1992 |
Bigot P. A., Debray S., Marriott K. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Weighted Decision Trees |
1992 |
Debray S., Kannan S., Paithane M. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Output Value Placement in Moded Logic Programs |
1994 |
Bigot P. A., Gudeman D., Debray S. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
|
СТ |
Detection and Optimization of Suspension-free Logic Programs |
1994 |
Debray S., Gudeman D., Bigot P. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
|
СТ |
A Simple Program Transformation for Parallelism |
1994 |
Debray S., Jain M. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.1996 |
|
СТ |
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages |
1994 |
de Bosschere K., Debray S., Gudeman D., Kannan S. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
Abstract Interpretation and Low-Level Code Optimization |
1995 |
Debray S. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
Noon-Failure Analysis for Logic Programs |
1997 |
Debray S., Lopez-Garcia P., Hermenegildo M. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages |
1997 |
Kagedal A., Debray S. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Resource-Bounded Partial Evaluation |
1997 |
Debray S. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
Lower Bound Cost Estimation for Logic Programs |
1997 |
Debray S., Lopez-Garcia P., Hermenegildo M., Lin N. -W. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
Alias Analysis of Executable Code |
1998 |
Debray S., Muth R., Weippert M. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
Link-Time Improvement of Scheme Programs |
1999 |
Debray S., Muth R., Watterson S. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
On the Complexity of Flow-Sensitive Dataflow Analyses |
2000 |
Muth R., Debray S. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Load Redundancy Elimination on Executable Code |
2001 |
Fernandez M., Espasa R., Debray S. |
|
|
|
Lecture Notes in Computer Science |
21.08.2001 |
|
СТ |
Goal-Directed Value Profiling |
2001 |
Watterson S., Debray S. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
