СТ |
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 |
СТ |
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 |
СТ |
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages |
1995 |
Bigot P. A., Debray S. K. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
24.04.1996 |
СТ |
Joust: A Platform for Liquid Software |
1999 |
Hartman J. J., Bigot P. A., Bridges P., Montz B., Piltz R., Spatscheck O., Proebsting T. A., Peterson L. L., Bavier A. |
|
|
|
Computer |
20.08.1999 |