1994

20 references

• CW204. Codish, Michael; Demoen, Bart; Ioffe, N.; Lagoon, V., Fact unfolding and the bottom-up evaluation of logic programs, CW Reports, volume CW204, pages 14, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132076,
  author = "Codish, Michael and Demoen, Bart and Ioffe, N and Lagoon, V",
  title = "Fact unfolding and the bottom-up evaluation of logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW204",
  month = "Dec",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132076",
}

• CW203. Maris, G.; Demoen, Bart; Hermenegildo, Manuel, Environment versus goal stacking in a parallel implementation of logic, CW Reports, volume CW203, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132055,
  author = "Maris, G and Demoen, Bart and Hermenegildo, Manuel",
  title = "Environment versus goal stacking in a parallel implementation of logic",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW203",
  month = "Dec",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132055",
}

• CW202. Demoen, Bart; Engels, G.; Tarau, Paul, Issues in (copying) garbage collection for (Bin)WAM, CW Reports, volume CW202, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132497,
  author = "Demoen, Bart and Engels, G and Tarau, Paul",
  title = "Issues in (copying) garbage collection for ({B}in){WAM}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW202",
  month = "Dec",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132497",
}

• CW201. Moolenaar, Remco; Demoen, Bart, Full parallel search in AKL, CW Reports, volume CW201, pages 27, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132080,
  author = "Moolenaar, Remco and Demoen, Bart",
  title = "Full parallel search in {AKL}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW201",
  month = "Dec",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132080",
}

• CW200. Tarau, Paul; De Bosschere, K.; Demoen, Bart, Improving memoing with abstract answers and Delphi lemmas, CW Reports, volume CW200, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132103,
  author = "Tarau, Paul and De Bosschere, K and Demoen, Bart",
  title = "Improving memoing with abstract answers and {D}elphi lemmas",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW200",
  month = "Dec",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132103",
}

• CW199. Leuschel, Michael; De Schreye, Daniel, An almost perfect abstraction operator for partial deduction, CW Reports, volume CW199, pages 21, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131815,
  author = "Leuschel, Michael and De Schreye, Daniel",
  title = "An almost perfect abstraction operator for partial deduction",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW199",
  month = "Dec",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131815",
}

• CW198. Mulkers, Anne; Simoens, Wim; Janssens, Gerda; Bruynooghe, Maurice, On the practicality of abstract equation systems, CW Reports, volume CW198, pages 30, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132342,
  author = "Mulkers, Anne and Simoens, Wim and Janssens, Gerda and Bruynooghe, Maurice",
  title = "On the practicality of abstract equation systems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW198",
  month = "Nov",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132342",
}

• CW197. Lafortune, Eric P.; Willems, Yves, Using the modified Phong reflectance model for physically based rendering, CW Reports, volume CW197, pages 19, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132722,
  author = "Lafortune, Eric P and Willems, Yves",
  title = "Using the modified {P}hong reflectance model for physically based rendering",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW197",
  month = "Nov",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132722",
}

• CW196. Bruynooghe, Maurice; Codish, Michael; Mulkers, Anne, A composite domain for freeness, sharing, and compoundness analysis of logic programs, CW Reports, volume CW196, pages 35, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131569,
  author = "Bruynooghe, Maurice and Codish, Michael and Mulkers, Anne",
  title = "A composite domain for freeness, sharing, and compoundness analysis of logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW196",
  month = "Jul",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131569",
}

• CW195. Van Laer, Wim; Dehaspe, Luc; De Raedt, Luc, Applications of a logical discovery engine, CW Reports, volume CW195, pages 14, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{166920,
  author = "Van Laer, Wim and Dehaspe, Luc and De Raedt, Luc",
  title = "Applications of a logical discovery engine",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW195",
  month = "Apr",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/166920",
}

• CW194. Adé, Hilde; Malfait, Bart; De Raedt, Luc, RUTH: an ILP theory revision system, CW Reports, volume CW194, Department of Computer Science, K.U.Leuven, 1994

@techreport{269771,
  author = "Ad{\'e}, Hilde and Malfait, Bart and De Raedt, Luc",
  title = "{RUTH}: an {ILP} theory revision system",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW194",
  month = "Apr",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/269771",
}

• CW193. Adé, Hilde; De Raedt, Luc; Bruynooghe, Maurice, Declarative bias for specific-to-general ILP systems, CW Reports, volume CW193, pages 37, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131872,
  author = "Ad{\'e}, Hilde and De Raedt, Luc and Bruynooghe, Maurice",
  title = "Declarative bias for specific-to-general {ILP} systems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW193",
  month = "Apr",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131872",
}

• CW192. Tarau, Paul; Demoen, Bart, Higher-order programming in an OR-intensive style, CW Reports, volume CW192, pages 17, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132093,
  author = "Tarau, Paul and Demoen, Bart",
  title = "Higher-order programming in an {OR}-intensive style",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW192",
  month = "Apr",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132093",
}

• CW191. Hendrikx, Koen; Olivié, Hendrik, A layered approach to the design of hypermedia courseware, CW Reports, volume CW191, pages 17, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131551,
  author = "Hendrikx, Koen and Olivi{\'e}, Hendrik",
  title = "A layered approach to the design of hypermedia courseware",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW191",
  month = "Mar",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131551",
}

• CW190. Sablon, Gunther; De Raedt, Luc; Bruynooghe, Maurice, Iterative versionspaces, CW Reports, volume CW190, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{166968,
  author = "Sablon, Gunther and De Raedt, Luc and Bruynooghe, Maurice",
  title = "Iterative versionspaces",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW190",
  month = "Mar",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/166968",
}

• CW189. Janssens, Gerda; Bruynooghe, Maurice; Englebert, Vincent, Abstracting numerical values in CLP(H,N), CW Reports, volume CW189, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131793,
  author = "Janssens, Gerda and Bruynooghe, Maurice and Englebert, Vincent",
  title = "Abstracting numerical values in {CLP}({H},{N})",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW189",
  month = "Mar",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131793",
}

• CW188. Demoen, Bart; Maris, G., A comparison of some schemes for translating logic to C, CW Reports, volume CW188, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131571,
  author = "Demoen, Bart and Maris, G",
  title = "A comparison of some schemes for translating logic to {C}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW188",
  month = "Mar",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131571",
}

• CW187. Codish, Michael; Demoen, Bart, Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop, CW Reports, volume CW187, pages 17, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{132038,
  author = "Codish, Michael and Demoen, Bart",
  title = "Deriving polymorphic type dependencies for logic programs using multiple incarnations of {P}rop",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW187",
  month = "Feb",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/132038",
}

• CW186. Maelbrancke, Rudi; Olivié, Hendrik, An analysis of hierarchical spatial data structures, CW Reports, volume CW186, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131814,
  author = "Maelbrancke, Rudi and Olivi{\'e}, Hendrik",
  title = "An analysis of hierarchical spatial data structures",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW186",
  month = "Jan",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131814",
}

• CW182. Decorte, Stefaan; De Schreye, Daniel; Fabris, M., Automatic inference of norms: a missing link in automatic termination analysis, CW Reports, volume CW182, pages 19, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1994

@techreport{131842,
  author = "Decorte, Stefaan and De Schreye, Daniel and Fabris, M",
  title = "Automatic inference of norms: a missing link in automatic termination analysis",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW182",
  month = "Jan",
  year = "1994",
  url = "https://lirias.kuleuven.be/handle/123456789/131842",
}

1993

19 references

• CW185. Dumortier, Veroniek; Janssens, Gerda, Towards a practical full mode inference system for CLP (H,N), CW Reports, volume CW185, pages 15, Department of Computer Science, K.U.Leuven, 1993

@techreport{132698,
  author = "Dumortier, Veroniek and Janssens, Gerda",
  title = "Towards a practical full mode inference system for {CLP} ({H},{N})",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW185",
  month = "Dec",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132698",
}

• CW184. Moolenaar, Remco; Demoen, Bart, Hybrid tree search in the Andorra model, CW Reports, volume CW184, pages 14, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132090,
  author = "Moolenaar, Remco and Demoen, Bart",
  title = "Hybrid tree search in the {A}ndorra model",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW184",
  month = "Nov",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132090",
}

• CW183. Bruynooghe, Maurice; Boulanger, Dmitri, Abstract interpretation for (constraint) logic programming, CW Reports, volume CW183, pages 34, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{131795,
  author = "Bruynooghe, Maurice and Boulanger, Dmitri",
  title = "Abstract interpretation for (constraint) logic programming",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW183",
  month = "Nov",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/131795",
}

• CW181. Boulanger, Dmitri; Bruynooghe, Maurice, Using abstract interpretation for goal replacement, CW Reports, volume CW181, pages 19, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132723,
  author = "Boulanger, Dmitri and Bruynooghe, Maurice",
  title = "Using abstract interpretation for goal replacement",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW181",
  month = "Sep",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132723",
}

• CW180. Martens, Bernhard; De Schreye, Daniel, Advanced techniques in finite unfolding, CW Reports, volume CW180, pages 77, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{131791,
  author = "Martens, Bernhard and De Schreye, Daniel",
  title = "Advanced techniques in finite unfolding",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW180",
  month = "Oct",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/131791",
}

• CW179. Bruynooghe, Maurice; Codish, Michael, Freeness, sharing, linearity and correctness - all at once, CW Reports, volume CW179, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132082,
  author = "Bruynooghe, Maurice and Codish, Michael",
  title = "Freeness, sharing, linearity and correctness - all at once",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW179",
  month = "Sep",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132082",
}

• CW178. Muggleton, Stephen; De Raedt, Luc, Inductive logic programming: theory and methods, CW Reports, volume CW178, pages 60, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{134629,
  author = "Muggleton, Stephen and De Raedt, Luc",
  title = "Inductive logic programming: theory and methods",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW178",
  month = "May",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/134629",
}

