The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bart Demoen" ( http://dblp.L3S.de/Authors/Bart_Demoen )

URL (Homepage):  http://www.cs.kuleuven.ac.be/~bmd/  Author page on DBLP  Author page in RDF  Community of Bart Demoen in ASPL-2

Publication years (Num. hits)
1987-1992 (15) 1993-1996 (16) 1997-2000 (21) 2001-2005 (19) 2006-2007 (15) 2008-2011 (18) 2012-2017 (15) 2018 (1)
Publication types (Num. hits)
article(46) incollection(5) inproceedings(67) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 8 keywords

Results
Found 121 publication records. Showing 120 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Zimcke Van de Staey, Tobias Verlinde, Bart Demoen, Bern Martens Co-de: an online learning platform for computational thinking. Search on Bibsonomy WiPSCE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bern Martens, Bart Demoen, Febe Karpez, Dorien Vandenhove, Kristien Van Loon Bringing Algorithms to Flemish Classrooms: Teaching the Teachers, and some Students. Search on Bibsonomy WiPSCE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Phuong-Lan Nguyen Graphs with coloring redundant edges. Search on Bibsonomy EJGTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001, Bart Demoen A method for detecting symmetries in constraint models and its generalisation. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Willem Van Onsem, Bart Demoen, Patrick De Causmaecker Learning a Hidden Markov Model-Based Hyper-heuristic. Search on Bibsonomy LION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tom Decroos, Patrick De Causmaecker, Bart Demoen Solving Euclidean Steiner Tree Problems with Multi Swarm Optimization. Search on Bibsonomy GECCO (Companion) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace 0001 Lightweight dynamic symmetry breaking. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter Tor: Modular search with hookable disjunction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Maria Garcia de la Banda Redundant Sudoku rules. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Maria Garcia de la Banda Redundant disequalities in the Latin Square problem. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Phuong-Lan Nguyen, Bart Demoen Representation sharing for Prolog. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker Delimited continuations for prolog. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Maria Garcia de la Banda Redundant Sudoku Rules Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Bart Demoen, Maria Garcia de la Banda Introduction to the special issue on Prolog systems. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Markus Triska, Bart Demoen Tor: extensible search with hookable disjunction. Search on Bibsonomy PPDP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Timon Van Overveldt, Bart Demoen High-Level Multi-Threading in hProlog Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Phuong-Lan Nguyen, Bart Demoen Representation Sharing for Prolog Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha 0001 On the implementation of the probabilistic logic programming language ProbLog. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha 0001 On the Implementation of the Probabilistic Logic Programming Language ProbLog Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen The computational power and complexity of constraint handling rules. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constant factors, complexity, Constraint Handling Rules
1Bart Demoen Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alexander Serebrenik, Tom Schrijvers, Bart Demoen Improving Prolog programs: Refactoring for Prolog. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, David Scott Warren TCHR: a framework for tabled CLP. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Leslie De Koninck, Tom Schrijvers, Bart Demoen A Flexible Search Framework for CHR. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Guard Reasoning in the Refined Operational Semantics of CHR. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen CHR for Imperative Host Languages. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen A Novel Approach For Detecting Symmetries in CSP Models. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Phuong-Lan Nguyen Environment Reuse in the WAM. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen Uniting the Prolog Community. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Phuong-Lan Nguyen Two WAM Implementations of Action Rules. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen Towards Typed Prolog. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha 0001, Bart Demoen, Luc De Raedt On the Efficient Execution of ProbLog Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, David Scott Warren TCHR: a framework for tabled CLP Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Alexander Serebrenik, Tom Schrijvers, Bart Demoen Improving Prolog programs: Refactoring for Prolog Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Ruben Vandeginste, Bart Demoen Incremental copying garbage collection for WAM-based Prolog systems. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele Fast Frequent Querying with Lazy Control Flow Compilation. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen Aggregates in Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Leslie De Koninck, Tom Schrijvers, Bart Demoen The Correspondence Between the Logical Algorithms Language and CHR. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Leslie De Koninck, Tom Schrijvers, Bart Demoen User-definable rule priorities for CHR. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF rule priorities, constraint handling rules, execution control
1Peter Van Weert, Jon Sneyers, Bart Demoen Aggregates for CHR through Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth Automatic Implication Checking for CHR Constraints. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele Fast Frequent Querying with Lazy Control Flow Compilation Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Ruben Vandeginste, Bart Demoen Incremental copying garbage collection for WAM-based Prolog systems Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey Improving PARMA trailing. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Memory Reuse for CHR. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Leslie De Koninck, Tom Schrijvers, Bart Demoen INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey Improving PARMA Trailing Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen Checking modes of HAL programs. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bart Demoen Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Guard and Continuation Optimization for Occurrence Representations of CHR. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Guard Simplification in CHR programs. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Edgar G. Daylight, Bart Demoen, Francky Catthoor Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen Checking modes of HAL programs Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Bart Demoen, Vladimir Lifschitz (eds.) Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey Herbrand Constraints in HAL. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer Query Transformations for Improving the Efficiency of ILP Systems. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2003 DBLP  BibTeX  RDF
1Alexander Serebrenik, Bart Demoen Refactoring Logic Programs: Extended Abstract. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen Segment Order Preserving and Generational Garbage Collection for Prolog. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bart Demoen A Different Look at Garbage Collection for the WAM. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste Copying Garbage Collection for the WAM: To Mark or Not to Mark? Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Maria J. García de la Banda, Bart Demoen Trailing Analysis for HAL. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey To the Gates of HAL: A HAL Tutorial. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen Combining an improvement to PARMA trailing with trailing analysis. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF PARMA, program analysis, trailing
1Bart Demoen, Konstantinos Sagonas Heap Memory Management in Prolog with Tabling: Principles and Practice. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens Project Report on LP+: A Second Generation Logic Programming Language. Search on Bibsonomy AI Commun. The full citation details ... 2000 DBLP  BibTeX  RDF
1Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen Scaling Up Inductive Logic Programming by Learning from Interpretations Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Bart Demoen, Konstantinos Sagonas CHAT: the copy-hybrid approach to tabling. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Konstantinos Sagonas Heap Garbage Collection in XSB: Practice and Experience. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Phuong-Lan Nguyen So Many WAM Variations, So Little Time. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer Two Advanced Transormations for Improving the Efficiency of an ILP system. Search on Bibsonomy ILP Work-in-progress reports The full citation details ... 2000 DBLP  BibTeX  RDF
1Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele Executing Query Packs in ILP. Search on Bibsonomy ILP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, P. Keyngnaert, Bart Demoen On the Static Analysis of Indirect Control Transfers in Binaries. Search on Bibsonomy PDPTA The full citation details ... 2000 DBLP  BibTeX  RDF
1Bart Demoen Prolog and abduction 4 writing garbage collectors. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen Scaling Up Inductive Logic Programming by Learning from Interpretations. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Konstantinos Sagonas CAT: The Copying Approach to Tabling Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 1999 DBLP  BibTeX  RDF
1Bart Demoen, Konstantinos Sagonas CHAT: The Copy-Hybrid Approach to Tabling. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Konstantinos Sagonas CHAT Is Theta(SLG-Wam). Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Henk Vandecasteele, Bart Demoen, Gerda Janssens A Finite Domain CLP Solver on Top of Mercury. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey Herbrand Constraint Solving in HAL. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey An Overview of HAL. Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Codish, Bart Demoen, Konstantinos Sagonas Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Semantics-based program analysis, Logic programming language analysis, XSB
1Bart Demoen, Konstantinos Sagonas CAT: The Copying Approach to Tabling. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Konstantinos Sagonas Memory Management for Prolog with Tabling. Search on Bibsonomy ISMM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Prolog
1Paul Tarau, Koenraad De Bosschere, Bart Demoen On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Codish, Bart Demoen, Konstantinos Sagonas XSB as the Natural Habitat for General Purpose Program Analysis. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Paul Tarau, Koenraad De Bosschere, Bart Demoen Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. Search on Bibsonomy J. Log. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bart Demoen, Geert Engels, Paul Tarau Segment order preserving copying garbage collection for WAM based Prolog. Search on Bibsonomy SAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF WAM based Prolog implementation, memory management of logic programming languages, segment order preserving copying garbage collection, Prolog, Prolog
1Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. Search on Bibsonomy SAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michael Codish, Bart Demoen Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand. Search on Bibsonomy J. Log. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Bart Demoen, Koenraad De Bosschere The power of partial tanslation: an experiment with the C-ification of binary Prolog. Search on Bibsonomy SAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF BinWAM, compilation of binary prolog, programming language translation techniques, prolog to C translation, Prolog, C, WAM
1Patrick Weemeeuw, Bart Demoen A Fine-Grained Parallel Memory Compaction Algorithm. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Koenraad De Bosschere, Bart Demoen, Paul Tarau (eds.) ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994 Search on Bibsonomy ILPS Workshop: Implementation Techniques for Logic Programming Languages The full citation details ... 1994 DBLP  BibTeX  RDF
1Michael Codish, Bart Demoen Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. Search on Bibsonomy GULP-PRODE (1) The full citation details ... 1994 DBLP  BibTeX  RDF
1Michael Codish, Bart Demoen Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. Search on Bibsonomy ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages The full citation details ... 1994 DBLP  BibTeX  RDF
1Bart Demoen, Greet Maris A Comparison of Some Schemes for Translating Logic to C. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
1Paul Tarau, Bart Demoen Language Embedding by Dual Compilation and State Mirroring. Search on Bibsonomy LPE The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 120 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license