Вы здесь

Debray S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ A Simple Program Transformation for Parallelism 1994 Debray S., Jain M. Logic Programming. Proc. of the 1994 Intern. Symp. 30.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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ Goal-Directed Value Profiling 2001 Watterson S., Debray S. Lecture Notes in Computer Science 28.04.2001
СТ Load Redundancy Elimination on Executable Code 2001 Fernandez M., Espasa R., Debray S. Lecture Notes in Computer Science 21.08.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic Programming: Proc./1990 North American Conf. 1990
  1. Debray S.
  2. Hermenegildo M.
24.11.1994