• CW177. Codish, Michael; García de la Banda, Maria; Bruynooghe, Maurice; Hermenegildo, Manuel, Top-down vs bottom-up analysis of logic programs - closing the circle, CW Reports, volume CW177, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132699,
  author = "Codish, Michael and Garc{\'{\i}}a de la Banda, Maria and Bruynooghe, Maurice and Hermenegildo, Manuel",
  title = "Top-down vs bottom-up analysis of logic programs - closing the circle",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW177",
  month = "May",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132699",
}

• CW176. Codish, Michael; Demoen, Bart, Analysing logic programs using propositional logic programs and a magic wand, CW Reports, volume CW176, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{166924,
  author = "Codish, Michael and Demoen, Bart",
  title = "Analysing logic programs using propositional logic programs and a magic wand",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW176",
  month = "Apr",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/166924",
}

• CW175. Janssens, Gerda; Simoens, Wim; Van Hentenryck, P., On the implementation of abstract interpretation systems for (constraint) logic programs, CW Reports, volume CW175, pages 19, Department of Computer Science, K.U.Leuven, 1993

@techreport{132348,
  author = "Janssens, Gerda and Simoens, Wim and Van Hentenryck, P",
  title = "On the implementation of abstract interpretation systems for (constraint) logic programs",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW175",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132348",
}

• CW174. Maelbrancke, Rudi; Olivié, Hendrik, Optimal balance revisited, CW Reports, volume CW174, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132373,
  author = "Maelbrancke, Rudi and Olivi{\'e}, Hendrik",
  title = "Optimal balance revisited",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW174",
  month = "Feb",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132373",
}

• CW173. Mariën, André; Demoen, Bart, Findall without findall/3, CW Reports, volume CW173, pages 34, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{166954,
  author = "Mari{\"e}n, Andr{\'e} and Demoen, Bart",
  title = "Findall without findall/3",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW173",
  month = "Feb",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/166954",
}

• CW172. Demoen, Bart; Mariën, André, Implementation issues in Prolog arithmetic, CW Reports, volume CW172, pages 10, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132087,
  author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
  title = "Implementation issues in {P}rolog arithmetic",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW172",
  month = "Feb",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132087",
}

• CW171. Rouveirol, C.; Adé, Hilde; De Raedt, Luc, Bottom up generalization in I.L.P, CW Reports, volume CW171, pages 21, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{134622,
  author = "Rouveirol, C and Ad{\'e}, Hilde and De Raedt, Luc",
  title = "Bottom up generalization in {I}.{L}.{P}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW171",
  month = "Jan",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/134622",
}

• CW170. Maelbrancke, Rudi; Olivié, Hendrik, Dynamic tree rebalancing using recurrent rotations, CW Reports, volume CW170, pages 12, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132045,
  author = "Maelbrancke, Rudi and Olivi{\'e}, Hendrik",
  title = "Dynamic tree rebalancing using recurrent rotations",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW170",
  month = "Jan",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132045",
}

• CW169. Lewi, Johan; Steegmans, Eric; Dockx, Jan; Swennen, Bart; Van Baelen, Stefan; Van Riel, Helena, Object oriented sotware development with EROOS: The analysis phase, CW Reports, volume CW169, Department of Computer Science, K.U.Leuven, 1993

@techreport{132298,
  author = "Lewi, Johan and Steegmans, Eric and Dockx, Jan and Swennen, Bart and Van Baelen, Stefan and Van Riel, Helena",
  title = "Object oriented sotware development with {EROOS}: {T}he analysis phase",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW169",
  month = "Jan",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132298",
}

• CW168. Duval, Erik; Olivié, Hendrik, On domains and data types in the relational paradigm for data modelling, CW Reports, volume CW168, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{132294,
  author = "Duval, Erik and Olivi{\'e}, Hendrik",
  title = "On domains and data types in the relational paradigm for data modelling",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW168",
  month = "Jan",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/132294",
}

• CW167. Mulkers, Anne; Winsborough, Will; Bruynooghe, Maurice, A live-structure data-flow analysis for Prolog: theory, CW Reports, volume CW167, pages 50, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{131549,
  author = "Mulkers, Anne and Winsborough, Will and Bruynooghe, Maurice",
  title = "A live-structure data-flow analysis for {P}rolog: theory",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW167",
  month = "Jan",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/131549",
}

• CW166. Mulkers, Anne; Winsborough, Will; Bruynooghe, Maurice, A live-structure data-flow analysis for Prolog: design and evaluation, CW Reports, volume CW166, pages 45, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

@techreport{131550,
  author = "Mulkers, Anne and Winsborough, Will and Bruynooghe, Maurice",
  title = "A live-structure data-flow analysis for {P}rolog: design and evaluation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW166",
  month = "Jan",
  year = "1993",
  url = "https://lirias.kuleuven.be/handle/123456789/131550",
}

1992

30 references

• CW165. De Raedt, Luc; Lavrac, N.; Dzeroski, Saso, Multiple predicate learning, CW Reports, volume CW165, pages 20, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{134631,
  author = "De Raedt, Luc and Lavrac, N and Dzeroski, Saso",
  title = "Multiple predicate learning",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW165",
  month = "Oct",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/134631",
}

• CW164. De Raedt, Luc; Bruynooghe, Maurice, A theory of clausal discovery, CW Reports, volume CW164, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{131617,
  author = "De Raedt, Luc and Bruynooghe, Maurice",
  title = "A theory of clausal discovery",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW164",
  month = "Oct",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/131617",
}

• CW163. Boulanger, Dmitri; Bruynooghe, Maurice, Deriving fold/unfold transformation of logic programs using extended OLDT-based abstractinterpretation, CW Reports, volume CW163, pages 28, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132039,
  author = "Boulanger, Dmitri and Bruynooghe, Maurice",
  title = "Deriving fold/unfold transformation of logic programs using extended {OLDT}-based abstractinterpretation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW163",
  month = "Nov",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132039",
}

• CW162. Codish, Michael; Mulkers, Anne; Bruynooghe, Maurice, Improving abstract interpretations by combining domains, CW Reports, volume CW162, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132104,
  author = "Codish, Michael and Mulkers, Anne and Bruynooghe, Maurice",
  title = "Improving abstract interpretations by combining domains",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW162",
  month = "Dec",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132104",
}

• CW161. Codish, Michael; Dams, Denis; Filé, Gilberto; Bruynooghe, Maurice, Freeness analysis for logic programs - and correctness, CW Reports, volume CW161, pages 19, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132084,
  author = "Codish, Michael and Dams, Denis and Fil{\'e}, Gilberto and Bruynooghe, Maurice",
  title = "Freeness analysis for logic programs - and correctness",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW161",
  month = "Dec",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132084",
}

• CW160. Bruynooghe, Maurice; Winsborough, Will, Type graph unification, CW Reports, volume CW160, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132712,
  author = "Bruynooghe, Maurice and Winsborough, Will",
  title = "Type graph unification",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW160",
  month = "Nov",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132712",
}

• CW159. Martens, Bernhard; De Schreye, Daniel, Why untyped non-ground meta-programming is not (much of) of problem, CW Reports, volume CW159, pages 59, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132762,
  author = "Martens, Bernhard and De Schreye, Daniel",
  title = "Why untyped non-ground meta-programming is not (much of) of problem",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW159",
  month = "Dec",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132762",
}

• CW158. Dumortier, Veroniek; Janssens, Gerda; Bruynooghe, Maurice; Codish, Michael, Freeness analysis in the presence of numerical constraints, CW Reports, volume CW158, pages 17, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132083,
  author = "Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice and Codish, Michael",
  title = "Freeness analysis in the presence of numerical constraints",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW158",
  month = "Nov",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132083",
}

• CW157. Denecker, Marc; De Schreye, Daniel, Justification semantics: a unifying framework for the semantics of logic programs, CW Reports, volume CW157, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132107,
  author = "Denecker, Marc and De Schreye, Daniel",
  title = "Justification semantics: a unifying framework for the semantics of logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW157",
  month = "Nov",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132107",
}

• CW156. Bevers, Eddy; Lewi, Joannes, Proving termination of conditional rewrite systems: a semantic approach, CW Reports, volume CW156, pages 40, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{134637,
  author = "Bevers, Eddy and Lewi, Joannes",
  title = "Proving termination of conditional rewrite systems: a semantic approach",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW156",
  month = "Nov",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/134637",
}

• CW155. Adé, Hilde; De Raedt, Luc; Bruynooghe, Maurice, Inverse resolution in an integrated inductive-deductive learning system, CW Reports, volume CW155, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132110,
  author = "Ad{\'e}, Hilde and De Raedt, Luc and Bruynooghe, Maurice",
  title = "Inverse resolution in an integrated inductive-deductive learning system",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW155",
  month = "Sep",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132110",
}

• CW154. Codish, Michael; Debray, S.; Giacobazzi, R., Compositional analysis of modular logic programs, CW Reports, volume CW154, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{134623,
  author = "Codish, Michael and Debray, S and Giacobazzi, R",
  title = "Compositional analysis of modular logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW154",
  month = "Sep",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/134623",
}

• CW153. Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William, Efficient analysis of concurrent constraint logic programs, CW Reports, volume CW153, Department of Computer Science, K.U.Leuven, 1992

@techreport{270795,
  author = "Codish, Michael and Falaschi, Moreno and Marriott, Kim and Winsborough, William",
  title = "Efficient analysis of concurrent constraint logic programs",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW153",
  month = "Sep",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/270795",
}

• CW152. Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael, Oracle semantics for Prolog, CW Reports, volume CW152, Department of Computer Science, K.U.Leuven, 1992

@techreport{270798,
  author = "Barbuti, Roberto and Codish, Michael and Giacobazzi, Roberto and Maher, Michael",
  title = "Oracle semantics for {P}rolog",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW152",
  month = "Sep",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/270798",
}

• CW151. Moons, Herman; Verbaeten, Petrus, Naming and Locating Mobile Objects in Open Distributed Systems, CW Reports, volume CW151, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132276,
  author = "Moons, Herman and Verbaeten, Petrus",
  title = "Naming and {L}ocating {M}obile {O}bjects in {O}pen {D}istributed {S}ystems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW151",
  month = "Mar",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132276",
}

