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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • CW174. Maelbrancke, Rudi; Olivié, Hendrik, Optimal balance revisited, CW Reports, volume CW174, pages 13, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 PDF BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • CW160. Bruynooghe, Maurice; Winsborough, Will, Type graph unification, CW Reports, volume CW160, pages 18, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • CW48. Bruynooghe, Maurice, Is logic programming real programming?, CW Reports, volume CW48, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • CW43. Bruynooghe, Maurice, Compile time garbage collection, CW Reports, volume CW43, pages 35, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1986 BibTeX

Top

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 BibTeX
  • CW44. Bruynooghe, Maurice, Graph coloring and constraint satisfaction, CW Reports, volume CW44, pages 6, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • CW40. Ballieu, Gerard, The SPROLOG system: implementation, CW Reports, volume CW40, pages 47, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985 BibTeX
  • CW39. Ballieu, Gerard; Willems, Yves, The SPROLOG system, CW Reports, volume CW39, pages 28, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1985 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • CW26. Bruynooghe, Maurice, Implementatie van PROLOG, CW Reports, volume CW26, pages 14, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1982 BibTeX

Top

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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 PDF BibTeX
  • CW14. Huysmans, Albert, Een C kruisvertaler met LILA, CW Reports, volume CW14, pages 71, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1978 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

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 BibTeX
  • 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 PDF BibTeX
  • 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 BibTeX

Top

Bibtexs of this page