Вы здесь

Bruynooghe M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М 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
СТ 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
СТ 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
СТ 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
СТ Freeness, Sharing, Linearity and Correctness - All at Once 1993 Bruynooghe M., Codish M. Lecture Notes in Computer Science 11.12.1993
СТ Live-Structure Dataflow Analysis for Prolog 1994 Mulkers A., Winsborough W., Bruynooghe M. ACM Trans. Programming Languages and Systems 27.05.1994
СТ Abstracting s-semantics Using a Model-Theoretic Approach 1994 Boulanger D., Bruynooghe M., Denecker M. Lecture Notes in Computer Science 13.10.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
СТ Using Call/Exit Analysis for Logic Program Transformation 1994 Boulanger D., Bruynooghe M. Lecture Notes in Computer Science 12.01.1995
СТ 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
СТ Live-structure Analysis for Logic Programing Languages with Declarations 1997 Bruynooghe M., Janssens G., Kagedal A. Logic Programming 11.03.1998
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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