• CW150. Moons, Herman; Verbaeten, Petrus, The COMET Type and Object Model, CW Reports, volume CW150, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132603,
  author = "Moons, Herman and Verbaeten, Petrus",
  title = "The {COMET} {T}ype and {O}bject {M}odel",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW150",
  month = "Jun",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132603",
}

• CW149. Martens, Bernhard; De Schreye, Daniel, A perfect Herbrand semantics for untyped vanilla meta-programming, CW Reports, volume CW149, pages 19, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{131614,
  author = "Martens, Bernhard and De Schreye, Daniel",
  title = "A perfect {H}erbrand semantics for untyped vanilla meta-programming",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW149",
  month = "Jul",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/131614",
}

• CW148. De Schreye, Daniel; Verschaetse, Christophe, Termination of logic programs: tutorial notes, CW Reports, volume CW148, pages 20, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132607,
  author = "De Schreye, Daniel and Verschaetse, Christophe",
  title = "Termination of logic programs: tutorial notes",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW148",
  month = "May",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132607",
}

• CW147. Duval, Erik; Olivié, Hendrik, Towards the integration of a query machanism and navigation for retrieval of data on multimediadocuments, CW Reports, volume CW147, pages 17, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132715,
  author = "Duval, Erik and Olivi{\'e}, Hendrik",
  title = "Towards the integration of a query machanism and navigation for retrieval of data on multimediadocuments",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW147",
  month = "May",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132715",
}

• CW146. Bruynooghe, Maurice; Janssens, Gerda, Propagation: a new operation in a framework for abstract interpretation of logic programs, CW Reports, volume CW146, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{167008,
  author = "Bruynooghe, Maurice and Janssens, Gerda",
  title = "Propagation: a new operation in a framework for abstract interpretation of logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW146",
  month = "Mar",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/167008",
}

• CW145. Dumortier, Veroniek; Janssens, Gerda; Bruynooghe, Maurice, Detection of free variables in the presence of numeric constraints by means of abstractinterpretation, CW Reports, volume CW145, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132034,
  author = "Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice",
  title = "Detection of free variables in the presence of numeric constraints by means of abstractinterpretation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW145",
  month = "Mar",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132034",
}

• CW144. Demoen, Bart; Mariën, André, Can Prolog execute as fast as Aquarius, CW Reports, volume CW144, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{131853,
  author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
  title = "Can {P}rolog execute as fast as {A}quarius",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW144",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/131853",
}

• CW143. Janssens, Gerda; Hermenegildo, Manuel; Bueno, F.; García de la Banda, M.; Mulkers, Anne, A review of some abstract interpretation systems, CW Reports, volume CW143, pages 42, Department of Computer Science, K.U.Leuven, 1992

@techreport{131606,
  author = "Janssens, Gerda and Hermenegildo, Manuel and Bueno, F and Garc{\'{\i}}a de la Banda, M and Mulkers, Anne",
  title = "A review of some abstract interpretation systems",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW143",
  month = "Feb",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/131606",
}

• CW142. De Schreye, Daniel; Martens, Bernhard, A sensible least Herbrand semantics for untyped Vanilla Meta-programming and its extension to a limited form of amalgamation, CW Reports, volume CW142, pages 14, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{166940,
  author = "De Schreye, Daniel and Martens, Bernhard",
  title = "A sensible least {H}erbrand semantics for untyped {V}anilla {M}eta-programming and its extension to a limited form of amalgamation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW142",
  month = "Feb",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/166940",
}

• CW141. Kovacic, M.; Lavrac, N.; Grobelnik, M.; Zupanic, D.; Mladenic, D., Stochastic search in inductive logic programming, CW Reports, volume CW141, pages 5, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{134640,
  author = "Kovacic, M and Lavrac, N and Grobelnik, M and Zupanic, D and Mladenic, D",
  title = "Stochastic search in inductive logic programming",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW141",
  month = "Jan",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/134640",
}

• CW140. Mladenic, D.; Zupanic, D.; Grobelnik, M.; Lavrac, N., Stochastic search in inductive concept learning, CW Reports, volume CW140, pages 12, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{134641,
  author = "Mladenic, D and Zupanic, D and Grobelnik, M and Lavrac, N",
  title = "Stochastic search in inductive concept learning",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW140",
  month = "Jan",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/134641",
}

• CW139. Verschaetse, Christophe; De Schreye, Daniel, Automatic derivation of linear size relations, CW Reports, volume CW139, pages 39, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{131844,
  author = "Verschaetse, Christophe and De Schreye, Daniel",
  title = "Automatic derivation of linear size relations",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW139",
  month = "Jan",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/131844",
}

• CW138. Verschaetse, Christophe; De Schreye, Daniel, Termination analysis of definite logic programs with respect to call patterns, CW Reports, volume CW138, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132609,
  author = "Verschaetse, Christophe and De Schreye, Daniel",
  title = "Termination analysis of definite logic programs with respect to call patterns",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW138",
  month = "Jan",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132609",
}

• CW137. Martens, Bernhard; De Schreye, Daniel, Sound and complete partial deduction with unfolding based on well-founded measures, CW Reports, volume CW137, pages 20, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{132534,
  author = "Martens, Bernhard and De Schreye, Daniel",
  title = "Sound and complete partial deduction with unfolding based on well-founded measures",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW137",
  month = "Jan",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/132534",
}

• CW136. Denecker, Marc; De Schreye, Daniel, A family of abductive procedures for normal abductive programs, their soundness and completeness, CW Reports, volume CW136, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

@techreport{131564,
  author = "Denecker, Marc and De Schreye, Daniel",
  title = "A family of abductive procedures for normal abductive programs, their soundness and completeness",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW136",
  month = "May",
  year = "1992",
  url = "https://lirias.kuleuven.be/handle/123456789/131564",
}

1991

11 references

• CW135. Maelbrancke, Rudi; Olivié, Hendrik, Updating search trees with O(1) rotations using local and global balance criteria, CW Reports, volume CW135, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{132757,
  author = "Maelbrancke, Rudi and Olivi{\'e}, Hendrik",
  title = "Updating search trees with {O}(1) rotations using local and global balance criteria",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW135",
  month = "Sep",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/132757",
}

• CW134. Maelbrancke, Rudi; Olivié, Hendrik, A comparison of HBB-trees with SBB-trees, CW Reports, volume CW134, pages 27, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{131573,
  author = "Maelbrancke, Rudi and Olivi{\'e}, Hendrik",
  title = "A comparison of {HBB}-trees with {SBB}-trees",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW134",
  month = "Sep",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/131573",
}

• CW133. Van Gestel, Eric; Lewi, Joannes, A terse mathematical kernel for EROOS, CW Reports, volume CW133, pages 22, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{134617,
  author = "Van Gestel, Eric and Lewi, Joannes",
  title = "A terse mathematical kernel for {EROOS}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW133",
  month = "Sep",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/134617",
}

• CW132. De Niel, Anne; Bevers, Eddy; De Vlaminck, Karel, Program bifurcation for a polymorphically typed functional language, CW Reports, volume CW132, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{167006,
  author = "De Niel, Anne and Bevers, Eddy and De Vlaminck, Karel",
  title = "Program bifurcation for a polymorphically typed functional language",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW132",
  month = "May",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/167006",
}

• CW131. Moolenaar, Remco; Van Acker, H.; Demoen, Bart, $kappa alpha pi pi alpha$ : A kernel Andorra Prolog parallel architecture design, CW Reports, volume CW131, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{166936,
  author = "Moolenaar, Remco and Van Acker, H and Demoen, Bart",
  title = "$kappa alpha pi pi alpha$ : {A} kernel {A}ndorra {P}rolog parallel architecture design",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW131",
  month = "May",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/166936",
}

• CW127. Weemeeuw, Patrick, Some experiments with stack implementation parameters in Aurora, CW Reports, volume CW127, pages 9, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{134639,
  author = "Weemeeuw, Patrick",
  title = "Some experiments with stack implementation parameters in {A}urora",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW127",
  month = "Apr",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/134639",
}

• CW126. Bruynooghe, Maurice; De Schreye, Daniel; Martens, Bernhard, A general criterion for avoiding infinite unfolding during partial deduction, CW Reports, volume CW126, pages 26, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{131556,
  author = "Bruynooghe, Maurice and De Schreye, Daniel and Martens, Bernhard",
  title = "A general criterion for avoiding infinite unfolding during partial deduction",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW126",
  month = "Mar",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/131556",
}

• CW125. Demoen, Bart; Mariën, André, A new scheme for unfication in WAM, CW Reports, volume CW125, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{131603,
  author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
  title = "A new scheme for unfication in {WAM}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW125",
  month = "Mar",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/131603",
}

• CW124. Denecker, Marc; De Schreye, Daniel, A framework for indeterministic model generation with equality, CW Reports, volume CW124, pages 34, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{131560,
  author = "Denecker, Marc and De Schreye, Daniel",
  title = "A framework for indeterministic model generation with equality",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW124",
  month = "Mar",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/131560",
}

• CW123. Olivié, Hendrik; Vansina, A., Towards an object oriented LOGO, CW Reports, volume CW123, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{166978,
  author = "Olivi{\'e}, Hendrik and Vansina, A",
  title = "Towards an object oriented {LOGO}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW123",
  month = "Apr",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/166978",
}

• CW122. Verschaetse, Christophe; De Schreye, Daniel, Deriving termination proofs for logic programs, using abstract procedures, CW Reports, volume CW122, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1991

@techreport{132037,
  author = "Verschaetse, Christophe and De Schreye, Daniel",
  title = "Deriving termination proofs for logic programs, using abstract procedures",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW122",
  month = "Feb",
  year = "1991",
  url = "https://lirias.kuleuven.be/handle/123456789/132037",
}

1990

18 references

