|
СТ |
Abstracting Unification: A Key Step in the Design of Logic Program Analyses |
1995 |
Bruynooghe M., Codish M., Mulkers A. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
М |
Live Data Structures in Logic Programs |
1993 |
Mulkers A. |
Lecture Notes in Computer Science |
|
|
|
01.07.1993 |
|
СТ |
Live-Structure Dataflow Analysis for Prolog |
1994 |
Mulkers A., Winsborough W., Bruynooghe M. |
|
|
|
ACM Trans. Programming Languages and Systems |
27.05.1994 |
|
СТ |
On the Practicality of Abstract Equation Systems |
1995 |
Mulkers A., Simoens W., Janssens G., Bruynooghe M. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
