|
СТ |
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 |
|
СТ |
Specialising Interpreters Using Offline Partial Deduction |
2004 |
Leuschel M., Craig S. J., Bruynooghe M., Vanhoof W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Data Integration Using ID-Logic |
2004 |
Van Nuffelen B., Cortes-Calabuig A., Denecker M., Arieli O., Bruynooghe M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.07.2004 |
|
СТ |
A Fixed Point Semantics for Logic Programs Extended with Cuts |
2003 |
Vanhoof W., Troncon R., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Reuse of Results in Termination Analysis of Typed Logic Programs |
2002 |
Bruynooghe M., Codish M., Genaim S., Vanfoof W. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
|
СТ |
On the Transformation of Object-Oriented Conceptual Models to Logical Theories |
2002 |
Bekaert P., Van Nuffelen B., Bruynooghe M., Gilis D., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
|
СТ |
Pos(T): Analyzing Dependencies in Typed Logic Programs |
2001 |
Bruynooghe M., Vanhoof W., Codish M. |
|
|
|
Lecture Notes in Computer Science |
08.02.2002 |
|
СТ |
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 |
|
СТ |
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates |
2001 |
Denecker M., Pelov N., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
|
М |
Compile Time Garbage Collection or How to Tranfsform Programs in an Assignment-Free Language into Code with Assignments |
1986 |
Bruynooghe M. |
|
|
|
IFIP: TC 2, Working Conf. on Program Specification and Transformation |
09.12.1999 |
|
СТ |
Detecting Unsolvable Queries for Definite Logic Programs |
1998 |
Bruynooghe M., Vandecasteele H., De Waal D. A., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction |
1998 |
Bruynooghe M., Leuschel M., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Live-structure Analysis for Logic Programing Languages with Declarations |
1997 |
Bruynooghe M., Janssens G., Kagedal A. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Using Call/Exit Analysis for Logic Program Transformation |
1994 |
Boulanger D., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs |
1991 |
Bruynooghe M., De Schreye D., Martens B. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
A Systematic Construction of Abstract Domains |
1994 |
Boulanger D., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Abstracting Numerical Values in CLP(H,N) |
1994 |
Janssens G., Bruynooghe M., Englebert V. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Abstracting s-semantics Using a Model-Theoretic Approach |
1994 |
Boulanger D., Bruynooghe M., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
13.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 |
|
СТ |
Live-Structure Dataflow Analysis for Prolog |
1994 |
Mulkers A., Winsborough W., Bruynooghe M. |
|
|
|
ACM Trans. Programming Languages and Systems |
27.05.1994 |
|
СТ |
Freeness, Sharing, Linearity and Correctness - All at Once |
1993 |
Bruynooghe M., Codish M. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
|
СТ |
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 |