• CW130. Demoen, Bart, On the transformation of a Prlog program to a more efficient binary program, CW Reports, volume CW130, pages 10, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132336,
  author = "Demoen, Bart",
  title = "On the transformation of a {P}rlog program to a more efficient binary program",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW130",
  month = "Dec",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132336",
}

• CW129. Demoen, Bart; Mariën, André, Implementation of Prolog as binary definite programs, CW Reports, volume CW129, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132106,
  author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
  title = "Implementation of {P}rolog as binary definite programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW129",
  month = "Dec",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132106",
}

• CW128. De Raedt, Luc; Bruynooghe, Maurice, A practical multi valued logic to reason about (in)completeness and (in)consistency, CW Reports, volume CW128, pages 6, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{131613,
  author = "De Raedt, Luc and Bruynooghe, Maurice",
  title = "A practical multi valued logic to reason about (in)completeness and (in)consistency",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW128",
  month = "Mar",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/131613",
}

• CW121. Demoen, Bart, From a specification to an implementation of a database update view for Prolog: a proof, CW Reports, volume CW121, pages 7, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132081,
  author = "Demoen, Bart",
  title = "From a specification to an implementation of a database update view for {P}rolog: a proof",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW121",
  month = "Dec",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132081",
}

• CW120. Demoen, Bart; Boerger, E., A framework to specify database update views for Prolog, CW Reports, volume CW120, pages 11, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{131558,
  author = "Demoen, Bart and Boerger, E",
  title = "A framework to specify database update views for {P}rolog",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW120",
  month = "Dec",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/131558",
}

• CW119. Janssens, Gerda; Bruynooghe, Maurice, On abstracting the procedural behaviour of logic programs, CW Reports, volume CW119, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132295,
  author = "Janssens, Gerda and Bruynooghe, Maurice",
  title = "On abstracting the procedural behaviour of logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW119",
  month = "Nov",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132295",
}

• CW118. De Raedt, Luc; Bruynooghe, Maurice, Unifying intensional knowledge base updating and incremental concept-learning. or belief updatingfrom integrity constraints and queries, CW Reports, volume CW118, pages 24, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132710,
  author = "De Raedt, Luc and Bruynooghe, Maurice",
  title = "Unifying intensional knowledge base updating and incremental concept-learning. or belief updatingfrom integrity constraints and queries",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW118",
  month = "Sep",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132710",
}

• CW117. Mulkers, Anne; Winsborough, Will; Bruynooghe, Maurice, Analysis of shared data structures for compile-time garbage collection in logic programs, CW Reports, volume CW117, pages 36, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{166922,
  author = "Mulkers, Anne and Winsborough, Will and Bruynooghe, Maurice",
  title = "Analysis of shared data structures for compile-time garbage collection in logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW117",
  month = "Oct",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/166922",
}

• CW116. De Niel, Anne; Bevers, Eddy; De Vlaminck, Karel, Program division for a polymorphically typed functional language, CW Reports, volume CW116, pages 58, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132377,
  author = "De Niel, Anne and Bevers, Eddy and De Vlaminck, Karel",
  title = "Program division for a polymorphically typed functional language",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW116",
  month = "Sep",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132377",
}

• CW115. Maelbrancke, Rudi; Olivié, Hendrik, Stratification as a means for the comparison of tree structures, CW Reports, volume CW115, pages 20, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132579,
  author = "Maelbrancke, Rudi and Olivi{\'e}, Hendrik",
  title = "Stratification as a means for the comparison of tree structures",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW115",
  month = "May",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132579",
}

• CW114. Kinnaes, Dirk; De Vlaminck, Karel, Compiler generation based on denotational semantics, CW Reports, volume CW114, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{131850,
  author = "Kinnaes, Dirk and De Vlaminck, Karel",
  title = "Compiler generation based on denotational semantics",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW114",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/131850",
}

• CW113. Olivié, Hendrik; Vanneste, Philip; Vermeulen, L., The computer as a didactical tool in computer science education, CW Reports, volume CW113, pages 24, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132660,
  author = "Olivi{\'e}, Hendrik and Vanneste, Philip and Vermeulen, L",
  title = "The computer as a didactical tool in computer science education",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW113",
  month = "May",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132660",
}

• CW112. Weemeeuw, Patrick; Demoen, Bart, A la recherche de la mémoire perdue or: memory compaction for shared memory multiprocessors.Design and spefication, CW Reports, volume CW112, pages 26, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{131552,
  author = "Weemeeuw, Patrick and Demoen, Bart",
  title = "A la recherche de la m{\'e}moire perdue or: memory compaction for shared memory multiprocessors.{D}esign and spefication",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW112",
  month = "Mar",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/131552",
}

• CW111. Lewi, Johan; Steegmans, Eric; Van Baelen, Stefan, EROOS: Entity-relationship object-oriented specifications, CW Reports, volume CW111, Department of Computer Science, K.U.Leuven, 1990

@techreport{132043,
  author = "Lewi, Johan and Steegmans, Eric and Van Baelen, Stefan",
  title = "{EROOS}: {E}ntity-relationship object-oriented specifications",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW111",
  month = "Apr",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132043",
}

• CW110. Verschaetse, Christophe; De Schreye, Daniel; Bruynooghe, Maurice, Generation and compilation of efficient computation rules, CW Reports, volume CW110, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{166966,
  author = "Verschaetse, Christophe and De Schreye, Daniel and Bruynooghe, Maurice",
  title = "Generation and compilation of efficient computation rules",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW110",
  month = "Mar",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/166966",
}

• CW109. De Schreye, Daniel; Verschaetse, Christophe; Bruynooghe, Maurice, A practical technique for detecting non- terminating queries for a restricted class of Hornclauses, using directed, weighted graphs, CW Reports, volume CW109, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{131612,
  author = "De Schreye, Daniel and Verschaetse, Christophe and Bruynooghe, Maurice",
  title = "A practical technique for detecting non- terminating queries for a restricted class of {H}ornclauses, using directed, weighted graphs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW109",
  month = "Mar",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/131612",
}

• CW108. Janssens, Gerda; Bruynooghe, Maurice, Deriving descriptions of possible values of program variables by means of abstract interpretation:definitions and proofs, CW Reports, volume CW108, pages 124, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132040,
  author = "Janssens, Gerda and Bruynooghe, Maurice",
  title = "Deriving descriptions of possible values of program variables by means of abstract interpretation:definitions and proofs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW108",
  month = "Apr",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132040",
}

• CW107. Janssens, Gerda; Bruynooghe, Maurice, Deriving descriptions of possible values of program variables by means of abstract interpretation, CW Reports, volume CW107, pages 70, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1990

@techreport{132041,
  author = "Janssens, Gerda and Bruynooghe, Maurice",
  title = "Deriving descriptions of possible values of program variables by means of abstract interpretation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW107",
  month = "Mar",
  year = "1990",
  url = "https://lirias.kuleuven.be/handle/123456789/132041",
}

1989

21 references

• CW106. Joosen, Wouter; Verbaeten, Petrus, A testbed for Load Balancing Experiments, CW Reports, volume CW106, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{131618,
  author = "Joosen, Wouter and Verbaeten, Petrus",
  title = "A testbed for {L}oad {B}alancing {E}xperiments",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW106",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/131618",
}

• CW105. Joosen, Wouter; Verbaeten, Petrus, A Software Architecture for Load Balancing, CW Reports, volume CW105, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{131582,
  author = "Joosen, Wouter and Verbaeten, Petrus",
  title = "A {S}oftware {A}rchitecture for {L}oad {B}alancing",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW105",
  month = "Apr",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/131582",
}

• CW104. De Schreye, Daniel; Pollet, D.; Ronsyn, J.; Bruynooghe, Maurice, Implementing finite-domain constraint logic programming on top of a Prolog-system withdelay-mechanism, CW Reports, volume CW104, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132105,
  author = "De Schreye, Daniel and Pollet, D and Ronsyn, J and Bruynooghe, Maurice",
  title = "Implementing finite-domain constraint logic programming on top of a {P}rolog-system withdelay-mechanism",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW104",
  month = "Dec",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132105",
}

• CW103. De Schreye, Daniel; Martens, Bernhard; Sablon, Gunther; Bruynooghe, Maurice, Compiling bottom-up and mixed derivations into top-down executable logic programs, CW Reports, volume CW103, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{131849,
  author = "De Schreye, Daniel and Martens, Bernhard and Sablon, Gunther and Bruynooghe, Maurice",
  title = "Compiling bottom-up and mixed derivations into top-down executable logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW103",
  month = "Nov",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/131849",
}

• CW102. Bevers, Eddy; Lewi, Joannes, Proof by consistency in conditional equational theories, CW Reports, volume CW102, pages 38, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{134635,
  author = "Bevers, Eddy and Lewi, Joannes",
  title = "Proof by consistency in conditional equational theories",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW102",
  month = "Nov",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/134635",
}

• CW101. De Raedt, Luc; Bruynooghe, Maurice, On explanation and Bias in inductive concept-learning, CW Reports, volume CW101, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132326,
  author = "De Raedt, Luc and Bruynooghe, Maurice",
  title = "On explanation and {B}ias in inductive concept-learning",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW101",
  month = "Jan",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132326",
}

• CW100. Craeynest, Dirk; De Bisschop, Wim; De Niel, Anne; Kinnaes, Dirk; De Vlaminck, Karel, The Absynt metaprogramming language - a case study, CW Reports, volume CW100, pages 65, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132622,
  author = "Craeynest, Dirk and De Bisschop, Wim and De Niel, Anne and Kinnaes, Dirk and De Vlaminck, Karel",
  title = "The {A}bsynt metaprogramming language - a case study",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW100",
  month = "Aug",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132622",
}

• CW99. Demoen, Bart, The implementation of catch and throw in WAM: optimizations and alternatives, CW Reports, volume CW99, pages 8, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132682,
  author = "Demoen, Bart",
  title = "The implementation of catch and throw in {WAM}: optimizations and alternatives",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW99",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132682",
}

