|
СТ |
A Support System for Reuse Knowledge Components |
2002 |
Talens G., Dedun I., Boulanger D. |
|
|
|
Lecture Notes in Computer Science |
28.09.2002 |
|
СТ |
Practical Model-Based Static Analysis for Definite Logic Programs |
1995 |
Gallagher J., Boulanger D., Saglam H. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
24.04.1996 |
|
СТ |
Compiling Control Revisited: A New Approach based upon Abstract Interpretation |
1994 |
Boulanger D., De Schreye D. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
Using Call/Exit Analysis for Logic Program Transformation |
1994 |
Boulanger D., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
A Systematic Construction of Abstract Domains |
1994 |
Boulanger D., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Abstracting s-semantics Using a Model-Theoretic Approach |
1994 |
Boulanger D., Bruynooghe M., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
