|
СТ |
Improving the Register Allocation in WAM by Reordering Unification |
1988 |
Janssens G., Demoen B., Marien A. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
17.10.1994 |
|
СТ |
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing |
1988 |
Bruynooghe M., Janssens G. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
03.10.1994 |
|
СТ |
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs |
1992 |
Bruynooghe M., Janssens G. |
|
|
|
Lecture Notes in Computer Science |
04.02.1993 |
|
СТ |
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs |
1994 |
Janssens G., Simoens W. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |
|
СТ |
Abstracting Numerical Values in CLP(H,N) |
1994 |
Janssens G., Bruynooghe M., Englebert V. |
|
|
|
Lecture Notes in Computer Science |
13.10.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 |
|
СТ |
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs |
1995 |
Janssens G., Bruynoodhe M., Dumortier V. |
|
|
|
Logic Programming: Proc. of the 1995 Intern Symp. |
24.04.1996 |
|
СТ |
Live-structure Analysis for Logic Programing Languages with Declarations |
1997 |
Bruynooghe M., Janssens G., Kagedal A. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury |
2001 |
Mazur N., Ross P., Janssens G., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
|
СТ |
Collecting Potential Optimizations |
2003 |
Mazur N., Janssens G., Vanhoof W. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Verification of Source Code Transformations by Program Equivalence Checking |
2005 |
Shashidhar K. C., Bruynooghe M., Catthoor F., Janssens G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.05.2005 |