• CW98. Denecker, Marc; Willems, Yves, Data Representation in Object Oriented Prolog Systems, CW Reports, volume CW98, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{131874,
  author = "Denecker, Marc and Willems, Yves",
  title = "Data {R}epresentation in {O}bject {O}riented {P}rolog {S}ystems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW98",
  month = "Sep",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/131874",
}

• CW97. Mariën, André; Demoen, Bart, On the management of E and B in WAM, CW Reports, volume CW97, pages 24, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132346,
  author = "Mari{\"e}n, Andr{\'e} and Demoen, Bart",
  title = "On the management of {E} and {B} in {WAM}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW97",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132346",
}

• CW96. Demoen, Bart, A 20' implementation of catch and throw in WAM, CW Reports, volume CW96, pages 8, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{131586,
  author = "Demoen, Bart",
  title = "A 20' implementation of catch and throw in {WAM}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW96",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/131586",
}

• CW95. Demoen, Bart; Mariën, André; Callebaut, Allain, Indexing Prolog clauses, CW Reports, volume CW95, pages 11, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132099,
  author = "Demoen, Bart and Mari{\"e}n, Andr{\'e} and Callebaut, Allain",
  title = "Indexing {P}rolog clauses",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW95",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132099",
}

• CW94. Bruynooghe, Maurice; De Schreye, Daniel, Some thoughts on the role of examples in program transformation and its relevance forexplanation-based learning, CW Reports, volume CW94, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132536,
  author = "Bruynooghe, Maurice and De Schreye, Daniel",
  title = "Some thoughts on the role of examples in program transformation and its relevance forexplanation-based learning",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW94",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132536",
}

• CW93. Martens, Bernhard; Willems, Yves, Readings in knowledge representation: a survey, with some comments on the role of logic, CW Reports, volume CW93, pages 20, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132409,
  author = "Martens, Bernhard and Willems, Yves",
  title = "Readings in knowledge representation: a survey, with some comments on the role of logic",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW93",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132409",
}

• CW92. De Niel, Anne; De Vlaminck, Karel, Partial evaluation: its application to compiler generator generation, CW Reports, volume CW92, pages 52, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132390,
  author = "De Niel, Anne and De Vlaminck, Karel",
  title = "Partial evaluation: its application to compiler generator generation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW92",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132390",
}

• CW91. Bevers, Eddy; Lewi, Joannes, Proving termination of rewriting systems: a semantic approach, CW Reports, volume CW91, pages 28, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{134636,
  author = "Bevers, Eddy and Lewi, Joannes",
  title = "Proving termination of rewriting systems: a semantic approach",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW91",
  month = "Jun",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/134636",
}

• CW90. De Schreye, Daniel; Bruynooghe, Maurice; Verschaetse, Christophe, On the existence of non-terminating queries for a restricted class of Prolog-clauses, CW Reports, volume CW90, pages 11, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{167002,
  author = "De Schreye, Daniel and Bruynooghe, Maurice and Verschaetse, Christophe",
  title = "On the existence of non-terminating queries for a restricted class of {P}rolog-clauses",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW90",
  month = "Apr",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/167002",
}

• CW89. Bruynooghe, Maurice; De Raedt, Luc; De Schreye, Daniel, Explanation based program transformation, CW Reports, volume CW89, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{132061,
  author = "Bruynooghe, Maurice and De Raedt, Luc and De Schreye, Daniel",
  title = "Explanation based program transformation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW89",
  month = "Apr",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/132061",
}

• CW87. De Raedt, Luc; Bruynooghe, Maurice, Constructive induction by analogy, CW Reports, volume CW87, pages 10, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{166950,
  author = "De Raedt, Luc and Bruynooghe, Maurice",
  title = "Constructive induction by analogy",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW87",
  month = "Feb",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/166950",
}

• CW86. Janssens, Gerda; Bruynooghe, Maurice, An application of abstract interpretation: integrated type and mode inferencing, CW Reports, volume CW86, pages 57, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{131812,
  author = "Janssens, Gerda and Bruynooghe, Maurice",
  title = "An application of abstract interpretation: integrated type and mode inferencing",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW86",
  month = "Apr",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/131812",
}

• CW85. Missiaen, Lode, Situation Calculus and Event Calculus in Modal Logic Z, CW Reports, volume CW85, pages 27, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1989

@techreport{134638,
  author = "Missiaen, Lode",
  title = "Situation {C}alculus and {E}vent {C}alculus in {M}odal {L}ogic {Z}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW85",
  month = "Mar",
  year = "1989",
  url = "https://lirias.kuleuven.be/handle/123456789/134638",
}

1988

21 references

• CW88. De Raedt, Luc; Bruynooghe, Maurice, Towards friendly concept-learners, CW Reports, volume CW88, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132717,
  author = "De Raedt, Luc and Bruynooghe, Maurice",
  title = "Towards friendly concept-learners",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW88",
  month = "Oct",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132717",
}

• CW84. Backx, Danny; Verbaeten, Petrus, Distributed Debugging Tools : Techniques and their Implementations, CW Reports, volume CW84, pages 57, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132048,
  author = "Backx, Danny and Verbaeten, Petrus",
  title = "Distributed {D}ebugging {T}ools : {T}echniques and their {I}mplementations",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW84",
  month = "Dec",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132048",
}

• CW83. Joosen, Wouter; Verbaeten, Petrus, On the Use of Process Migration in Distributed Systems, CW Reports, volume CW83, pages 19, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132318,
  author = "Joosen, Wouter and Verbaeten, Petrus",
  title = "On the {U}se of {P}rocess {M}igration in {D}istributed {S}ystems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW83",
  month = "Nov",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132318",
}

• CW82. Joosen, Wouter; Verbaeten, Petrus, Set Communication in Distributed Systems, CW Reports, volume CW82, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132413,
  author = "Joosen, Wouter and Verbaeten, Petrus",
  title = "Set {C}ommunication in {D}istributed {S}ystems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW82",
  month = "Nov",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132413",
}

• CW81. Joosen, Wouter; Verbaeten, Petrus, Design Issues in Load Balancing Techniques, CW Reports, volume CW81, pages 10, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132036,
  author = "Joosen, Wouter and Verbaeten, Petrus",
  title = "Design {I}ssues in {L}oad {B}alancing {T}echniques",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW81",
  month = "Apr",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132036",
}

• CW80. Joosen, Wouter; Verbaeten, Petrus, Load Sharing: Current Research in Distributed Systems, CW Reports, volume CW80, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132251,
  author = "Joosen, Wouter and Verbaeten, Petrus",
  title = "Load {S}haring: {C}urrent {R}esearch in {D}istributed {S}ystems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW80",
  month = "Apr",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132251",
}

• CW79. Verschaetse, Christophe; De Schreye, Daniel; Bruynooghe, Maurice, Automatic generation of control information in five steps, CW Reports, volume CW79, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{131843,
  author = "Verschaetse, Christophe and De Schreye, Daniel and Bruynooghe, Maurice",
  title = "Automatic generation of control information in five steps",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW79",
  month = "Oct",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/131843",
}

• CW78. Goossenaerts, Jan; Lewi, Johan; Dumortier, Jos, A stage-prop-actor approach to legal representation, CW Reports, volume CW78, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{285660,
  author = "Goossenaerts, Jan and Lewi, Johan and Dumortier, Jos",
  title = "A stage-prop-actor approach to legal representation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW78",
  month = "Oct",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/285660",
}

• CW77. Kinnaes, Dirk; Craeynest, Dirk; De Niel, Anne; De Vlaminck, Karel, Using Ada as a design tool for embedded systems: A case Study, CW Reports, volume CW77, pages 43, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132725,
  author = "Kinnaes, Dirk and Craeynest, Dirk and De Niel, Anne and De Vlaminck, Karel",
  title = "Using {A}da as a design tool for embedded systems: {A} case {S}tudy",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW77",
  month = "Sep",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132725",
}

• CW76. De Raedt, Luc; Bruynooghe, Maurice, Features of concept learning: a generic algorithm, CW Reports, volume CW76, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132072,
  author = "De Raedt, Luc and Bruynooghe, Maurice",
  title = "Features of concept learning: a generic algorithm",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW76",
  month = "Jan",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132072",
}

• CW75. Olivié, Hendrik; Vermeulen, L.; Goossenaerts, Jan, Introductory Computer Science Education Towards a Mirror of Real Life, CW Reports, volume CW75, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132112,
  author = "Olivi{\'e}, Hendrik and Vermeulen, L and Goossenaerts, Jan",
  title = "Introductory {C}omputer {S}cience {E}ducation {T}owards a {M}irror of {R}eal {L}ife",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW75",
  month = "Jul",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132112",
}

• CW74. Steegmans, Eric; Lewi, Joannes; Piessens, Robert; Grootaers, Thomas, A syntax directed approach to the design of interactive systems, CW Reports, volume CW74, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{131619,
  author = "Steegmans, Eric and Lewi, Joannes and Piessens, Robert and Grootaers, Thomas",
  title = "A syntax directed approach to the design of interactive systems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW74",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/131619",
}

• CW73. Steegmans, Eric; Van Horebeek, Ivo; Lewi, Joannes, Error recovery in interactive parsers, CW Reports, volume CW73, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132068,
  author = "Steegmans, Eric and Van Horebeek, Ivo and Lewi, Joannes",
  title = "Error recovery in interactive parsers",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW73",
  month = "Jul",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132068",
}

• CW72. Steegmans, Eric; Van Horebeek, Ivo; Lewi, Joannes, Error recovery in batch parsers, CW Reports, volume CW72, Department of Computer Science, K.U.Leuven., 1988

@techreport{132052,
  author = "Steegmans, Eric and Van Horebeek, Ivo and Lewi, Joannes",
  title = "Error recovery in batch parsers",
  institution = "Department of Computer Science, K.U.Leuven.",
  type = "{CW} {R}eports",
  volume = "CW72",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132052",
}

