arXiv 2004-04-25 EN Multi-Threading And Message Communication In Qu-Prolog Clark, Keith L. · Robinson, Peter J. · Hagen, Richard
arXiv 2004-04-24 EN A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types Arenas-Sanchez, Puri · Rodriguez-Artalejo, Mario
arXiv 2004-04-05 EN Delimited continuations in natural language: quantification and polarity sensitivity Shan, Chung-chieh
arXiv 2004-03-23 EN Schedulers and Redundancy for a Class of Constraint Propagation Rules Brand, Sebastian · Apt, Krzysztof R.
arXiv 2004-03-21 EN Integrating design synthesis and assembly of structured objects in a visual design language Banyasad, Omid · Cox, Philip T.
arXiv 2004-03-12 EN A Comparative Study of Arithmetic Constraints on Integer Intervals Apt, Krzysztof R. · Zoeteweij, Peter
arXiv 2004-03-09 EN Polymorphic lemmas and definitions in Lambda Prolog and Twelf Appel, Andrew W. · Felty, Amy P.
arXiv 2004-03-09 EN Specialization of Functional Logic Programs Based on Needed Narrowing Alpuente, Maria · Hanus, Michael · Lucas, Salvador · Vidal, German
arXiv 2004-02-20 EN Transformation Rules for Locally Stratified Constraint Logic Programs Fioravanti, Fabio · Pettorossi, Alberto · Proietti, Maurizio
arXiv 2004-01-26 EN A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages Hill, Patricia M. · Zaffanella, Enea · Bagnara, Roberto
arXiv 2004-01-26 EN Enhanced sharing analysis techniques: a comprehensive evaluation Bagnara, Roberto · Zaffanella, Enea · Hill, Patricia M.
arXiv 2003-12-16 EN Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library Cabeza, Daniel · Hermenegildo, Manuel V.
arXiv 2003-12-15 EN Speedup of Logic Programs by Binarization and Partial Deduction Hruza, Jan · Stepanek, Petr
arXiv 2003-12-12 EN Inferring Termination Conditions for Logic Programs using Backwards Analysis Genaim, Samir · Codish, Michael
arXiv 2003-11-27 EN Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism Pettorossi, Alberto · Proietti, Maurizio · Renault, Sophie
arXiv 2003-11-27 EN Combining Logic Programs and Monadic Second Order Logics by Program Transformation Fioravanti, F. · Pettorossi, A. · Proietti, M.