• CW71. Janssens, Gerda; Demoen, Bart; Mariën, André, Improving the register allocation in WAM by reordering unification, CW Reports, volume CW71, pages 15, Department of Computer Science, K.U.Leuven, 1988

@techreport{132101,
  author = "Janssens, Gerda and Demoen, Bart and Mari{\"e}n, Andr{\'e}",
  title = "Improving the register allocation in {WAM} by reordering unification",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW71",
  month = "May",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132101",
}

• CW70. Detollenaere, M.; De Wolf, W.; Van Acker, H.; Pinte, J.; Willems, Yves, ESOP: An expert system for operation planning on machining centers, CW Reports, volume CW70, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132042,
  author = "Detollenaere, M and De Wolf, W and Van Acker, H and Pinte, J and Willems, Yves",
  title = "{ESOP}: {A}n expert system for operation planning on machining centers",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW70",
  month = "Jan",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132042",
}

• CW69. De Schreye, Daniel; Bruynooghe, Maurice, The compilation of forward checking regimes through meta-interpretation and transformation, CW Reports, volume CW69, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132663,
  author = "De Schreye, Daniel and Bruynooghe, Maurice",
  title = "The compilation of forward checking regimes through meta-interpretation and transformation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW69",
  month = "Apr",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132663",
}

• CW68. De Schreye, Daniel; Bruynooghe, Maurice, An application of abstract interpretation in source level program transformation, CW Reports, volume CW68, pages 24, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{131813,
  author = "De Schreye, Daniel and Bruynooghe, Maurice",
  title = "An application of abstract interpretation in source level program transformation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW68",
  month = "Apr",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/131813",
}

• CW67. Weemeeuw, Patrick; Bruynooghe, Maurice; De Hondt, Marleen, On implementing logic programming languages on a dataflow architecture, CW Reports, volume CW67, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{167000,
  author = "Weemeeuw, Patrick and Bruynooghe, Maurice and De Hondt, Marleen",
  title = "On implementing logic programming languages on a dataflow architecture",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW67",
  month = "Apr",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/167000",
}

• CW66. Martens, Bernhard; Bruynooghe, Maurice, Integrity constraint checking in deductive databases using a rule/goal graph, CW Reports, volume CW66, pages 22, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{132114,
  author = "Martens, Bernhard and Bruynooghe, Maurice",
  title = "Integrity constraint checking in deductive databases using a rule/goal graph",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW66",
  month = "Jan",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/132114",
}

• CW59. Bevers, Eddy; Van Horebeek, Ivo; Lewi, Joannes, On proving termination of constructive algebraic specifications, CW Reports, volume CW59, pages 59, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1988

@techreport{134632,
  author = "Bevers, Eddy and Van Horebeek, Ivo and Lewi, Joannes",
  title = "On proving termination of constructive algebraic specifications",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW59",
  month = "Mar",
  year = "1988",
  url = "https://lirias.kuleuven.be/handle/123456789/134632",
}

1987

12 references

• CW65. De Raedt, Luc; Krekels, Bruno; Bruynooghe, Maurice; Van Meir, D., Using Shapiro's model inference system for concept-learning, CW Reports, volume CW65, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{132724,
  author = "De Raedt, Luc and Krekels, Bruno and Bruynooghe, Maurice and Van Meir, D",
  title = "Using {S}hapiro's model inference system for concept-learning",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW65",
  month = "Oct",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/132724",
}

• CW64. Krekels, Bruno; De Raedt, Luc; Bruynooghe, Maurice, The functional components of concept-acquisition systems, CW Reports, volume CW64, pages 11, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{166976,
  author = "Krekels, Bruno and De Raedt, Luc and Bruynooghe, Maurice",
  title = "The functional components of concept-acquisition systems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW64",
  month = "May",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/166976",
}

• CW63. Van Horebeek, Ivo; Van Gestel, Eric; Lewi, Joannes; Monteyne, Myriam, Abstract Implementation for Constructive Algebraic Specifications, CW Reports, volume CW63, pages 50, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{134619,
  author = "Van Horebeek, Ivo and Van Gestel, Eric and Lewi, Joannes and Monteyne, Myriam",
  title = "Abstract {I}mplementation for {C}onstructive {A}lgebraic {S}pecifications",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW63",
  month = "Nov",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/134619",
}

• CW62. Bruynooghe, Maurice, A framework for the abstract interpretation of logic programs, CW Reports, volume CW62, pages 19, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{131559,
  author = "Bruynooghe, Maurice",
  title = "A framework for the abstract interpretation of logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW62",
  month = "Oct",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/131559",
}

• CW61. Berbers, Yolande; Verbaeten, Petrus, A hierarchical description of the HERMIX distributed operating system, CW Reports, volume CW61, pages 38+iv, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{131554,
  author = "Berbers, Yolande and Verbaeten, Petrus",
  title = "A hierarchical description of the {HERMIX} distributed operating system",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW61",
  month = "May",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/131554",
}

• CW60. Berbers, Yolande; Verbaeten, Petrus, Servers, processes and subprocesses: a critical evaluation, CW Reports, volume CW60, pages 12, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{132414,
  author = "Berbers, Yolande and Verbaeten, Petrus",
  title = "Servers, processes and subprocesses: a critical evaluation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW60",
  month = "May",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/132414",
}

• CW58. De Niel, Anne; Craeynest, Dirk; De Bisschop, Wim; Kinnaes, Dirk; De Vlaminck, Karel, An implementation of standard PASCAL based on abstract syntax, CW Reports, volume CW58, pages 46, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{131824,
  author = "De Niel, Anne and Craeynest, Dirk and De Bisschop, Wim and Kinnaes, Dirk and De Vlaminck, Karel",
  title = "An implementation of standard {PASCAL} based on abstract syntax",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW58",
  month = "Aug",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/131824",
}

• CW57. Craeynest, Dirk; Kinnaes, Dirk; De Bisschop, Wim; De Niel, Anne; De Vlaminck, Karel, A metaprogramming language based on abstract syntax - language description, CW Reports, volume CW57, pages 54, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{131543,
  author = "Craeynest, Dirk and Kinnaes, Dirk and De Bisschop, Wim and De Niel, Anne and De Vlaminck, Karel",
  title = "A metaprogramming language based on abstract syntax - language description",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW57",
  month = "Aug",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/131543",
}

• CW56. Bruynooghe, Maurice; Janssens, Gerda; Callebaut, Allain; Demoen, Bart, Abstract interpretation: towards the global optimisation of PROLOG programs, CW Reports, volume CW56, pages 25, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{131794,
  author = "Bruynooghe, Maurice and Janssens, Gerda and Callebaut, Allain and Demoen, Bart",
  title = "Abstract interpretation: towards the global optimisation of {PROLOG} programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW56",
  month = "May",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/131794",
}

• CW55. De Schreye, Daniel; Bruynooghe, Maurice, On the transformation of logic programs with instantiation based computation rules, CW Reports, volume CW55, pages 36, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{132375,
  author = "De Schreye, Daniel and Bruynooghe, Maurice",
  title = "On the transformation of logic programs with instantiation based computation rules",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW55",
  month = "May",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/132375",
}

• CW54. Van Horebeek, Ivo; Van Gestel, Eric; Lewi, Joannes, A constructive algebraic specification of the ferry problem, CW Reports, volume CW54, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1987

@techreport{134613,
  author = "Van Horebeek, Ivo and Van Gestel, Eric and Lewi, Joannes",
  title = "A constructive algebraic specification of the ferry problem",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW54",
  month = "Jan",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/134613",
}

• CW53. Janssens, Gerda; Demoen, Bart; Willems, Yves, Execution mechanisms for PROLOG, CW Reports, volume CW53, pages 71, Department of Computer Science, K.U.Leuven, 1987

@techreport{132064,
  author = "Janssens, Gerda and Demoen, Bart and Willems, Yves",
  title = "Execution mechanisms for {PROLOG}",
  institution = "Department of Computer Science, K.U.Leuven",
  type = "{CW} {R}eports",
  volume = "CW53",
  month = "Apr",
  year = "1987",
  url = "https://lirias.kuleuven.be/handle/123456789/132064",
}

1986

8 references

• CW52. Van Horebeek, Ivo; Lewi, Joannes; Van Puymbroeck, W.; Bevers, Eddy, Error handling in algebraic specifications, CW Reports, volume CW52, pages 33, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{134626,
  author = "Van Horebeek, Ivo and Lewi, Joannes and Van Puymbroeck, W and Bevers, Eddy",
  title = "Error handling in algebraic specifications",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW52",
  month = "Dec",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/134626",
}

• CW51. Van Roy, Peter; Demoen, Bart, Improving the execution speed of compiled PROLOG with modes, clause selectio n, and determinism, CW Reports, volume CW51, pages 36, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{132102,
  author = "Van Roy, Peter and Demoen, Bart",
  title = "Improving the execution speed of compiled {PROLOG} with modes, clause selectio n, and determinism",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW51",
  month = "Nov",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/132102",
}

• CW50. Rosiers, Wim; Bruynooghe, Maurice, Empirical study of some constraint satisfaction algorithms, CW Reports, volume CW50, pages 8, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{132056,
  author = "Rosiers, Wim and Bruynooghe, Maurice",
  title = "Empirical study of some constraint satisfaction algorithms",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW50",
  month = "Jul",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/132056",
}

• CW49. Van Horebeek, Ivo; Lewi, Joannes, An introduction to algebraic specifications: from many-sorted algebras to a practical specificationlanguage, CW Reports, volume CW49, pages ii+151, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{134621,
  author = "Van Horebeek, Ivo and Lewi, Joannes",
  title = "An introduction to algebraic specifications: from many-sorted algebras to a practical specificationlanguage",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW49",
  month = "Dec",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/134621",
}

• CW48. Bruynooghe, Maurice, Is logic programming real programming?, CW Reports, volume CW48, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{132109,
  author = "Bruynooghe, Maurice",
  title = "Is logic programming real programming?",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW48",
  month = "Mar",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/132109",
}

• CW47. Bruynooghe, Maurice; De Schreye, Daniel; Krekels, Bruno, Compiling control, CW Reports, volume CW47, pages 22, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{131848,
  author = "Bruynooghe, Maurice and De Schreye, Daniel and Krekels, Bruno",
  title = "Compiling control",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW47",
  month = "Mar",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/131848",
}

• CW45. Bruynooghe, Maurice; Weemeeuw, Patrick, Towards more efficiency of PROLOG on conventional hardware, CW Reports, volume CW45, pages 11, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{132716,
  author = "Bruynooghe, Maurice and Weemeeuw, Patrick",
  title = "Towards more efficiency of {PROLOG} on conventional hardware",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW45",
  month = "Jan",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/132716",
}

• CW43. Bruynooghe, Maurice, Compile time garbage collection, CW Reports, volume CW43, pages 35, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986

@techreport{131851,
  author = "Bruynooghe, Maurice",
  title = "Compile time garbage collection",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW43",
  month = "Apr",
  year = "1986",
  url = "https://lirias.kuleuven.be/handle/123456789/131851",
}

1985

9 references

• CW46. Moons, Herman; Verbaeten, Petrus, Distributed software support systems: a comparative study, CW Reports, volume CW46, pages 41, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{132047,
  author = "Moons, Herman and Verbaeten, Petrus",
  title = "Distributed software support systems: a comparative study",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW46",
  month = "Oct",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/132047",
}

• CW44. Bruynooghe, Maurice, Graph coloring and constraint satisfaction, CW Reports, volume CW44, pages 6, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{132095,
  author = "Bruynooghe, Maurice",
  title = "Graph coloring and constraint satisfaction",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW44",
  month = "Dec",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/132095",
}

• CW42. De Decker, Bart; Verbaeten, Petrus, The Communication System in Hermix. Part I: Local communication in Hermix, CW Reports, volume CW42, pages 29+iii, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{132602,
  author = "De Decker, Bart and Verbaeten, Petrus",
  title = "The {C}ommunication {S}ystem in {H}ermix. {P}art {I}: {L}ocal communication in {H}ermix",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW42",
  month = "Jun",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/132602",
}

• CW41. Ballieu, Gerard, The SPROLOG system: user's manual, CW Reports, volume CW41, pages 27, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{134643,
  author = "Ballieu, Gerard",
  title = "The {SPROLOG} system: user's manual",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW41",
  month = "Jul",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/134643",
}

• CW40. Ballieu, Gerard, The SPROLOG system: implementation, CW Reports, volume CW40, pages 47, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{134644,
  author = "Ballieu, Gerard",
  title = "The {SPROLOG} system: implementation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW40",
  month = "Jul",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/134644",
}

• CW39. Ballieu, Gerard; Willems, Yves, The SPROLOG system, CW Reports, volume CW39, pages 28, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{132635,
  author = "Ballieu, Gerard and Willems, Yves",
  title = "The {SPROLOG} system",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW39",
  month = "Apr",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/132635",
}

• CW38. Pittomvils, Edwin; Bruynooghe, Maurice; Willems, Yves, Towards a real time garbage collector for PROLOG, CW Reports, volume CW38, pages 21, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{166980,
  author = "Pittomvils, Edwin and Bruynooghe, Maurice and Willems, Yves",
  title = "Towards a real time garbage collector for {PROLOG}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW38",
  month = "Sep",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/166980",
}

• CW37. Lewi, Joannes; Van Horebeek, Ivo, Algebraic Specifications. A case study: Karel the Robot, CW Reports, volume CW37, pages 21, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{134618,
  author = "Lewi, Joannes and Van Horebeek, Ivo",
  title = "Algebraic {S}pecifications. {A} case study: {K}arel the {R}obot",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW37",
  month = "Jun",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/134618",
}

• CW36. Lewi, Joannes; Van Horebeek, Ivo, Denotational Semantics. A case study: Karel the Robot, CW Reports, volume CW36, pages 15, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985

@techreport{134625,
  author = "Lewi, Joannes and Van Horebeek, Ivo",
  title = "Denotational {S}emantics. {A} case study: {K}arel the {R}obot",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW36",
  month = "Jun",
  year = "1985",
  url = "https://lirias.kuleuven.be/handle/123456789/134625",
}

1984

4 references

• CW35. Berbers, Yolande; Bussé, Paul; De Decker, Bart; De Deurwaerder, André; Huens, Jean; Moons, Herman; Verbaeten, Petrus, The Hermix Manifesto, CW Reports, volume CW35, pages 4, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1984

@techreport{132644,
  author = "Berbers, Yolande and Buss{\'e}, Paul and De Decker, Bart and De Deurwaerder, Andr{\'e} and Huens, Jean and Moons, Herman and Verbaeten, Petrus",
  title = "The {H}ermix {M}anifesto",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW35",
  month = "Nov",
  year = "1984",
  url = "https://lirias.kuleuven.be/handle/123456789/132644",
}

• CW34. Bibel, Wolfgang; Freksa, Christian; Haddawy, Peter; Moreau, M.; Bruynooghe, Maurice, An overview of formalisms, issues, languages and systems for the representation of knowledge, CW Reports, volume CW34, pages 46, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1984

@techreport{131818,
  author = "Bibel, Wolfgang and Freksa, Christian and Haddawy, Peter and Moreau, M and Bruynooghe, Maurice",
  title = "An overview of formalisms, issues, languages and systems for the representation of knowledge",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW34",
  month = "Oct",
  year = "1984",
  url = "https://lirias.kuleuven.be/handle/123456789/131818",
}

• CW33. Bruynooghe, Maurice, Some pragmatics of deriving negative information in PROLOG, CW Reports, volume CW33, pages 8, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1984

@techreport{132539,
  author = "Bruynooghe, Maurice",
  title = "Some pragmatics of deriving negative information in {PROLOG}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW33",
  month = "Sep",
  year = "1984",
  url = "https://lirias.kuleuven.be/handle/123456789/132539",
}

• CW29. Huens, Jean; Verbaeten, Petrus, UNIX performance : comparing different hardware and software implementations, CW Reports, volume CW29, pages ii+61, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1984

@techreport{132711,
  author = "Huens, Jean and Verbaeten, Petrus",
  title = "{UNIX} performance : comparing different hardware and software implementations",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW29",
  month = "Mar",
  year = "1984",
  url = "https://lirias.kuleuven.be/handle/123456789/132711",
}

1983

3 references

• CW32. Bruynooghe, Maurice; Pereira, Louis M., Deduction revision by intelligent backtracking, CW Reports, volume CW32, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1983

@techreport{131871,
  author = "Bruynooghe, Maurice and Pereira, Louis M.",
  title = "Deduction revision by intelligent backtracking",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW32",
  month = "Jun",
  year = "1983",
  url = "https://lirias.kuleuven.be/handle/123456789/131871",
}

• CW31. Van Horebeek, Ivo; De Vlaminck, Karel; Lewi, Joannes; Steegmans, Eric; Van Braekel, Luc, A case study with LILA : A formal manipulator for polynomials, CW Reports, volume CW31, Department of Computer Science, K.U.Leuven., 1983

@techreport{131574,
  author = "Van Horebeek, Ivo and De Vlaminck, Karel and Lewi, Joannes and Steegmans, Eric and Van Braekel, Luc",
  title = "A case study with {LILA} : {A} formal manipulator for polynomials",
  institution = "Department of Computer Science, K.U.Leuven.",
  type = "{CW} {R}eports",
  volume = "CW31",
  month = "May",
  year = "1983",
  url = "https://lirias.kuleuven.be/handle/123456789/131574",
}

• CW30. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Steegmans, Eric, Error recovery in batch ELL(1) parsers: automatic generation, CW Reports, volume CW30, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1983

@techreport{132053,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Steegmans, Eric",
  title = "Error recovery in batch {ELL}(1) parsers: automatic generation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW30",
  month = "Jan",
  year = "1983",
  url = "https://lirias.kuleuven.be/handle/123456789/132053",
}

1982

3 references

• CW28. Bruynooghe, Maurice, A note on garbage collection in prolog interpreters, CW Reports, volume CW28, pages 4, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1982

@techreport{131601,
  author = "Bruynooghe, Maurice",
  title = "A note on garbage collection in prolog interpreters",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW28",
  month = "Jun",
  year = "1982",
  url = "https://lirias.kuleuven.be/handle/123456789/131601",
}

• CW27. Bruynooghe, Maurice, Adding redundancy to obtain more reliable and more readable prolog programs, CW Reports, volume CW27, pages 5, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1982

@techreport{131792,
  author = "Bruynooghe, Maurice",
  title = "Adding redundancy to obtain more reliable and more readable prolog programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW27",
  month = "Jun",
  year = "1982",
  url = "https://lirias.kuleuven.be/handle/123456789/131792",
}

• CW26. Bruynooghe, Maurice, Implementatie van PROLOG, CW Reports, volume CW26, pages 14, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1982

@techreport{132088,
  author = "Bruynooghe, Maurice",
  title = "Implementatie van {PROLOG}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW26",
  month = "May",
  year = "1982",
  url = "https://lirias.kuleuven.be/handle/123456789/132088",
}

1981

2 references

• CW25. Ballieu, Gerard, Microprograms for the calling sequence in C-programs, CW Reports, volume CW25, pages 9, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1981

@techreport{134630,
  author = "Ballieu, Gerard",
  title = "Microprograms for the calling sequence in {C}-programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW25",
  month = "May",
  year = "1981",
  url = "https://lirias.kuleuven.be/handle/123456789/134630",
}

• CW23. Bruynooghe, Maurice; Pereira, Louis M., Revision of top-down logical reasoning through intelligent backtracking, CW Reports, volume CW23, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1981

@techreport{132528,
  author = "Bruynooghe, Maurice and Pereira, Louis M.",
  title = "Revision of top-down logical reasoning through intelligent backtracking",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW23",
  month = "Mar",
  year = "1981",
  url = "https://lirias.kuleuven.be/handle/123456789/132528",
}

1980

4 references

• CW24. Ballieu, Gerard; Willems, Yves, The PDP11/60 microprogramming architecture, CW Reports, volume CW24, pages 29, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1980

@techreport{132639,
  author = "Ballieu, Gerard and Willems, Yves",
  title = "The {PDP}11/60 microprogramming architecture",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW24",
  month = "Sep",
  year = "1980",
  url = "https://lirias.kuleuven.be/handle/123456789/132639",
}

• CW22. Ballieu, Gerard; Willems, Yves; Lewi, Joannes, A register transfer language for microprogramming the PDP11/60, CW Reports, volume CW22, pages 6, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1980

@techreport{131608,
  author = "Ballieu, Gerard and Willems, Yves and Lewi, Joannes",
  title = "A register transfer language for microprogramming the {PDP}11/60",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW22",
  month = "Aug",
  year = "1980",
  url = "https://lirias.kuleuven.be/handle/123456789/131608",
}

• CW21. Bruynooghe, Maurice, The memory management of PROLOG implementations, CW Reports, volume CW21, pages 9, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1980

@techreport{132678,
  author = "Bruynooghe, Maurice",
  title = "The memory management of {PROLOG} implementations",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW21",
  month = "Jun",
  year = "1980",
  url = "https://lirias.kuleuven.be/handle/123456789/132678",
}

• CW20. Venken, Dirk, A comparative study of 16-bit microprocessors, CW Reports, volume CW20, pages 21, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1980

@techreport{134616,
  author = "Venken, Dirk",
  title = "A comparative study of 16-bit microprocessors",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW20",
  month = "May",
  year = "1980",
  url = "https://lirias.kuleuven.be/handle/123456789/134616",
}

1979

2 references

• CW19. Bruynooghe, Maurice, Analysis of dependencies to improve the behaviour of logic programs, CW Reports, volume CW19, pages 16, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1979

@techreport{131833,
  author = "Bruynooghe, Maurice",
  title = "Analysis of dependencies to improve the behaviour of logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW19",
  month = "Oct",
  year = "1979",
  url = "https://lirias.kuleuven.be/handle/123456789/131833",
}

• CW18. Bruynooghe, Maurice, Solving combinatorial search problems by intelligent backtracking, CW Reports, volume CW18, pages 12, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1979

@techreport{132555,
  author = "Bruynooghe, Maurice",
  title = "Solving combinatorial search problems by intelligent backtracking",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW18",
  month = "Sep",
  year = "1979",
  url = "https://lirias.kuleuven.be/handle/123456789/132555",
}

1978

5 references

• CW17. Verbaeten, Petrus; Ballieu, Gerard; Huens, Jean; Huysmans, Albert; Wambecq, Albert; Willems, Yves; Wirix, Jan, Evaluation of current minicomputer systems, CW Reports, volume CW17, pages 64, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1978

@techreport{132065,
  author = "Verbaeten, Petrus and Ballieu, Gerard and Huens, Jean and Huysmans, Albert and Wambecq, Albert and Willems, Yves and Wirix, Jan",
  title = "Evaluation of current minicomputer systems",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW17",
  month = "Dec",
  year = "1978",
  url = "https://lirias.kuleuven.be/handle/123456789/132065",
}

• CW16. Bruynooghe, Maurice, Intelligent backtracking for an interpreter of Horn clause logic programs, CW Reports, volume CW16, pages 26, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1978

@techreport{132113,
  author = "Bruynooghe, Maurice",
  title = "Intelligent backtracking for an interpreter of {H}orn clause logic programs",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW16",
  month = "Sep",
  year = "1978",
  url = "https://lirias.kuleuven.be/handle/123456789/132113",
}

• CW14. Huysmans, Albert, Een C kruisvertaler met LILA, CW Reports, volume CW14, pages 71, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1978

@techreport{134627,
  author = "Huysmans, Albert",
  title = "Een {C} kruisvertaler met {LILA}",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW14",
  month = "Mar",
  year = "1978",
  url = "https://lirias.kuleuven.be/handle/123456789/134627",
}

• CW13. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Huybrechts, M., Project LILA : Programming Methodology in compiler construction Part I Theory, CW Reports, volume CW13, pages xiv+341, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1978

@techreport{132404,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Huybrechts, M",
  title = "Project {LILA} : {P}rogramming {M}ethodology in compiler construction {P}art {I} {T}heory",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW13",
  month = "Feb",
  year = "1978",
  url = "https://lirias.kuleuven.be/handle/123456789/132404",
}

• CW12. Ballieu, Gerard; Jourand, R.; Willems, Yves; Lewi, Joannes, The REGTRAL language and its implementation, CW Reports, volume CW12, pages 75, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1978

@techreport{132637,
  author = "Ballieu, Gerard and Jourand, R and Willems, Yves and Lewi, Joannes",
  title = "The {REGTRAL} language and its implementation",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW12",
  month = "Apr",
  year = "1978",
  url = "https://lirias.kuleuven.be/handle/123456789/132637",
}

1977

3 references

• CW11. Jourand, R.; Lewi, Joannes; Willems, Yves, REGTRAL : A Register Transfer Language for the Varian V73, CW Reports, volume CW11, pages 6, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1977

@techreport{132412,
  author = "Jourand, R and Lewi, Joannes and Willems, Yves",
  title = "{REGTRAL} : {A} {R}egister {T}ransfer {L}anguage for the {V}arian {V}73",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW11",
  month = "Apr",
  year = "1977",
  url = "https://lirias.kuleuven.be/handle/123456789/132412",
}

• CW7. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Huybrechts, M., Project LILA : The ELL(1) generator, user's manual, CW Reports, volume CW7, pages 167, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1977

@techreport{132396,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Huybrechts, M",
  title = "Project {LILA} : {T}he {ELL}(1) generator, user's manual",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW7",
  month = "Aug",
  year = "1977",
  url = "https://lirias.kuleuven.be/handle/123456789/132396",
}

• CW6. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Huybrechts, M., Project LILA : The ELL(1) generator, primer, CW Reports, volume CW6, pages 98, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1977

@techreport{132397,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Huybrechts, M",
  title = "Project {LILA} : {T}he {ELL}(1) generator, primer",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW6",
  month = "Nov",
  year = "1977",
  url = "https://lirias.kuleuven.be/handle/123456789/132397",
}

1976

5 references

• CW10. Bruynooghe, Maurice, An interpreter for predicate logic programs. Part I : Basic principles, CW Reports, volume CW10, pages 24, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1976

@techreport{131820,
  author = "Bruynooghe, Maurice",
  title = "An interpreter for predicate logic programs. {P}art {I} : {B}asic principles",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW10",
  month = "Oct",
  year = "1976",
  url = "https://lirias.kuleuven.be/handle/123456789/131820",
}

• CW9. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Huybrechts, M., Project LILA : The ELL(1) generator of LILA, an introduction, CW Reports, volume CW9, pages 23, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1976

@techreport{132402,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Huybrechts, M",
  title = "Project {LILA} : {T}he {ELL}(1) generator of {LILA}, an introduction",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW9",
  month = "Sep",
  year = "1976",
  url = "https://lirias.kuleuven.be/handle/123456789/132402",
}

• CW8. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Huybrechts, M., Project LILA : The ELL(1) generator, error recovery, CW Reports, volume CW8, pages 88, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1976

@techreport{132398,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Huybrechts, M",
  title = "Project {LILA} : {T}he {ELL}(1) generator, error recovery",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW8",
  month = "Sep",
  year = "1976",
  url = "https://lirias.kuleuven.be/handle/123456789/132398",
}

• CW5. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Huybrechts, M., Project LILA : The ELL(1) generator, basic principles, CW Reports, volume CW5, pages 203, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1976

@techreport{132400,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Huybrechts, M",
  title = "Project {LILA} : {T}he {ELL}(1) generator, basic principles",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW5",
  month = "Jul",
  year = "1976",
  url = "https://lirias.kuleuven.be/handle/123456789/132400",
}

• CW4. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean, Project LILA : FIGDRAW and PICO-ALGOL, an experience with LILA in a course on compilerconstruction, CW Reports, volume CW4, pages 89, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1976

@techreport{132405,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean",
  title = "Project {LILA} : {FIGDRAW} and {PICO}-{ALGOL}, an experience with {LILA} in a course on compilerconstruction",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW4",
  month = "Jan",
  year = "1976",
  url = "https://lirias.kuleuven.be/handle/123456789/132405",
}

1975

3 references

• CW3. Lewi, Joannes, Typebehandeling in Algol 68 en de invloed ervan op de bouw van compilatoren, CW Reports, volume CW3, pages 34, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1975

@techreport{134647,
  author = "Lewi, Joannes",
  title = "Typebehandeling in {A}lgol 68 en de invloed ervan op de bouw van compilatoren",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW3",
  month = "Nov",
  year = "1975",
  url = "https://lirias.kuleuven.be/handle/123456789/134647",
}

• CW2. Bruynooghe, Maurice, The inheritance of links in a connection graph, CW Reports, volume CW2, pages 38, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1975

@techreport{132680,
  author = "Bruynooghe, Maurice",
  title = "The inheritance of links in a connection graph",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW2",
  month = "Oct",
  year = "1975",
  url = "https://lirias.kuleuven.be/handle/123456789/132680",
}

• CW1. Lewi, Joannes; De Vlaminck, Karel; Huens, Jean; Mertens, P., SLS/1 : a translator writing system, CW Reports, volume CW1, pages 28, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1975

@techreport{132416,
  author = "Lewi, Joannes and De Vlaminck, Karel and Huens, Jean and Mertens, P",
  title = "{SLS}/1 : a translator writing system",
  institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
  type = "{CW} {R}eports",
  volume = "CW1",
  month = "May",
  year = "1975",
  url = "https://lirias.kuleuven.be/handle/123456789/132416",
}

Bibtexs of this page

• toggle (un)hide bibtex