@MANUAL{A68Manual85, title = {A68 Assembler Reference Manual}, year = {1985} } @INPROCEEDINGS{AasaPeterssonSynek88, author = {Aasa, A. and Petersson, K. and Synek, D.}, title = {Concrete Syntax for Data Objects in Functional Languages}, year = {1988}, booktitle = {Proc. Lisp and Functional Programming Conference} } @INPROCEEDINGS{AbadiManna87, author = {Abadi, M. and Manna, Z.}, title = {Temporal Logic Programming}, year = {1987}, address = {San Francisco}, pages = {4-16}, booktitle = {Proc. 4th IEEE Internat. Symposium on Logic Programming} } @INPROCEEDINGS{AbdennadherFruehwirthMeuss96, author = {Abdennadher, S. and Fr{\"u}hwirth, T. and Meuss, H.}, title = {On Confluence of Constraint Handling Rules}, year = {1996}, publisher = {Springer LNCS 1118}, booktitle = {Proc. 2nd International Conference on Principles and Practice of Constraint Programming (CP'96)} } @TECHREPORT{AbdennadherFruehwirthMeuss97, author = {Abdennadher, S. and Fr{\"u}hwirth, T. and Meuss, H.}, title = {Confluence and Semantics of Constraint Simplification Rules}, year = {1997}, type = {Technical Report, submitted to Constraint Journal}, institution = {LMU M{\"u}nchen} } @MISC{Abiteboul92, author = {Abiteboul, S.}, title = {Deductive and Object-Oriented Databases}, year = {1992}, howpublished = {Tutorial notes for JICSLP'92} } @INPROCEEDINGS{Abramsky85, author = {Abramsky, S.}, title = {Strictness Analysis and Polymorphic Invariance}, year = {1985}, pages = {1-23}, publisher = {Springer LNCS 217}, booktitle = {Programs as Data Objects} } @MISC{Abramsky92, author = {Abramsky, S.}, title = {Tutorial on Linear Logic}, year = {1992}, howpublished = {Tutorial notes presented at LICS'92} } @BOOK{AbramskyHankin87, title = {Abstract Interpretation of Declarative Languages}, year = {1987}, editor = {Abramsky, S. and Hankin, C.}, publisher = {Ellis Horwood} } @INCOLLECTION{AbramskyHankin87Intro, author = {Abramsky, S. and Hankin, C.}, title = {An introduction to abstract interpretation}, year = {1987}, pages = {9-31}, publisher = {Ellis Horwood}, booktitle = {Abstract Interpretation of Declarative Languages}, editor = {Abramsky, S. and Hankin, C.} } @INPROCEEDINGS{Abramson84, author = {Abramson, H.}, title = {Definite Clause Translation Grammars}, year = {1984}, pages = {233-240}, address = {Atlantic City}, booktitle = {Proc. IEEE Internat. Symposium on Logic Programming} } @TECHREPORT{Abramson84a, author = {Abramson, H.}, title = {Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars}, year = {1984}, type = {Technical Report 84-11}, institution = {Univ. of British Columbia, Vancouver} } @BOOK{Abts02, author = {Abts, D.}, title = {Grundkurs Java}, year = {2002}, publisher = {Vieweg} } @BOOK{Abts07, author = {Abts, D.}, title = {Masterkurs Client/Server-Programmierung mit Java}, year = {2007}, publisher = {Vieweg} } @TECHREPORT{Agapiev96, author = {Agapiev, B.}, title = {An Equational Presentation of Logic Programming}, year = {1996}, institution = {Oregon Graduate Insitute of Science and Technology, Beaverton} } @INPROCEEDINGS{AgesenFreundMitchell97, author = {Agesen, O. and Freund, S.N. and Mitchell, J.C.}, title = {Adding Type Parameterization to the Java Language}, year = {1997}, publisher = {ACM SIGPLAN Notices Vol. 32 No. 10}, pages = {49-65}, booktitle = {Proc. OOPSLA'97} } @INPROCEEDINGS{AggounBeldiceanu91, author = {Aggoun, A. and Beldiceanu, N.}, title = {Overview of the CHIP Compiler System}, year = {1991}, pages = {775-789}, publisher = {MIT Press}, booktitle = {Proc. International Conference on Logic Programming} } @ARTICLE{Agha90, author = {Agha, G.}, title = {Concurrent Object-Oriented Programming}, year = {1990}, pages = {125-141}, journal = {Communications of the ACM}, number = {9}, volume = {33} } @INPROCEEDINGS{AguzziVerri89, author = {Aguzzi, G. and Verri, M.C.}, title = {On the termination of a unification procedure}, year = {1989}, pages = {59-70}, booktitle = {Proc. of the Third Italian Conference on Theoretical Computer Science} } @BOOK{AhoLamSethiUllman07, author = {Aho, A.V. and Lam, M.S. and Sethi, R. and Ullman, J.D.}, title = {Compilers: Principles, Techniques and Tools (2nd ed.)}, year = {2007}, publisher = {Pearson Education} } @BOOK{AhoSethiUllman85, author = {Aho, A.V. and Sethi, R. and Ullman, J.D.}, title = {Compilers: Principles, Techniques and Tools}, year = {1985}, publisher = {Addison-Wesley}, address = {Reading, Mass.} } @INPROCEEDINGS{AibaSakaiSatoHawleyHasegawa88, author = {Aiba, A. and Sakai, K. and Sato, Y. and Hawley, D.J. and Hasegawa, R.}, title = {Constraint Logic Programming Language CAL}, year = {1988}, pages = {263-276}, booktitle = {Proc. Int. Conf. on Fifth Generation Computer Systems} } @INPROCEEDINGS{Aiken94, author = {Aiken, A.}, title = {Set Constraints: Results, Applications and Future Directions}, year = {1994}, pages = {326-335}, publisher = {Springer LNCS 874}, booktitle = {Principles and Practice of Constraint Programming} } @INPROCEEDINGS{Ait-Kaci90, author = {A{\"\i}t-Kaci, H.}, title = {An Overview of LIFE}, year = {1990}, pages = {42-58}, publisher = {Springer LNCS 504}, editor = {Schmidt, J.W. and Stogny, A.A.}, booktitle = {Proc. Workshop on Next Generation Information System Technology} } @TECHREPORT{Ait-Kaci90WAMreport, author = {A{\"\i}t-Kaci, H.}, title = {The WAM: A (Real) Tutorial}, year = {1990}, type = {Research Report 5}, institution = {DEC Paris Research Laboratory} } @BOOK{Ait-Kaci91, author = {A{\"\i}t-Kaci, H.}, title = {Warren's Abstract Machine}, year = {1991}, publisher = {MIT Press} } @MISC{Ait-Kaci93, author = {A{\"\i}t-Kaci, H.}, title = {Programming with LIFE}, year = {1993}, howpublished = {Slides of a tutorial presented at ILPS'93} } @MISC{Ait-KaciGarrique92, author = {A{\"\i}t-Kaci, H. and Garrique, J.}, title = {Label-Selective $\lambda$-Calculus}, year = {1992}, howpublished = {DEC Paris Research Laboratory} } @TECHREPORT{Ait-KaciLincoln88, author = {A{\"\i}t-Kaci, H. and Lincoln, P.}, title = {LIFE: A Natural Language for Natural Language}, year = {1988}, type = {Technical Report Number ACA-ST-074-88}, institution = {MCC} } @INPROCEEDINGS{Ait-KaciLincolnNasr87, author = {A{\"\i}t-Kaci, H. and Lincoln, P. and Nasr, R.}, title = {Le Fun: Logic, equations, and Functions}, year = {1987}, address = {San Francisco}, pages = {17-23}, booktitle = {Proc. 4th IEEE Internat. Symposium on Logic Programming} } @ARTICLE{Ait-KaciNasr86, author = {A{\"\i}t-Kaci, H. and Nasr, R.}, title = {LOGIN: A Logic Programming Language with Built-In Inheritance}, year = {1986}, pages = {185-215}, journal = {Journal of Logic Programming (3)} } @TECHREPORT{Ait-KaciPodelski91FunctionsReport, author = {A{\"\i}t-Kaci, H. and Podelski, A.}, title = {Functions as Passive Constraints in LIFE}, year = {1991}, institution = {DEC Paris Research Laboratory}, type = {Research Report 13} } @INPROCEEDINGS{Ait-KaciPodelski91PLILP, author = {A{\"\i}t-Kaci, H. and Podelski, A.}, title = {Towards a Meaning of LIFE}, year = {1991}, pages = {255-274}, publisher = {Springer LNCS 528}, booktitle = {Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming} } @TECHREPORT{Ait-KaciPodelski91Report, author = {A{\"\i}t-Kaci, H. and Podelski, A.}, title = {Towards a Meaning of LIFE}, year = {1991}, institution = {DEC Paris Research Laboratory}, type = {Research Report 11} } @MISC{Ait-KaciPodelski92, author = {A{\"\i}t-Kaci, H. and Podelski, A.}, title = {Logic Programming with Order-Sorted Features and Functions}, year = {1992}, howpublished = {DEC Paris Research Laboratory} } @ARTICLE{Ait-KaciPodelski94TOPLAS, author = {A{\"\i}t-Kaci, H. and Podelski, A.}, title = {Functions as Passive Constraints in LIFE}, year = {1994}, pages = {1279-1318}, number = {4}, volume = {16}, journal = {ACM Transactions on Programming Languages and Systems} } @MISC{Ait-KaciPodelskiGoldstein92, author = {A{\"\i}t-Kaci, H. and Podelski, A. and Goldstein, S.C.}, title = {Order-Sorted Feature Theory Unification}, year = {1992}, howpublished = {DEC Paris Research Laboratory} } @INPROCEEDINGS{Ait-KaciPodelskiSmolka92, author = {A{\"\i}t-Kaci, H. and Podelski, A. and Smolka, G.}, title = {A Feature-based Constraint System for Logic Programming with Entailment}, year = {1992}, pages = {1012-1021}, booktitle = {Proc. Fifth Generation Computer Systems 1992} } @INPROCEEDINGS{Alabiso88, author = {Alabiso, B.}, title = {Transformation of Data Flow Analysis Models to Object Oriented Design}, year = {1988}, pages = {335-353}, booktitle = {Proc. OOPSLA'88}, publisher = {SIGPLAN Notices 23(11)} } @TECHREPORT{AlbertAlpuenteFalaschiVidal98INDY, author = {Albert, E. and Alpuente, M. and Falaschi, M. and Vidal, G.}, title = {INDY User's Manual}, year = {1998}, type = {Technical report DSIC-II/12/98}, institution = {Univ. Valencia} } @INPROCEEDINGS{AlbertAlpuenteHanusVidal99LPAR, author = {Albert, E. and Alpuente, M. and Hanus, M. and Vidal, G.}, title = {A Partial Evaluation Framework for Curry Programs}, year = {1999}, pages = {376-395}, publisher = {Springer LNCS 1705}, booktitle = {Proc.\ of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99)} } @INPROCEEDINGS{AlbertAntoyVidal01, author = {Albert, E. and Antoy, S. and Vidal, G.}, title = {Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages}, year = {2001}, booktitle = {Proc.\ of 10th Int'l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000)}, pages = {103-124}, publisher = {Springer LNCS 2042} } @TECHREPORT{AlbertCasasFagesZimmermann90, author = {Albert, L. and Casas, R. and Fages, F. and Zimmermann, P.}, title = {Average Case Analysis of Unification Algorithms}, year = {1990}, type = {RR 1213}, institution = {INRIA} } @ARTICLE{AlbertEtAl02WFLPENTCS, author = {Albert, E. and Hanus, M. and Huch, F. and Oliver, J. and Vidal, G.}, title = {Operational Semantics for Functional Logic Languages}, year = {2002}, journal = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier Science Publishers}, volume = {76} } @ARTICLE{AlbertEtAl05, author = {Albert, E. and Puebla, G. and Hermenegildo, M.}, title = {An Abstract Interpretation-based Approach to Mobile Code Safety}, year = {2005}, journal = {Electronic Notes in Theoretical Computer Science}, pages = {113-129}, volume = {132} } @INPROCEEDINGS{AlbertEtAl98SAS, author = {Albert, E. and Alpuente, M. and Falaschi, M. and Juli{\'a}n, P. and Vidal, G.}, title = {Improving Control in Functional Logic Program Specialization}, year = {1998}, publisher = {Springer LNCS 1503}, booktitle = {Proc. of SAS'98} } @INPROCEEDINGS{AlbertHanusHuchOliverVidal02WFLP, author = {Albert, E. and Hanus, M. and Huch, F. and Oliver, J. and Vidal, G.}, title = {An Operational Semantics for Declarative Multi-Paradigm Languages}, year = {2002}, booktitle = {Proc. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)}, pages = {7-20}, publisher = {Research Report UDMI/18/2002/RR, University of Udine} } @INPROCEEDINGS{AlbertHanusHuchOliverVidal02WRS, author = {Albert, E. and Hanus, M. and Huch, F. and Oliver, J. and Vidal, G.}, title = {Operational Semantics for Lazy Functional Logic Programs}, year = {2002}, booktitle = {Proc. 2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)}, pages = {97-112}, publisher = {Technical Report E1852-2002-02, TU Wien} } @ARTICLE{AlbertHanusHuchOliverVidal05, author = {Albert, E. and Hanus, M. and Huch, F. and Oliver, J. and Vidal, G.}, title = {Operational Semantics for Declarative Multi-Paradigm Languages}, year = {2005}, journal = {Journal of Symbolic Computation}, number = {1}, pages = {795-829}, volume = {40} } @INPROCEEDINGS{AlbertHanusVidal00LPAR, author = {Albert, E. and Hanus, M. and Vidal, G.}, title = {Using an Abstract Representation to Specialize Functional Logic Programs}, year = {2000}, pages = {381-398}, publisher = {Springer LNCS 1955}, booktitle = {Proc.\ of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000)} } @INPROCEEDINGS{AlbertHanusVidal01FLOPS, author = {Albert, E. and Hanus, M. and Vidal, G.}, title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language}, year = {2001}, booktitle = {Proc.\ of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001)}, pages = {326-342}, publisher = {Springer LNCS 2024} } @ARTICLE{AlbertHanusVidal02JFLP, author = {Albert, E. and Hanus, M. and Vidal, G.}, title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language}, year = {2002}, journal = {Journal of Functional and Logic Programming}, number = {1}, publisher = {EAPLS}, volume = {2002} } @INPROCEEDINGS{AllenNixPerlis81, author = {Allen, T. and Nix, R. and Perlis, A.}, title = {PEN: A Hierarchical Document Editor}, year = {1981}, pages = {74-81}, publisher = {SIGOA Newsletter, Vol. 2, No. 1+2}, booktitle = {Proc. ACM SIGPLAN SIGOA Symposium on Text Manipulation, Portland/Oregon} } @ARTICLE{AlmendrosBecerra03, author = {Almendros-Jim{\'e}nez, J.M. and Becerra-Ter{\'o}n, A.}, title = {A Safe Relational Calculus for Functional Logic Deductive Databases}, year = {2003}, journal = {Electronic Notes in Theoretical Computer Science}, number = {3}, volume = {86} } @INPROCEEDINGS{AlpuenteCorreaFalaschi01WRS, author = {Alpuente, M. and Correa, F. and Falaschi, M.}, title = {Declarative Debugging of Functional Logic Programs}, year = {2001}, booktitle = {Proc.\ of the International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)}, pages = {19-38}, publisher = {Universidad Polit{\'e}cnica de Valencia} } @ARTICLE{AlpuenteCorreaFalaschi02, author = {Alpuente, M. and Correa, F.J. and Falaschi, M.}, title = {A Debugging Scheme for Functional Logic Programs}, year = {2002}, journal = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier Science Publishers}, volume = {64} } @INPROCEEDINGS{AlpuenteEscobarLucas99SOFSEM, author = {Alpuente, M. and Escobar, S. and Lucas, S.}, title = {UPV-{C}urry: an {I}ncremental {C}urry {I}nterpreter}, year = {1999}, publisher = {Springer LNCS (to appear)}, booktitle = {Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'99)} } @INPROCEEDINGS{AlpuenteEtAl02, author = {Alpuente, M. and Comini, M. and Escobar, S. and Falaschi, M. and Lucas, S.}, title = {Abstract Diagnosis of Functional Programs}, year = {2002}, booktitle = {Proc. of the 12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002)}, pages = {1-16}, publisher = {Springer LNCS 2664} } @TECHREPORT{AlpuenteFalaschiJulianVidal96, author = {Alpuente, M. and Falaschi, M. and Julian, P. and Vidal, G.}, title = {Call-by-Name Partial Evaluation of Functional Logic Programs}, year = {1996}, type = {Internal Report (updated version in PEPM'97)}, institution = {Univ. Valencia} } @ARTICLE{AlpuenteFalaschiJulianVidal97PEPM, author = {Alpuente, M. and Falaschi, M. and Juli{\'a}n, P. and Vidal, G.}, title = {Specialization of Lazy Functional Logic Programs}, year = {1997}, pages = {151-162}, number = {12}, volume = {32}, journal = {Proc. of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97), SIGPLAN Notices} } @INPROCEEDINGS{AlpuenteFalaschiManzo92, author = {Alpuente, M. and Falaschi, M. and Manzo, F.}, title = {Analyses of Inconsistency for Incremental Equational Logic Programming}, year = {1992}, pages = {443-457}, booktitle = {Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming}, publisher = {Springer LNCS 631} } @INPROCEEDINGS{AlpuenteFalaschiRamisVidal93, author = {Alpuente, M. and Falaschi, M. and Ramis, M.J. and Vidal, G.}, title = {Narrowing Approximations as an Optimization for Equational Logic Programs}, year = {1993}, pages = {391-409}, booktitle = {Proc. of the 5th International Symposium on Programming Language Implementation and Logic Programming}, publisher = {Springer LNCS 714} } @INPROCEEDINGS{AlpuenteFalaschiVidal96, author = {Alpuente, M. and Falaschi, M. and Vidal, G.}, title = {Narrowing-driven Partial Evaluation of Functional Logic Programs}, year = {1996}, pages = {45-61}, publisher = {Springer LNCS 1058}, booktitle = {Proc. 6th European Symposium on Programming (ESOP'96)} } @ARTICLE{AlpuenteFalaschiVidal98TOPLAS, author = {Alpuente, M. and Falaschi, M. and Vidal, G.}, title = {Partial Evaluation of Functional Logic Programs}, year = {1998}, pages = {768-844}, number = {4}, volume = {20}, journal = {ACM Transactions on Programming Languages and Systems} } @TECHREPORT{AlpuenteFalaschiVidal98TR, author = {Alpuente, M. and Falaschi, M. and Vidal, G.}, title = {Experiments with the Call-by-Value Partial Evaluator}, year = {1998}, type = {Technical Report DSIC-II/13/98}, institution = {Univ. Valencia} } @ARTICLE{AlpuenteHanusLucasVidal04CoRR, author = {Alpuente, M. and Hanus, M. and Lucas, S. and Vidal, G.}, title = {Specialization of Functional Logic Programs Based on Needed Narrowing}, year = {2004}, journal = {Computing Research Repository (CoRR) at {\tt http://arXiv.org/abs/cs.PL/0403011}} } @ARTICLE{AlpuenteHanusLucasVidal05, author = {Alpuente, M. and Hanus, M. and Lucas, S. and Vidal, G.}, title = {Specialization of Functional Logic Programs Based on Needed Narrowing}, year = {2005}, journal = {Theory and Practice of Logic Programming}, number = {3}, pages = {273-303}, volume = {5} } @INPROCEEDINGS{AlpuenteHanusLucasVidal99ICFP, author = {Alpuente, M. and Hanus, M. and Lucas, S. and Vidal, G.}, title = {Specialization of Inductively Sequential Functional Logic Programs}, year = {1999}, pages = {273-283}, publisher = {ACM Press}, booktitle = {Proc. of the International Conference on Functional Programming (ICFP'99)} } @INPROCEEDINGS{AmadioBruceLongo86, author = {Amadio, R. and Bruce, K.B. and Longo, G.}, title = {The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations}, year = {1986}, pages = {122-130}, booktitle = {Proc. LICS'86} } @ARTICLE{AmadioCardelli93, author = {Amadio, R.M. and Cardelli, L.}, title = {Subtyping Recursive Types}, year = {1993}, pages = {575-631}, number = {4}, volume = {15}, journal = {ACM Transactions on Programming Languages and Systems} } @ARTICLE{AnantharamanRichard98, author = {Anantharaman, S. and Richard, G.}, title = {A rewrite mechanism for logic programs with negation}, year = {1998}, pages = {77-106}, journal = {Theoretical Computer Science 192} } @INPROCEEDINGS{Antoy01PPDP, author = {Antoy, S.}, title = {Constructor-based Conditional Narrowing}, year = {2001}, booktitle = {Proc.\ of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001)}, pages = {199-206}, publisher = {ACM Press} } @ARTICLE{Antoy05JSC, author = {Antoy, S.}, title = {Evaluation Strategies for Functional Logic Programming}, year = {2005}, journal = {Journal of Symbolic Computation}, number = {1}, pages = {875-903}, volume = {40} } @INPROCEEDINGS{Antoy91LOPSTR, author = {Antoy, S.}, title = {Non-Determinism and Lazy Evaluation in Logic Programming}, year = {1991}, booktitle = {Proc. Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR'91)}, pages = {318-331}, publisher = {Springer Workshops in Computing} } @INPROCEEDINGS{Antoy91PLILP, author = {Antoy, S.}, title = {Lazy Evaluation in Logic}, year = {1991}, pages = {371-382}, booktitle = {Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming}, publisher = {Springer LNCS 528} } @INPROCEEDINGS{Antoy92ALP, author = {Antoy, S.}, title = {Definitional Trees}, year = {1992}, pages = {143-157}, booktitle = {Proc. of the 3rd International Conference on Algebraic and Logic Programming}, publisher = {Springer LNCS 632} } @INPROCEEDINGS{Antoy92CTRS, author = {Antoy, S.}, title = {Normalization by Leftmost Innermost Rewriting}, year = {1992}, pages = {448-457}, publisher = {Springer LNCS 656}, booktitle = {Proc. of the 3rd Intern. Workshop on Conditional Term Rewriting Systems} } @TECHREPORT{Antoy92LazyReport, author = {Antoy, S.}, title = {Lazy Rewriting in Logic Programming}, year = {1992}, type = {Technical Report TR 90-17, Rev.~2}, institution = {Portland State University} } @TECHREPORT{Antoy92NormalizeReport, author = {Antoy, S.}, title = {Normalization by Leftmost Innermost Rewriting}, year = {1992}, type = {Technical Report TR-92-3}, institution = {Portland State University} } @TECHREPORT{Antoy96TR, author = {Antoy, S.}, title = {Needed Narrowing in Prolog}, year = {1996}, institution = {Portland State University}, type = {Technical Report 96-2} } @INPROCEEDINGS{Antoy97ALP, author = {Antoy, S.}, title = {Optimal Non-Deterministic Functional Logic Computations}, year = {1997}, pages = {16-30}, publisher = {Springer LNCS 1298}, booktitle = {Proc. International Conference on Algebraic and Logic Programming (ALP'97)} } @TECHREPORT{Antoy97NondetNN, author = {Antoy, S.}, title = {Optimal Non-Deterministic Functional Logic Computations}, year = {1997}, institution = {Portland State University} } @INPROCEEDINGS{AntoyAriola97, author = {Antoy, S. and Ariola, Z.M.}, title = {Narrowing the Narrowing Space}, year = {1997}, booktitle = {Proc.\ Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'97)}, pages = {1-15}, publisher = {Springer LNCS 1292} } @INPROCEEDINGS{AntoyBrassel07, author = {Antoy, S. and Bra{\ss}el, B.}, title = {Computing with Subspaces}, year = {2007}, booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03)}, pages = {121-130}, publisher = {ACM Press} } @INPROCEEDINGS{AntoyBrasselHanus03PPDP, author = {Antoy, S. and Bra{\ss}el, B. and Hanus, M.}, title = {Conditional Narrowing without Conditions}, year = {2003}, booktitle = {Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03)}, pages = {20-31}, publisher = {ACM Press} } @INPROCEEDINGS{AntoyBrownChiang06, author = {Antoy, S. and Brown, D.W. and Chiang, S.-H.}, title = {On the Correctness of Bubbling}, year = {2006}, booktitle = {Proc. RTA'06}, publisher = {To appear in Springer LNCS} } @INPROCEEDINGS{AntoyBrownChiang06TG, author = {Antoy, S. and Brown, D.W. and Chiang, S.-H.}, title = {Lazy Context Cloning for Non-deterministic Graph Rewriting}, year = {2006}, address = {Vienna, Austria}, booktitle = {Proc. of the 3rd International Workshop on Term Graph Rewriting (Termgraph'06)}, pages = {61-70} } @ARTICLE{AntoyEchahedHanus00JACM, author = {Antoy, S. and Echahed, R. and Hanus, M.}, title = {A Needed Narrowing Strategy}, year = {2000}, journal = {Journal of the ACM}, number = {4}, pages = {776-822}, volume = {47} } @ARTICLE{AntoyEchahedHanus00JACMnote, author = {Antoy, S. and Echahed, R. and Hanus, M.}, title = {A Needed Narrowing Strategy}, year = {2000}, journal = {Journal of the ACM}, note = {Previous version in {\em Proc.\ 21st ACM Symposium on Principles of Programming Languages}, pp.\ 268--279, 1994}, number = {4}, pages = {776-822}, volume = {47} } @TECHREPORT{AntoyEchahedHanus93Report, author = {Antoy, S. and Echahed, R. and Hanus, M.}, title = {A Needed Narrowing Strategy}, year = {1993}, type = {Technical Report MPI-I-93-243}, institution = {Max-Planck-Institut f{\"u}r Informatik, Saarbr{\"u}cken} } @INPROCEEDINGS{AntoyEchahedHanus94POPL, author = {Antoy, S. and Echahed, R. and Hanus, M.}, title = {A Needed Narrowing Strategy}, year = {1994}, address = {Portland}, pages = {268-279}, booktitle = {Proc. 21st ACM Symposium on Principles of Programming Languages} } @TECHREPORT{AntoyEchahedHanus96TR, author = {Antoy, S. and Echahed, R. and Hanus, M.}, title = {A Parallel Narrowing Strategy}, year = {1996}, type = {Technical Report TR 96-1}, institution = {Portland State University} } @INPROCEEDINGS{AntoyEchahedHanus97ICLP, author = {Antoy, S. and Echahed, R. and Hanus, M.}, title = {Parallel Evaluation Strategies for Functional Logic Languages}, year = {1997}, pages = {138-152}, publisher = {MIT Press}, booktitle = {Proc.\ of the Fourteenth International Conference on Logic Programming (ICLP'97)} } @ARTICLE{AntoyGannon94, author = {Antoy, S. and Gannon, J.}, title = {Using Term Rewriting to Verify Software}, year = {1994}, pages = {259-274}, number = {4}, volume = {20}, journal = {IEEE Transactions on Software Engineering} } @UNPUBLISHED{AntoyHamlet91, author = {Antoy, S. and Hamlet, D.}, title = {Objects that Check Themselves against Formal Specifications}, year = {1991}, note = {Portland State University} } @TECHREPORT{AntoyHamlet92, author = {Antoy, S. and Hamlet, D.}, title = {Automatically Checking an Implementation against Its Formal Specification}, year = {1992}, type = {Technical Report TR 91-1, Rev.~1}, institution = {Portland State University} } @INPROCEEDINGS{AntoyHamlet92a, author = {Antoy, S. and Hamlet, D.}, title = {Self-Checking against Formal Specifications}, year = {1992}, pages = {355-360}, booktitle = {Proc. Fourth International Conference on Computing and Information} } @INPROCEEDINGS{AntoyHanus00FROCOS, author = {Antoy, S. and Hanus, M.}, title = {Compiling Multi-Paradigm Declarative Programs into {Prolog}}, year = {2000}, booktitle = {Proc. International Workshop on Frontiers of Combining Systems (FroCoS'2000)}, pages = {171-185}, publisher = {Springer LNCS 1794} } @INPROCEEDINGS{AntoyHanus02FLOPS, author = {Antoy, S. and Hanus, M.}, title = {Functional Logic Design Patterns}, year = {2002}, booktitle = {Proc.\ of the 6th International Symposium on Functional and Logic Programming (FLOPS 2002)}, pages = {67-87}, publisher = {Springer LNCS 2441} } @ARTICLE{AntoyHanus04JFP, author = {Antoy, S. and Hanus, M.}, title = {Concurrent Distinct Choices}, year = {2004}, journal = {Journal of Functional Programming}, number = {6}, pages = {657-668}, volume = {14} } @INPROCEEDINGS{AntoyHanus05LOPSTR, author = {Antoy, S. and Hanus, M.}, title = {Declarative Programming with Function Patterns}, year = {2005}, booktitle = {Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)}, pages = {6-22}, publisher = {Springer LNCS 3901} } @INPROCEEDINGS{AntoyHanus06ICLP, author = {Antoy, S. and Hanus, M.}, title = {Overlapping Rules and Logic Variables in Functional Logic Programs}, year = {2006}, booktitle = {Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006)}, pages = {87-101}, publisher = {Springer LNCS 4079} } @TECHREPORT{AntoyHanus06TR, author = {Antoy, S. and Hanus, M.}, title = {Overlapping Rules and Logic Variables in Functional Logic Programs}, year = {2006}, institution = {Christian-Albrechts-Universit{\"a}t Kiel}, type = {Technical Report 0608} } @INPROCEEDINGS{AntoyHanusLiuTolmach04, author = {Antoy, S. and Hanus, M. and Liu, J. and Tolmach, A.}, title = {A Virtual Machine for Functional Logic Computations}, year = {2004}, booktitle = {Proc.\ of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004)}, pages = {169-184}, publisher = {Technical Report 0408, University of Kiel} } @INPROCEEDINGS{AntoyHanusLiuTolmach05, author = {Antoy, S. and Hanus, M. and Liu, J. and Tolmach, A.}, title = {A Virtual Machine for Functional Logic Computations}, year = {2005}, booktitle = {Proc.\ of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004)}, pages = {108-125}, publisher = {Springer LNCS 3474} } @INPROCEEDINGS{AntoyHanusMasseySteiner01PPDP, author = {Antoy, S. and Hanus, M. and Massey, B. and Steiner, F.}, title = {An Implementation of Narrowing Strategies}, year = {2001}, booktitle = {Proc.\ of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001)}, pages = {207-217}, publisher = {ACM Press} } @INPROCEEDINGS{AntoyJohnson04PPDP, author = {Antoy, S. and Johnson, S.}, title = {Formalization and Abstract Implementation of Rewriting with Nested Rules}, year = {2004}, booktitle = {Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'04)}, pages = {144-154}, publisher = {ACM Press} } @INPROCEEDINGS{AntoyJohnson04WFLP, author = {Antoy, S. and Johnson, S.}, title = {TeaBag: A Functional Logic Language Debugger}, year = {2004}, address = {Aachen (Germany)}, booktitle = {Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004)}, pages = {4-18}, publisher = {Technical Report AIB-2004-05, RWTH Aachen} } @INPROCEEDINGS{AntoyMiddeldorp94, author = {Antoy, S. and Middeldorp, A.}, title = {A Sequential Reduction Strategy}, year = {1994}, pages = {168-185}, publisher = {Springer LNCS 850}, booktitle = {4th International Conference on Algrabraic and Logic Programming} } @ARTICLE{AntoyMiddeldorp96, author = {Antoy, S. and Middeldorp, A.}, title = {A sequential reduction strategy}, year = {1996}, pages = {75-95}, volume = {165}, journal = {Theoretical Computer Science} } @INPROCEEDINGS{AntoyTolmach99, author = {Antoy, S. and Tolmach, A.}, title = {Typed Higher-Order Narrowing without Higher-Order Strategies}, year = {1999}, pages = {335-352}, booktitle = {Proc. 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99)}, publisher = {Springer LNCS 1722} } @ARTICLE{ApplebyEtAl88, author = {Appleby, K. and Carlsson, M. and Haridi, S. and Sahlin, D.}, title = {Garbage Collection for Prolog Based on WAM}, year = {1988}, journal = {Communications of the ACM}, volume = {31}, number = {6}, pages = {719-741} } @TECHREPORT{Apt88, author = {Apt, K.R.}, title = {Introduction to logic programming}, year = {1988}, type = {Report CS-R8826}, institution = {CWI Amsterdam} } @INPROCEEDINGS{Apt98FroCoS, author = {Apt, K.R.}, title = {Programming in Alma-0, or Imperative and Declarative Programming Reconciled}, year = {1998}, publisher = {Kluwer}, booktitle = {Proc. Frontiers of Combining Systems'98 (FroCoS'98)} } @INPROCEEDINGS{AptBezem90, author = {Apt, K.R. and Bezem, M.}, title = {Acyclic Programs (extended abstract)}, year = {1990}, pages = {617-623}, publisher = {MIT Press}, booktitle = {Proc. Seventh International Conference on Logic Programming} } @ARTICLE{AptBol94, author = {Apt, K.R. and Bol, R.}, title = {Logic Programming and Negation: A Survey}, year = {1994}, volume = {19\&20}, journal = {Journal of Logic Programming} } @ARTICLE{AptEtAl98TOPLAS, author = {Apt, K.R. and Brunekreef, J. and Partington, V. and Schaerf, A.}, title = {Alma-0: An Imperative Language that Supports Declarative Programming}, year = {1998}, journal = {ACM Transactions on Programming Languages and Systems (to appear)} } @INPROCEEDINGS{AptEtalle93, author = {Apt, K.R. and Etalle, S.}, title = {On the Unification Free Prolog Programs}, year = {1993}, publisher = {Springer LNCS}, booktitle = {Proc. of the Conference on Mathematical Foundations of Computer Science (MFCS'93)} } @TECHREPORT{AptPedreschi90, author = {Apt, K.R. and Pedreschi, D.}, title = {Studies in Pure Prolog: Termination}, year = {1990}, type = {Report CS-R9048}, institution = {CWI Amsterdam} } @INPROCEEDINGS{AptPedreschi93, author = {Apt, K.R. and Pedreschi, D.}, title = {Modular Termination Proofs for Logic and Pure Prolog Programs}, year = {1993}, publisher = {Oxford University Press}, booktitle = {Proc. of the Fourth Int. School for Computer Science Researchers} } @ARTICLE{AptPellegrini94, author = {Apt, K.R. and Pellegrini, A.}, title = {On the Occur-Check-Free PROLOG Programs}, year = {1994}, pages = {687-726}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {16}, number = {3} } @INPROCEEDINGS{AptSchaerf97, author = {Apt, K.R. and Schaerf, A.}, title = {Search and Imperative Programming}, year = {1997}, pages = {67-79}, booktitle = {Proc.\ of the 24th ACM Symposium on Principles of Programming Languages (Paris)} } @ARTICLE{AptvanEmden82, author = {Apt, K.R. and van Emden, M.H.}, title = {Contributions to the Theory of Logic Programming}, year = {1982}, journal = {Journal of the ACM}, volume = {29}, number = {3}, pages = {841-862} } @ARTICLE{AraujoRuz97JLP, author = {Araujo, L. and Ruz, J.J.}, title = {A parallel Prolog system for distributed memory}, year = {1997}, volume = {33}, pages = {49-79}, number = {1}, journal = {Journal of Logic Programming} } @ARTICLE{ArbabBerry87, author = {Arbab, B. and Berry, D.M.}, title = {Operational and Denotational Semantics of Prolog}, year = {1987}, journal = {Journal of Logic Programming (4)}, pages = {309-329} } @INPROCEEDINGS{Arenas-SanchezEtAl96MPLP, author = {Arenas-S{\'a}nchez, P. and Hortal{\'a}-Gonz{\'a}lez, T. and L{\'o}pez-Fraguas, F.J. and Ull{\'a}n-Hern{\'a}ndez, E.}, title = {Functional Logic Programming with Real Numbers}, year = {1996}, pages = {47-57}, publisher = {TU Berlin, Technical Report No. 96-28}, booktitle = {Proc. JICSLP'96 Workshop on Multi-Paradigm Logic Programming} } @INPROCEEDINGS{Arenas-SanchezEtAl98PLILP, author = {Arenas-S{\'a}nchez, P. and L{\'o}pez-Fraguas, F.J. and Rodr{\'\i}guez-Artalejo, M.}, title = {Embedding Multiset Constraints into a Lazy Functional Logic Language}, year = {1998}, pages = {429-444}, publisher = {Springer LNCS 1490}, booktitle = {Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP'98)} } @INPROCEEDINGS{Arenas-SanchezEtAl99PPDP, author = {Arenas-S{\'a}nchez, P. and L{\'o}pez-Fraguas, F.J. and Rodr{\'\i}guez-Artalejo, M.}, title = {Functional Plus Logic Programming with Built-In and Symbolic Constraints}, year = {1999}, pages = {152-169}, publisher = {Springer LNCS 1702}, booktitle = {Proc.\ of the International Conference on Principles and Practice of Declarative Programming (PPDP'99)} } @TECHREPORT{Arenas-SanchezGil-LuezasLopez-Fraguas94, author = {Arenas-S{\'a}nchez, P. and Gil-Luezas, A. and L{\'o}pez-Fraguas, P.}, title = {Combining Lazy Narrowing with Disequality Constraints}, year = {1994}, type = {Technical Report DIA 94/2}, institution = {Universidad Complutense Madrid} } @INPROCEEDINGS{ArenasGilLopez94PLILP, author = {Arenas-S{\'a}nchez, P. and Gil-Luezas, A. and L{\'o}pez-Fraguas, F.J.}, title = {Combining Lazy Narrowing with Disequality Constraints}, year = {1994}, pages = {385-399}, booktitle = {Proc. of the 6th International Symposium on Programming Language Implementation and Logic Programming}, publisher = {Springer LNCS 844} } @INPROCEEDINGS{ArenasRodriguez97CAAP, author = {Arenas-S{\'a}nchez, P. and Rodr{\'\i}guez-Artalejo, M.}, title = {A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types}, year = {1997}, booktitle = {Proc. CAAP'97}, pages = {453-464}, publisher = {Springer LNCS 1214} } @TECHREPORT{Aristide89, author = {Aristide}, title = {A logic of semi-functions, inclusions and equality: The setting}, year = {1989}, type = {Report CRIN 89-R-058}, institution = {CRIN, Nancy} } @INPROCEEDINGS{Armstrong97ICFP, author = {Armstrong, J.}, title = {The development of Erlang}, year = {1997}, pages = {196-203}, publisher = {ACM SIGPLAN Notices Vol.~32, No.~8}, booktitle = {Proc. of the International Conference on Functional Programming (ICFP'97)} } @INPROCEEDINGS{ArmstrongMarriottSchachteSondergaard94, author = {Armstrong, T. and Marriott, K. and Schachte, P. and S{\o}ndergaard, H.}, title = {Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation}, year = {1994}, pages = {266-280}, booktitle = {Proc. 1st International Static Analysis Symposium}, publisher = {Springer LNCS 864} } @INPROCEEDINGS{ArmstrongVirdingWilliams92, author = {Armstrong, J.L. and Virding, S.R. and Williams, M.C.}, title = {Use of Prolog for developing a new programming language}, year = {1992}, address = {London}, publisher = {Institute of Electrical Engineers}, booktitle = {Practical Applications of Prolog} } @BOOK{ArmstrongWilliamsVirding96, author = {Armstrong, J. and Williams, M. and Wikstrom, C. and Virding, R.}, title = {Concurrent Programming in Erlang}, year = {1996}, publisher = {Prentice Hall} } @ARTICLE{AsirelliDeSantisMartelli85, author = {Asirelli, P. and De Santis, M. and Martelli, M.}, title = {Integrity Constraints in Logic Databases}, year = {1985}, pages = {221-232}, volume = {3}, journal = {Journal of Logic Programming} } @INPROCEEDINGS{AsirelliInverardiMustaro88, author = {Asirelli, P. and Inverardi, P. and Mustaro, A.}, title = {Improving Integrity Constraint Checking in Deductive Databases}, year = {1988}, publisher = {Springer LNCS 326}, pages = {72-86}, booktitle = {2nd International Conference on Database Theory} } @INPROCEEDINGS{AspertiMartini89, author = {Asperti, A. and Martini, S.}, title = {Projections instead of variables: A category theoretic interpretation of logic programs}, year = {1989}, pages = {337-352}, publisher = {MIT Press}, booktitle = {Proc. Sixth International Conference on Logic Programming (Lisboa)} } @TECHREPORT{Assmann95, author = {A{\ss}mann, U.}, title = {On Edge Addition Rewrite Systems and their Relevance to Program Analysis}, year = {1995}, institution = {INRIA Rocquencourt} } @TECHREPORT{AttaliChazarain90, author = {Attali, I. and Chazarain, J.}, title = {Functional Evaluation of Natural Semantics Specifications}, year = {1990}, type = {Rapports de Recherche No. 1218}, institution = {INRIA} } @INPROCEEDINGS{AuChengJiaChow03, author = {Au, P.O. and Cheng, L. and Jia, W. and Chow, K.O.}, title = {A Web-Based Platform for E-learning Based on Information Management System}, year = {2003}, booktitle = {Proc. 2nd International Conference on Web-Based Learning (ICWL 2003)}, pages = {46-54}, publisher = {Springer LNCS 2783} } @TECHREPORT{Austry90, author = {Austry, D.}, title = {The VTP Project: Modular Abstract Syntax Specification}, year = {1990}, type = {Rapports de Recherche No. 1219}, institution = {INRIA} } @BOOK{AvciTrittmannMellis03, title = {Web-Programmierung}, year = {2003}, editor = {Avci, O. and Trittmann, R. and Mellis, W.}, address = {Wiesbaden}, publisher = {Vieweg} } @INPROCEEDINGS{AvenhausLoria-Saenz94, author = {Avenhaus, J. and Lor{\'\i}a-S{\'a}enz, C.}, title = {On conditional rewrite systems with extra variables and deterministic logic programs}, year = {1994}, pages = {215-229}, publisher = {Springer LNAI 822}, booktitle = {Proc. LPAR'94} } @TECHREPORT{AvenhausLoriaSteinbach95, author = {Avenhaus, J. and Lor{\'\i}a-S\'aenz, C. and Steinbach, J.}, title = {A Reduction Ordering for Hihger-Order Terms}, year = {1995}, type = {SEKI-Report SR-95-03}, institution = {Univ. Kaiserslautern} } @INCOLLECTION{AvenhausMadlener90, author = {Avenhaus, J. and Madlener, K.}, title = {Term Rewriting and Equational Reasoning}, year = {1990}, pages = {1-43}, publisher = {Elsevier Science Publishers}, booktitle = {Formal Techniques in Artificial Intelligence}, editor = {Banerji, R.B.} } @TECHREPORT{BaaderBuerckertNebelNuttSmolka91, author = {Baader, F. and B{\"u}rckert, H.-J. and Nebel, B. and Nutt, W. and Smolka, G.}, title = {On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations}, year = {1991}, type = {Research Report RR-91-01}, institution = {DFKI} } @BOOK{BaaderNipkow98, author = {Baader, F. and Nipkow, T.}, title = {Term Rewriting and All That}, year = {1998}, publisher = {Cambridge University Press} } @INCOLLECTION{BaaderSiekmann94, author = {Baader, F. and Siekmann, J.H.}, title = {Unification Theory}, year = {1994}, pages = {41-125}, editor = {Gabbay, D.M. and Hogger, C.J. and Robinson, J.A.}, publisher = {Oxford University Press}, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming} } @INPROCEEDINGS{Bachmair88, author = {Bachmair, L.}, title = {Proof by consistency in equational theories}, year = {1988}, booktitle = {Proc. LICS'88} } @UNPUBLISHED{Bachmair88a, author = {Bachmair, L.}, title = {Proof Methods for Equational Theories}, year = {1988}, note = {SUNY at Stony Brook} } @INPROCEEDINGS{BachmairGanzinger90, author = {Bachmair, L. and Ganzinger, H.}, title = {On Restrictions of Ordered Paramodulation with Simplification}, year = {1990}, pages = {427-441}, publisher = {Springer LNCS 449}, booktitle = {Proc. 10th Int. Conf. on Automated Deduction} } @INPROCEEDINGS{BachmairGanzinger90a, author = {Bachmair, L. and Ganzinger, H.}, title = {Completion of first-order clauses with equality by strict superposition}, year = {1990}, pages = {162-180}, publisher = {Springer LNCS 516}, booktitle = {Proc. 2nd Int. Workshop on Conditional and Typed Rewriting} } @INPROCEEDINGS{BachmairGanzinger91, author = {Bachmair, L. and Ganzinger, H.}, title = {Perfect Model Semantics for Logic Programs with Equality}, year = {1991}, pages = {645-659}, publisher = {MIT Press}, booktitle = {Proc. International Conference on Logic Programming} } @TECHREPORT{BachmairGanzinger91a, author = {Bachmair, L. and Ganzinger, H.}, title = {Rewrite-Based Equational Theorem Proving With Selection and Simplification}, year = {1991}, type = {Report 208}, institution = {MPI Informatik, Saarbr{\"u}cken} } @TECHREPORT{BachmairGanzingerWaldmann92, author = {Bachmair, L. and Ganzinger, H. and Waldmann, U.}, title = {Set Constraints are the Monadic Class}, year = {1992}, type = {Technical Report MPI-I-92-240}, institution = {MPI Informatik} } @TECHREPORT{BachmairGanzingerWaldmann93, author = {Bachmair, L. and Ganzinger, H. and Waldmann, U.}, title = {Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality}, year = {1993}, type = {Technical Report MPI-I-93-204}, institution = {MPI Informatik} } @INCOLLECTION{Backhouse88, author = {Backhouse, R.C.}, title = {Constructive Type Theory - An Introduction}, year = {1988}, pages = {9-60}, publisher = {Springer}, booktitle = {Constructive Methods in Computing Science (International Summer School)} } @TECHREPORT{BackofenSmolka92, author = {Backofen, R. and Smolka, G.}, title = {A Complete and Recursive Feature Theory}, year = {1992}, type = {Research Report RR-92-30}, institution = {DFKI Saarbr{\"u}cken} } @ARTICLE{Backus78, author = {Backus, J.}, title = {Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs}, year = {1978}, pages = {613-641}, number = {8}, volume = {21}, journal = {Comm. of the ACM} } @ARTICLE{Baeza-YatesGonnet92, author = {Baeza-Yates, R. and Gonnet, G.H.}, title = {A New Approach to Text Searching}, year = {1992}, pages = {74-82}, number = {10}, volume = {35}, journal = {Communications of the ACM} } @PHDTHESIS{Bagnara97, author = {Bagnara, R.}, title = {Data-Flow Analysis for Constraint Logic-Based Languages}, year = {1997}, school = {Universita di Pisa} } @ARTICLE{Bailin89, author = {Bailin, S.C.}, title = {An Object-Oriented Requirements Specification Method}, year = {1989}, number = {5}, volume = {32}, pages = {608-623}, journal = {Communications of the ACM} } @TECHREPORT{BakerSondergaard92, author = {Baker, N. and S{\o}ndergaard, H.}, title = {Definiteness Analysis for CLP($\cal R$)}, year = {1992}, type = {Technical Report 92/25}, institution = {Univ. of Melbourne} } @INCOLLECTION{Bandes86, author = {Bandes, R.G.}, title = {Constraining-unification and the programming language UNICORN}, year = {1986}, pages = {397-410}, editor = {DeGroot, D. and Lindstrom, G.}, publisher = {Prentice Hall}, booktitle = {Logic Programming, Functions, Relations, and Equations} } @INPROCEEDINGS{BarbutiBelliaLeviMartelli84, author = {Barbuti, R. and Bellia, M. and Levi, G. and Martelli, M.}, title = {On the integration of logic programming and functional programming}, year = {1984}, pages = {160-166}, address = {Atlantic City}, booktitle = {Proc. IEEE Internat. Symposium on Logic Programming} } @INPROCEEDINGS{BarbutiCodishGiacobazziLevi92, author = {Barbuti, R. and Codish, M. and Giacobazzi, R. and Levi, G.}, title = {Modelling Prolog Control}, year = {1992}, pages = {95-104}, booktitle = {Proc. 19th Symposium on Principles of Programming Languages} } @INCOLLECTION{BarbutiEtAl86, author = {Barbuti, R. and Bellia, M. and Levi, G. and Martelli, M.}, title = {LEAF: a Language which Integrates Logic, Equations and Functions}, year = {1986}, editor = {DeGroot, D. and Lindstrom, G.}, booktitle = {Logic Programming, Functions, Relations, and Equations}, publisher = {Prentice Hall}, pages = {201-238} } @ARTICLE{BarbutiEtAl90, author = {Barbuti, R. and Mancarella, P. and Pedreschi, D. and Turini, F.}, title = {A Transformational Approach to Negation in Logic Programming}, year = {1990}, journal = {Journal of Logic Programming (8)}, pages = {201-228} } @TECHREPORT{BarbutiGiacobazzi89, author = {Barbuti, R. and Giacobazzi, R.}, title = {A Bottom-Up Polymorphic Type Inference in Logic Programming}, year = {1989}, type = {Technical Report 27/89}, institution = {Dip. di Informatica, Universit\`a di Pisa} } @ARTICLE{BarbutiGiacobazziLevi93, author = {Barbuti, R. and Giacobazzi, R. and Levi, G.}, title = {A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs}, year = {1993}, pages = {133-181}, number = {1}, volume = {15}, journal = {ACM TOPLAS} } @INPROCEEDINGS{BarbutiMancarella96, author = {Barbuti, R. and Mancarella, P.}, title = {A Multiple-Valued Logical Semantics for Prolog}, year = {1996}, pages = {62-76}, booktitle = {Proc. ESOP'96}, publisher = {Springer LNCS 1058} } @INPROCEEDINGS{BarbutiMancarellaPedreschiTurini87, author = {Barbuti, R. and Mancarella, P. and Pedreschi, D. and Turini, F.}, title = {Intensional Negation of Logic Programs: Examples and Implementation Techniques}, year = {1987}, pages = {96-110}, booktitle = {Proc. of the TAPSOFT '87}, publisher = {Springer LNCS 250} } @INPROCEEDINGS{BarbutiMartelli88, author = {Barbuti, R. and Martelli, M.}, title = {A Tool to Check the Non-Floundering Logic Programs and Goals}, year = {1988}, pages = {58-67}, address = {Orl\'eans}, publisher = {Springer LNCS 348}, booktitle = {Proc. of the Workshop on Programming Language Implementation and Logic Programming} } @BOOK{Barendregt81, author = {Barendregt, H.P.}, title = {The Lambda Calculus}, year = {1981}, publisher = {North-Holland}, address = {Amsterdam} } @INPROCEEDINGS{BarendregtEtAl87PARLE, author = {Barendregt, H.P. and van Eekelen, M.C.J.D. and Glauert, J.R.W. and Kennaway, J.R. and Plasmeijer, M.J. and Sleep, M.R.}, title = {Term Graph Rewriting}, year = {1987}, pages = {141-158}, publisher = {Springer LNCS 259}, booktitle = {Proc. Parallel Architectures and Languages Europe (PARLE'87)} } @ARTICLE{BarendsenSmetsers96, author = {Barendsen, E. and Smetsers, S.}, title = {Uniqueness Typing for Functional Languages with Graph Rewriting Semantics}, year = {1996}, journal = {Mathematical Structures in Computer Science}, number = {6}, pages = {579-612}, volume = {6} } @INPROCEEDINGS{Barklund87, author = {Barklund, J.}, title = {Efficient Interpretation of Prolog Programs}, year = {1987}, pages = {132-137}, publisher = {ACM SIGPLAN Notices Vol. 22, No. 7}, booktitle = {SIGPLAN'87 Symposium on Interpreters and Interpretiv Technqiues} } @INPROCEEDINGS{BarklundMillroth86, author = {Barklund, J. and Millroth, H.}, title = {Garbage Cut for Garbage Collection of Iterative Prolog Programs}, year = {1986}, booktitle = {Proc. IEEE Internat. Symposium on Logic Programming}, address = {Salt Lake City}, pages = {276-283} } @TECHREPORT{BarnettBasinHesketh91, author = {Barnett, R. and Basin, D. and Hesketh, J.}, title = {A Recursion Planning Analysis of Inductive Completion}, year = {1991}, type = {DAI Research Paper No. 518}, institution = {Univ. of Edinburgh} } @TECHREPORT{BasinWalsh92, author = {Basin, D.A. and Walsh, T.}, title = {Difference Matching}, year = {1992}, type = {Report MPI-I-92-211}, institution = {Max-Planck-Institut f{\"u}r Informatik, Saarbr{\"u}cken} } @INPROCEEDINGS{Baudinet88, author = {Baudinet, M.}, title = {Proving Termination Properties of PROLOG Programs: A Semantic Approach}, year = {1988}, pages = {336-347}, booktitle = {Proc. Logic in Computer Science} } @ARTICLE{BauerMoellerPartschPepper89, author = {Bauer, F.L. and M{\"o}ller, B. and Partsch, H. and Pepper, P.}, title = {Formal Program Construction by Transformations - Computer-Aided, Intuition-Guided Programming}, year = {1989}, pages = {165-179}, number = {2}, volume = {15}, journal = {IEEE Transactions on Software Engineering} } @UNPUBLISHED{Baumeister89, author = {Baumeister, H.}, title = {Implementierung und Datenabstraktion in Extended ML}, year = {1989}, note = {Univ. Dortmund} } @BOOK{Baumgarten02, author = {Baumgarten, D.}, title = {Kompakt im Doppelpack: HTML und JavaScript}, year = {2002}, publisher = {Teubner} } @TECHREPORT{BaurBockmayrEtAl91, author = {Baur, M. and Bockmayr, A. and Brzoska, C. and Heinz, E. and Lukowicz, P. and Rath, H.H. and Scharnhorst, C. and Schiele, B.}, title = {Benutzeranleitung f{\"u}r die KA-Prolog Sprachfamilie}, year = {1991}, type = {Internal Report 20/91}, institution = {Univ. Karlsruhe} } @INPROCEEDINGS{BeckCunningham89, author = {Beck, K. and Cunningham, W.}, title = {A Laboratory For Teaching Object-Oriented Thinking}, year = {1989}, pages = {1-6}, publisher = {SIGPLAN Notices 24(10)}, booktitle = {Proc. OOPSLA'89} } @ARTICLE{Beer88, author = {Beer, J.}, title = {The Occur-check Problem Revisited}, year = {1988}, pages = {243-261}, volume = {5}, journal = {Journal of Logic Programming} } @INPROCEEDINGS{Beierle89, author = {Beierle, C.}, title = {Types, Modules and Databases in the Logic Programming Language PROTOS-L}, year = {1989}, publisher = {Springer LNCS 418}, booktitle = {Sorts and Types in Artificial Intelligence} } @ARTICLE{Beierle92, author = {Beierle, C.}, title = {Logic programming with typed unification and its realization on an abstract machine}, year = {1992}, pages = {375-390}, number = {3}, volume = {36}, journal = {IBM Journal of Research and Development} } @INPROCEEDINGS{Beierle95, author = {Beierle, C.}, title = {Type inferencing for polymorphic order-sorted logic programs}, year = {1995}, pages = {765-779}, booktitle = {Proc. International Conference on Logic Programming}, publisher = {MIT Press} } @TECHREPORT{BeierleBoerger91, author = {Beierle, C. and B{\"o}rger, E.}, title = {A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof}, year = {1991}, type = {IWBS Report 200}, institution = {IBM Germany} } @TECHREPORT{BeierleBoettcherMeyer91, author = {Beierle, C. and B{\"o}ttcher, S. and Meyer, G.}, title = {Draft Report of the Logic Programming Language PROTOS-L}, year = {1991}, type = {IWBS Report 175}, institution = {IBM Deutschland} } @TECHREPORT{BeierleHedtstueckPletatSiekmann90, author = {Beierle, C. and Hedtst{\"u}ck, U. and Pletat, U. and Siekmann, J.}, title = {An Order-Sorted Logic for Knowledge Representation Systems}, year = {1990}, type = {IWBS Report 113}, institution = {IBM Germany} } @BOOK{BeierleKernIsberner06, author = {Beierle, C and Kern-Isberner, G.}, title = {Methoden wissensbasierter Systeme}, year = {2006}, publisher = {Vieweg} } @TECHREPORT{BeierleMeyer93, author = {Beierle, C. and Meyer, G.}, title = {Run-time type computations in the Warren Abstract Machine}, year = {1993}, note = {Also to appear in Journal of Logic Programming}, type = {Informatik-Bericht 144-8/1993}, institution = {FernUniversit{\"a}t Hagen} } @INPROCEEDINGS{BeierleMeyerSemle91, author = {Beierle, C. and Meyer, G. and Semle, H.}, title = {Extending the Warren Abstract Machine to polymorphic order-sorted resolution}, year = {1991}, pages = {272-286}, publisher = {MIT Press}, booktitle = {Proc. International Logic Programming Symposium} } @TECHREPORT{BeierlePletat88, author = {Beierle, C. and Pletat, U.}, title = {Semantics of Logic Programs with Equational Abstract Data Type Specifications}, year = {1988}, type = {LILOG-Report 38}, institution = {IBM Deutschland} } @TECHREPORT{BeierlePletat88a, author = {Beierle, C. and Pletat, U.}, title = {Feature Graphs and Abstract Data Types: A Unifying Approach}, year = {1988}, type = {LILOG-Report 39}, institution = {IBM Deutschland} } @TECHREPORT{BeierlePletat89, author = {Beierle, C. and Pletat, U.}, title = {The Algebra of Feature Graph Specifications}, year = {1989}, type = {IWBS Report 94}, institution = {IBM Deutschland} } @TECHREPORT{BeierlePletatUszkoreit88, author = {Beierle, C. and Pletat, U. and Uszkoreit, H.}, title = {An Algebraic Characterization of STUF}, year = {1988}, type = {LILOG Report 40}, institution = {IBM Deutschland} } @INPROCEEDINGS{BekkersTarau95, author = {Bekkers, Y. and Tarau, P.}, title = {Monadic Constructs for Logic Programming}, year = {1995}, pages = {51-65}, booktitle = {Proc. of the 1995 International Logic Programming Symposium}, publisher = {MIT Press} } @ARTICLE{Bellia88, author = {Bellia, M.}, title = {Logic and Functional Programming By Retractions}, year = {1988}, pages = {271-310}, number = {3}, volume = {22}, journal = {Theoretical Informatics and Applications} } @INPROCEEDINGS{BelliaBoscoGiovannettiLeviMoisoPalamidessi87, author = {Bellia, M. and Bosco, P.G. and Giovannetti, E. and Levi, G. and Moiso, C. and Palamidessi, C.}, title = {A two-level approach to logic and functional programming}, year = {1987}, booktitle = {Proc. PARLE'87} } @ARTICLE{BelliaLevi86, author = {Bellia, M. and Levi, G.}, title = {The Relation between Logic and Functional Languages: A Survey}, year = {1986}, journal = {Journal of Logic Programming (3)}, pages = {217-236} } @ARTICLE{BenhamouOlder97JLP, author = {Benhamou, F. and Older, W.J.}, title = {Applying interval arithmetic to real, integer, and Boolean constraints}, year = {1997}, pages = {1-24}, number = {1}, volume = {32}, journal = {Journal of Logic Programming} } @TECHREPORT{BenkerimiLloyd89, author = {Benkerimi, K. and Lloyd, J.W.}, title = {A Procedure for the Partial Evaluation of Logic Programs}, year = {1989}, type = {Report TR-89-04}, institution = {University of Bristol} } @ARTICLE{Benson00, author = {Benson, B.W.}, title = {Servlets - Web-Based Applications You can Live With}, year = {2000}, pages = {21-24}, number = {3}, volume = {35}, journal = {ACM SIGPLAN Notices} } @ARTICLE{Berghammer99, author = {Berghammer, R.}, title = {Combining relational calculus and the Dijkstra-Gries method for deriving relational programs}, year = {1999}, journal = {Information Sciences}, pages = {155-171}, volume = {119} } @ARTICLE{BerghammerFischer07, author = {Berghammer, R. and Fischer, S.}, title = {Implementing Relational Specifications in a Constraint Functional Logic Language}, year = {2007}, journal = {Electronic Notes in Theoretical Computer Science}, pages = {169-183}, volume = {177} } @ARTICLE{BerghammerHoffmann01, author = {Berghammer, R. and Hoffmann, T.}, title = {Relational depth-first-search with applications}, year = {2001}, journal = {Information Sciences}, pages = {167-186}, volume = {139} } @TECHREPORT{BerghammerTiedt99, author = {Berghammer, R. and Tiedt, M.}, title = {Kiel Interactive Evaluation Laboratory}, year = {1999}, institution = {CAU Kiel}, type = {Bericht No. 9909} } @BOOK{BergmannNoll77, author = {Bergmann, E. and Noll, H.}, title = {Mathematische Logik mit Informatik-Anwendungen}, year = {1977}, publisher = {Springer} } @ARTICLE{BergstraKlop86, author = {Bergstra, J.A. and Klop, J.W.}, title = {Conditional Rewrite Rules: Confluence and Termination}, year = {1986}, pages = {323-362}, number = {3}, volume = {32}, journal = {Journal of Computer and System Sciences} } @ARTICLE{BergstraTucker87, author = {Bergstra, J.A. and Tucker, J.V.}, title = {Algebraic specifications of computable and semicomputable data types}, year = {1987}, journal = {Theoretical Computer Science}, pages = {111-138}, volume = {75} } @TECHREPORT{Berkling86, author = {Berkling, K.}, title = {Headorder Reduction: A Graph Reduction Scheme for the Operational Lambda Calculus}, year = {1986}, type = {CASE Report No. 8613}, institution = {Syracuse University} } @ARTICLE{BerryGonthier92, author = {Berry, G. and Gonthier, G.}, title = {The Esterel synchronous programming language: Design, semantics, implementation}, year = {1992}, journal = {Science of Computer Programming}, number = {2}, pages = {87-152}, volume = {19} } @ARTICLE{BerryLevy79, author = {Berry, G. and L{\'e}vy, J.-J.}, title = {Minimal and Optimal Computations of Recursive Programs}, year = {1979}, pages = {148-175}, number = {1}, volume = {26}, journal = {Journal of ACM} } @INPROCEEDINGS{BertEchahed86, author = {Bert, D. and Echahed, R.}, title = {Design and Implementation of a Generic, Logic and Functional Programming Language}, year = {1986}, pages = {119-132}, publisher = {Springer LNCS 213}, booktitle = {Proc. European Symposium on Programming} } @INPROCEEDINGS{BertEchahed95, author = {Bert, D. and Echahed, R.}, title = {Abstraction of Conditional Term Rewriting Systems}, year = {1995}, booktitle = {Proc. of the 1995 International Logic Programming Symposium}, publisher = {MIT Press}, pages = {147-161} } @INPROCEEDINGS{BertEchahedOstvold93, author = {Bert, D. and Echahed, R. and {\O}stvold, M.}, title = {Abstract Rewriting}, year = {1993}, pages = {178-192}, booktitle = {Proc. Third International Workshop on Static Analysis}, publisher = {Springer LNCS 724} } @TECHREPORT{BertEchahedReynaud93, author = {Bert, D. and Echahed, R. and Reynaud, J.-C.}, title = {Reference Manual of the Specification Language LPG}, year = {1993}, institution = {LGI-IMAG, Gernoble} } @INPROCEEDINGS{BerthomieuLeSergent94, author = {Berthomieu, B. and Le Sergent, T.}, title = {Programming with behaviors in an ML framework - The syntax and semantics of LCS}, year = {1994}, booktitle = {Proc.\ 5th European Symposium on Programming}, pages = {89-104}, publisher = {Springer LNCS 788} } @INPROCEEDINGS{Bertling90, author = {Bertling, H.}, title = {Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation}, year = {1990}, booktitle = {Proc. CTRS'90} } @MISC{BertlingGanzinger85, author = {Bertling, H. and Ganzinger, H.}, title = {A Structure Editor Based on Term Rewriting}, year = {1985}, howpublished = {Univ. Dortmund} } @INPROCEEDINGS{BertlingGanzinger89, author = {Bertling, H. and Ganzinger, H.}, title = {Completion-Time Optimization of Rewrite-Time Goal Solving}, year = {1989}, booktitle = {Proc. of the Conference on Rewriting Techniques and Applications}, publisher = {Springer LNCS 355}, pages = {45-58} } @MISC{BertlingGanzingerSchaefers88, author = {Bertling, H. and Ganzinger, H. and Sch{\"a}fers, R.}, title = {CEC: A system for conditional equational completion - User Manual (Version 1.0). Report, PROSPECTRA-Project, U. Dortmund}, year = {1988} } @UNPUBLISHED{BertlingGanzingerSchaefers91, author = {Bertling, H. and Ganzinger, H. and Sch{\"a}fers, R.}, title = {Completion}, year = {1991}, note = {Draft for final PROSPECTRA documentation, Univ. Dortmund} } @INPROCEEDINGS{BertolinoMancarellaMeoNiniPedreschiTurini88, author = {Bertolino, B. and Mancarella, P. and Meo, L. and Nini, L. and Pedreschi, D. and Turini, F.}, title = {A Progress Report on the LML Project}, year = {1988}, pages = {675-684}, booktitle = {Proc. FGCS'88} } @UNPUBLISHED{BertolinoMeoPedreschiTurini91, author = {Bertolino, B. and Meo, L. and Pedreschi, D. and Turini, F.}, title = {The Logical Meta-Language LML and its Type System}, year = {1991}, note = {To appear in Types in Logic Programming} } @TECHREPORT{Besnard89, author = {Besnard, P.}, title = {On infinite loops in logic programming}, year = {1989}, type = {Report RR 1096}, institution = {INRIA} } @ARTICLE{BigotDebray97JLP, author = {Bigot, P.A. and Debray, S.K.}, title = {A simple approach to suuporting untagged objects in dynamically typed languages}, year = {1997}, pages = {25-47}, volume = {32}, number = {1}, journal = {Journal of Logic Programming} } @BOOK{BirdWadler88, author = {Bird, R.S. and Wadler, P.}, title = {Introduction to Functional Programming}, year = {1988}, publisher = {Prentice Hall} } @BOOK{BlaesiusBuerckert87, title = {Deduktionssysteme -- Automatisierung des logischen Denkens}, year = {1987}, editor = {Bl{\"a}sius, K. H. and B{\"u}rckert, H.-J.}, publisher = {Oldenbourg}, address = {M{\"u}nchen} } @INPROCEEDINGS{BlancEchahed01, author = {Blanc, J. and Echahed, R.}, title = {Adding Time to Functional Logic Programs}, year = {2001}, booktitle = {Proc.\ of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)}, pages = {31-44}, publisher = {Report No.~2017, University of Kiel} } @TECHREPORT{Bloch84, author = {Bloch, C.}, title = {Source-to-Source Transformations of Logic Programs}, year = {1984}, institution = {Weizmann Institue of Science, Rehovot} } @INPROCEEDINGS{Bobrow84, author = {Bobrow, D.G.}, title = {If Prolog is the answer, what is the question?}, year = {1984}, pages = {138-145}, booktitle = {Proc. FGCS'84} } @TECHREPORT{Bockmayr86, author = {Bockmayr, A.}, title = {Conditional rewriting and narrowing as a theoretical framework for logic-functional programming}, year = {1986}, type = {Technical Report 10/86}, institution = {Univ. Karlsruhe} } @INPROCEEDINGS{Bockmayr88, author = {Bockmayr, A.}, title = {Narrowing with built-in theories}, year = {1988}, pages = {83-92}, publisher = {Springer LNCS 343}, booktitle = {Proc. First International Workshop on Algebraic and Logic Programming (Gaussig, G.D.R.)} } @ARTICLE{Bockmayr93, author = {Bockmayr, A.}, title = {Conditional Narrowing Modulo a Set of Equations}, year = {1993}, journal = {Applicable Algebra in Engineering, Communication and Computing}, pages = {147-168}, number = {3}, volume = {4} } @INCOLLECTION{Bockmayr93CLPBook, author = {Bockmayr, A.}, title = {Logic Programming with Psuedo-Boolean Constraints}, year = {1993}, pages = {327-350}, editor = {Benhamou, F. and Colmerauer, A.}, publisher = {MIT Press}, booktitle = {Constraint Logic Programming} } @TECHREPORT{BockmayrBrzoskaEtAl91, author = {Bockmayr, A. and Brzoska, C. and Lindenberg, N. and Neidecker, B. and Rath, H.H. and Scharnhorst, C. and Schiele, B. and Varsek, I.}, title = {KA-Prolog: Sprachdefinition}, year = {1991}, type = {Internal Report 19/91}, institution = {Univ. Karlsruhe} } @INPROCEEDINGS{BockmayrKrischerWerner92, author = {Bockmayr, A. and Krischer, S. and Werner, A.}, title = {An Optimal Narrowing Strategy for General Canonical Systems}, year = {1992}, booktitle = {Proc. of the 3rd Intern. Workshop on Conditional Term Rewriting Systems}, pages = {483-497}, publisher = {Springer LNCS 656} } @TECHREPORT{BockmayrKrischerWerner93, author = {Bockmayr, A. and Krischer, S. and Werner, A.}, title = {Narrowing Strategies for Arbitrary Canonical Rewrite Systems}, year = {1993}, type = {Technical Report MPI-I-93-233}, institution = {Max-Planck-Institut f{\"u}r Informatik, Saarbr{\"u}cken} } @INPROCEEDINGS{Boehm89, author = {Boehm, H.-J.}, title = {Type Inference in the Presence of Type Abstraction}, year = {1989}, pages = {192-206}, publisher = {SIGPLAN Notices Vol. 24, No. 7}, booktitle = {Proc. SIGPLAN '89 PLDI} } @INPROCEEDINGS{Boerger87, author = {B{\"o}rger, E.}, title = {Unsolvable Decision Problems for Prolog Programs}, year = {1987}, pages = {37-48}, publisher = {Springer LNCS 270}, booktitle = {Computation Theory and Logic} } @INPROCEEDINGS{Boerger90, author = {B{\"o}rger, E.}, title = {A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control}, year = {1990}, pages = {36-64}, publisher = {Springer LNCS 440}, booktitle = {Proc. CSL'89} } @INPROCEEDINGS{Boerger90MFCS, author = {B{\"o}rger, E.}, title = {A Logical Operational Semantics of Full Prolog. Part II: Built-in Predicates for Database manipulations}, year = {1990}, pages = {1-14}, publisher = {Springer LNCS 452}, booktitle = {Mathematical Foundations of Computer Science '90} } @INPROCEEDINGS{BoergerRosenzweig90, author = {B{\"o}rger, E. and Rosenzweig, D.}, title = {From Prolog Algebras Towards WAM - A Mathematical Study of Implementation}, year = {1990}, publisher = {Springer LNCS}, booktitle = {CSL'90} } @INPROCEEDINGS{BoergerRosenzweig91, author = {B{\"o}rger, E. and Rosenzweig, D.}, title = {A Formal Specification of Prolog by Tree Algebras}, year = {1991}, booktitle = {Proc. of ITI} } @TECHREPORT{BoergerRosenzweig91Updates, author = {B{\"o}rger, E. and Rosenzweig, D.}, title = {An Analysis of Prolog Database Views and Their Uniform Implementation}, year = {1991}, type = {Report CSE-TR-89-91}, institution = {Univ. of Michigan} } @TECHREPORT{BoergerRosenzweig92, author = {B{\"o}rger, E. and Rosenzweig, D.}, title = {The WAM - Definition and Compiler Correctness}, year = {1992}, type = {Technical Report TR-14/92}, institution = {Univ. Pisa} } @TECHREPORT{BoergerRosenzweig92a, author = {B{\"o}rger, E. and Rosenzweig, D.}, title = {A Simple Mathematical Model for Full Prolog}, year = {1992}, type = {Technical Report TR-33/92}, institution = {Univ. Pisa} } @INPROCEEDINGS{BoergerSchulte98, author = {B{\"o}rger, E. and Schulte, W.}, title = {Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation}, year = {1998}, booktitle = {Proc. MFCS'98} } @INPROCEEDINGS{BoergerSchulte98JavaSem, author = {B{\"o}rger, E. and Schulte, W.}, title = {A Programmer Friendly Modular Definition of the Semantics of Java}, year = {1998}, publisher = {Springer LNCS}, booktitle = {Formal Syntax and Semantics of Java} } @TECHREPORT{BoeschenFechtHenseWilhelm94, author = {B{\"o}schen, C. and Fecht, C. and Hense, A.V. and Wilhelm, R.}, title = {An Abstract Machine for an Object-Oriented Language with Top-Level Classes}, year = {1994}, type = {Technical Report A 02/94}, institution = {Universit{\"a}t des Saarlandes} } @ARTICLE{Boeszoermenyi98, author = {B{\"o}sz{\"o}rm{\'e}nyi, L.}, title = {Why Java is not my favorite first-course language}, year = {1998}, journal = {Software - Concepts \& Tools}, pages = {141-145}, volume = {19} } @TECHREPORT{Boettcher90, author = {B{\"o}ttcher, S.}, title = {Development and Programming of Deductive Databases with PROTOS-L}, year = {1990}, type = {IWBS Report 118}, institution = {IBM Deutschland} } @TECHREPORT{BoettcherBeierle89, author = {B{\"o}ttcher, S. and Beierle, C.}, title = {Database Support for the PROTOS-L System}, year = {1989}, type = {IWBS Report 71}, institution = {IBM Deutschland} } @INPROCEEDINGS{Boizumault86, author = {Boizumault, P.}, title = {A general model to implement dif and freeze}, year = {1986}, booktitle = {Proc. Third International Conference on Logic Programming (London)}, publisher = {Springer LNCS 225}, pages = {585-592} } @TECHREPORT{Bol90, author = {Bol, R.N.}, title = {Generalizing Completeness Results for Loop Checks}, year = {1990}, type = {Report CS-R9025}, institution = {CWI Amsterdam} } @TECHREPORT{Bol90a, author = {Bol, R.N.}, title = {Towards More Efficient Loop Checks}, year = {1990}, type = {Report CS-R9026}, institution = {CWI Amsterdam} } @TECHREPORT{Bol90b, author = {Bol, R.N.}, title = {Loop Checking and Negation}, year = {1990}, type = {Report CS-R9075}, institution = {CWI Amsterdam} } @TECHREPORT{BolDegerstedt93, author = {Bol, R. and Degerstedt, L.}, title = {The Underlying Search for Magic Templates and Tabulation}, year = {1993}, type = {Report LiTH-IDA-93-01}, institution = {Link{\"o}ping University} } @TECHREPORT{Boley90, author = {Boley, H.}, title = {A Relational/Functional Language and Its Compilation into the WAM}, year = {1990}, type = {SEKI Report SR-90-05}, institution = {Univ. Kaiserslautern} } @TECHREPORT{Boley92, author = {Boley, H.}, title = {A Direct Semantic Characterization of RELFUN}, year = {1992}, type = {Research Report RR-92-54}, institution = {DFKI} } @TECHREPORT{Boley93, author = {Boley, H.}, title = {A Sampler of Relational/Functional Definitions}, year = {1993}, type = {Technical Memo TM-91-04}, institution = {DFKI} } @MISC{Boley96Slides, author = {Boley, H.}, title = {Declarative Specification of the Chemical Elements in the Relational-Functional Language RELFUN}, year = {1996}, howpublished = {Slides of a talk at Dagstuhl-Seminar 9621} } @TECHREPORT{BoleyKammermeier85, author = {Boley, H. and Kammermeier, F.}, title = {LISPLOG: Momentaufnahmen einer LISP/PROLOG-Vereinheitlichung}, year = {1985}, type = {MEMO SEKI-85-3}, institution = {Univ. Kaiserslautern} } @MISC{Bondorf88, author = {Bondorf, A.}, title = {Pattern Matching in a Self-applicable Partial Evaluator}, year = {1988}, howpublished = {DIKU} } @TECHREPORT{BondorfFrauendorfRichter90, author = {Bondorf, A. and Frauendorf, F. and Richter, M.}, title = {An Experiment in Automatic Self-Applicable Partial Evaluation of Prolog}, year = {1990}, type = {Report 335}, institution = {Univ. Dortmund} } @MISC{BondorfJonesMogensenSestoft88, author = {Bondorf, A. and Jones, N.D. and Mogensen, T. and Sestoft, P.}, title = {Binding Time Analysis and the Taming of Self-Application}, year = {1988}, howpublished = {DIKU} } @MISC{Bonnier90, author = {Bonnier, S.}, title = {Horn Clause Logic with External Procedures: Towards A Formal Framework}, year = {1990}, howpublished = {Link{\"o}ping University} } @INPROCEEDINGS{Bonnier91, author = {Bonnier, S.}, title = {Unification in Incompletely Specified Theories: A Case Study}, year = {1991}, pages = {84-92}, publisher = {Springer LNCS 520}, booktitle = {Mathematical Foundations of Computer Science} } @PHDTHESIS{Bonnier92, author = {Bonnier, S.}, title = {A Formal Basis for Horn Clause Logic with External Polymorphic Functions}, year = {1992}, school = {Link{\"o}ping University} } @INPROCEEDINGS{BonnierMaluszynski88, author = {Bonnier, S. and Maluszynski, J.}, title = {Towards a Clean Amalgamation of Logic Programs with External Procedures}, year = {1988}, pages = {311-326}, publisher = {MIT Press}, booktitle = {Proc. 5th Conference on Logic Programming \& 5th Symposium on Logic Programming (Seattle)} } @BOOK{Booch91, author = {Booch, G.}, title = {Object Oriented Design with Applications}, year = {1991}, publisher = {Benjamin/Cummings} } @MISC{Booch92, author = {Booch, G.}, title = {The Booch Method: Notation}, year = {1992}, howpublished = {Published by Rational} } @INPROCEEDINGS{BoscoCecchiMoiso88, author = {Bosco, P.G. and Cecchi, C. and Moiso, C.}, title = {Exploiting the full power of logic plus functional programming}, year = {1988}, pages = {3-17}, booktitle = {Proc. 5th Conference on Logic Programming \& 5th Symposium on Logic Programming (Seattle)} } @INPROCEEDINGS{BoscoCecchiMoiso89, author = {Bosco, P.G. and Cecchi, C. and Moiso, C.}, title = {An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing}, year = {1989}, pages = {318-333}, publisher = {MIT Press}, booktitle = {Proc. Sixth International Conference on Logic Programming (Lisboa)} } @INPROCEEDINGS{BoscoCecchiMoisoPortaSofi90, author = {Bosco, P.G. and Cecchi, C. and Moiso, C. and Porta, M. and Sofi, G.}, title = {Logic and Functional Programming on Distributed Memory Architectures}, year = {1990}, pages = {325-339}, publisher = {MIT Press}, booktitle = {Proc. Seventh International Conference on Logic Programming} } @INCOLLECTION{BoscoCecciGiovannettiMoisoPalamidessi89, author = {Bosco, P.G. and Cecci, C. and Giovannetti, E. and Moiso, C. and Palamidessi, C.}, title = {Using resolution for a sound and efficient integration of logic and functional programming}, year = {1989}, editor = {deBakker, J.}, publisher = {Wiley (UK)}, booktitle = {Languages for parallel architectures} } @INPROCEEDINGS{BoscoEtAl87, author = {Bosco, P.G. and Giovannetti, E. and Levi, G. and Moiso, C. and Palamidessi, C.}, title = {A complete semantic characterization of K-LEAF, a logic language with partial functions}, year = {1987}, address = {San Francisco}, pages = {318-327}, booktitle = {Proc. 4th IEEE Internat. Symposium on Logic Programming} } @INPROCEEDINGS{BoscoGiovannetti86, author = {Bosco, P.G. and Giovannetti, E.}, title = {IDEAL: An Ideal Deductive Applicative Language}, year = {1986}, booktitle = {Proc. IEEE Internat. Symposium on Logic Programming}, address = {Salt Lake City}, pages = {89-94} } @INPROCEEDINGS{BoscoGiovannettiMoiso87, author = {Bosco, P.G. and Giovannetti, E. and Moiso, C.}, title = {Refined strategies for semantic unification}, year = {1987}, booktitle = {Proc. of the TAPSOFT '87}, publisher = {Springer LNCS 250}, pages = {276-290} } @ARTICLE{BoscoGiovannettiMoiso88, author = {Bosco, P.G. and Giovannetti, E. and Moiso, C.}, title = {Narrowing vs. SLD-Resolution}, year = {1988}, pages = {3-23}, journal = {Theoretical Computer Science 59} } @ARTICLE{BossiGabbrielliLeviMartelli94, author = {Bossi, A. and Gabbrielli, M. and Levi, G. and Martelli, M.}, title = {The s-Semantics Approach: Theory and Applications}, year = {1994}, volume = {19\&20}, journal = {Journal of Logic Programming} } @TECHREPORT{BotorogKuchen95, author = {Botorog, G.H. and Kuchen, H.}, title = {Algorithmic Skeletons in an Imperative Language for Distributed Programming}, year = {1995}, institution = {Univ. Giessen} } @ARTICLE{BotorogKuchen98, author = {Botorog, G.H. and Kuchen, H.}, title = {Efficient high-level parallel programming}, year = {1998}, pages = {71-107}, journal = {Theoretical Computer Science 196} } @TECHREPORT{Boulanger95, author = {Boulanger, D.}, title = {Decoding Models of Definite Logic Programs}, year = {1995}, institution = {GMD FIRST} } @TECHREPORT{BoulangerBruynooghe92, author = {Boulanger, D. and Bruynooghe, M.}, title = {Deriving Fold/Unfolgd Transformation of Logic Programs Using Extended OLDT-based Abstract Interpretation}, year = {1992}, type = {Technical Report CW 163}, institution = {K.U. Leuven} } @TECHREPORT{Bourdoncle92, author = {Bourdoncle, F.}, title = {Abstract Interpretation by Dynamic Partitioning}, year = {1992}, type = {Research Report 18}, institution = {DEC Paris Research Laboratory} } @UNPUBLISHED{BousdiraRemy, author = {Bousdira, W. and Remy, J.-L.}, title = {Hierarchical contextual rewriting with several levels}, year = {NN}, note = {CRIN \& INRIA Lorraine} } @INPROCEEDINGS{Bowen91, author = {Bowen, J.}, title = {From Programs to Object Code using Logic and Logic Programming}, year = {1991}, booktitle = {Proc. Int. Workshop on Code Generation, Dagstuhl} } @INPROCEEDINGS{BowenEtAl86, author = {Bowen, K.A. and Buettner, K.A. and Cicekli, I. and Turk, A.K.}, title = {The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler}, year = {1986}, booktitle = {Proc. Third International Conference on Logic Programming (London)}, publisher = {Springer LNCS 225}, pages = {650-656} } @INCOLLECTION{BowenKowalski82, author = {Bowen, K.A. and Kowalski, R.A.}, title = {Amalgamating Language and Metalanguage in Logic Programming}, year = {1982}, pages = {153-172}, editor = {Clark, K.L. and T{\"a}rnlund, S.-A.}, publisher = {Academic Press}, booktitle = {Logic Programming} } @INPROCEEDINGS{Boye91, author = {Boye, J.}, title = {S-SLD-resolution -- An Operational Semantics for Logic Programs with External Procedures}, year = {1991}, pages = {383-393}, publisher = {Springer LNCS 528}, booktitle = {Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming} } @INPROCEEDINGS{Boye93, author = {Boye, J.}, title = {Avoiding Dynamic Delays in Functional Logic Programs}, year = {1993}, pages = {12-27}, publisher = {Springer LNCS 714}, booktitle = {Proc. of the 5th International Symposium on Programming Language Implementation and Logic Programming} } @PHDTHESIS{Boye96, author = {Boye, J.}, title = {Directional Types in Logic Programming}, year = {1996}, school = {Link{\"o}ping University} } @TECHREPORT{BoyePaakkiMaluszynski93, author = {Boye, J. and Paakki, J. and Maluszynski, J.}, title = {Dependency-based Groundness Analysis of Functional Logic Programs}, year = {1993}, type = {Research Report LiTH-IDA-R-93-20}, institution = {Link{\"o}ping University} } @INPROCEEDINGS{BoyePaakkiMaluszynski93WSA, author = {Boye, J. and Paakki, J. and Maluszynski, J.}, title = {Synthesis of directionality information for functional logic programs}, year = {1993}, pages = {165-177}, booktitle = {Proc. Third International Workshop on Static Analysis}, publisher = {Springer LNCS 724} } @INPROCEEDINGS{BoyerMoore72, author = {Boyer, R.S. and Moore, J.S.}, title = {The sharing of structure in theorem proving programs}, year = {1972}, editor = {Meltzer, B. and Michie, D.}, pages = {101-116}, booktitle = {Machine Intelligence 7} } @ARTICLE{BrabrandMollerRickySchwartzbach00, author = {Brabrand, C. and M{\o}ller, A. and Ricky, M. and Schwartzbach, M.I.}, title = {PowerForms: Declarative Client-side Form Field Validation}, year = {2000}, journal = {World Wide Web Journal}, number = {4}, pages = {205-214}, volume = {3} } @ARTICLE{BrabrandMollerSchwartzbach02, author = {Brabrand, C. and M{\o}ller, A. and Schwartzbach, M.I.}, title = {The {\tt } Project}, year = {2002}, journal = {ACM Transactions on Internet Technology}, number = {2}, pages = {79-114}, volume = {2} } @TECHREPORT{Brassel04TechRep, author = {Bra{\ss}el, B.}, title = {Non-Determinism Analysis of Functional Logic Programs}, year = {2004}, institution = {Christian-Albrechts-Universit\"at zu Kiel} } @ARTICLE{Brassel07ENTCS, author = {Bra{\ss}el, B.}, title = {A Framework for Interpreting Traces of Functional Logic Computations}, year = {2007}, journal = {Electronic Notes in Theoretical Computer Science}, pages = {91-106}, volume = {177} } @MASTERSTHESIS{Brassel99, author = {Bra{\ss}el, B.}, title = {Conditional Narrowing with Lazy Evaluation (in German)}, year = {1999}, school = {RWTH Aachen} } @INPROCEEDINGS{BrasselChitilHanusHuch04PADL, author = {Bra{\ss}el, B. and Chitil, O. and Hanus, M. and Huch, F.}, title = {Observing Functional Logic Computations}, year = {2004}, booktitle = {Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04)}, pages = {193-208}, publisher = {Springer LNCS 3057} } @INPROCEEDINGS{BrasselFischerHanusHuchVidal07, author = {Brassel, B. and Fischer, S. and Hanus, M. and Huch, F. and Vidal, G.}, title = {Lazy Call-By-Value Evaluation}, year = {2007}, booktitle = {Proc. of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007)}, pages = {265-276}, publisher = {ACM Press} } @INPROCEEDINGS{BrasselFischerHuch06LOPSTR, author = {Brassel, B. and Fischer, S. and Huch, F.}, title = {A Program Transformation for Tracing Functional Logic Computations}, year = {2006}, booktitle = {Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06)}, pages = {160-176}, publisher = {Springer LNCS 4407} } @INPROCEEDINGS{BrasselFischerHuch06LOPSTRTR, author = {Brassel, B. and Fischer, S. and Huch, F.}, title = {A Program Transformation for Tracing Functional Logic Computations}, year = {2006}, booktitle = {Pre-Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06)}, pages = {141-157}, publisher = {Technical Report CS-2006-5, Universit\`a ca' Foscari di Venezia} } @INPROCEEDINGS{BrasselHanus05, author = {Bra{\ss}el, B. and Hanus, M.}, title = {Nondeterminism Analysis of Functional Logic Programs}, year = {2005}, booktitle = {Proceedings of the International Conference on Logic Programming (ICLP 2005)}, pages = {265-279}, publisher = {Springer LNCS 3668} } @ARTICLE{BrasselHanusHuch04JFLP, author = {Bra{\ss}el, B. and Hanus, M. and Huch, F.}, title = {Encapsulating Non-Determinism in Functional Logic Computations}, year = {2004}, journal = {Journal of Functional and Logic Programming}, number = {6}, publisher = {EAPLS}, volume = {2004} } @INPROCEEDINGS{BrasselHanusHuch04WFLP, author = {Bra{\ss}el, B. and Hanus, M. and Huch, F.}, title = {Encapsulating Non-Determinism in Functional Logic Computations}, year = {2004}, address = {Aachen (Germany)}, booktitle = {Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004)}, pages = {74-90}, publisher = {Technical Report AIB-2004-05, RWTH Aachen} } @INPROCEEDINGS{BrasselHanusHuchSilvaVidal04, author = {Bra{\ss}el, B. and Hanus, M. and Huch, F. and Silva, J. and Vidal, G.}, title = {Run-Time Profiling of Functional Logic Programs}, year = {2004}, booktitle = {Pre-Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04)}, pages = {178-189} } @INPROCEEDINGS{BrasselHanusHuchSilvaVidal04LOPSTR, author = {Bra{\ss}el, B. and Hanus, M. and Huch, F. and Silva, J. and Vidal, G.}, title = {Run-Time Profiling of Functional Logic Programs}, year = {2005}, booktitle = {Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04)}, pages = {182-197}, publisher = {Springer LNCS 3573} } @INPROCEEDINGS{BrasselHanusHuchVidal04, author = {Bra{\ss}el, B. and Hanus, M. and Huch, F. and Vidal, G.}, title = {A Semantics for Tracing Declarative Multi-Paradigm Programs}, year = {2004}, booktitle = {Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'04)}, pages = {179-190}, publisher = {ACM Press} } @INPROCEEDINGS{BrasselHanusMueller07WLPE, author = {Bra{\ss}el, B. and Hanus, M. and M{\"u}ller, M.}, title = {Compiling ER Specifications into Declarative Programs}, year = {2007}, booktitle = {Proc. of the 17th Workshop on Logic-based Methods in Programming Environments (WLPE'07)}, pages = {31-46} } @INPROCEEDINGS{BrasselHanusMueller08PADL, author = {Bra{\ss}el, B. and Hanus, M. and M{\"u}ller, M.}, title = {High-Level Database Programming in Curry}, year = {2008}, booktitle = {Proc. of the Tenth International Symposium on Practical Aspects of Declarative Languages (PADL'08)}, pages = {316-332}, publisher = {Springer LNCS 4902} } @INPROCEEDINGS{BrasselHanusSteiner01Rursee, author = {Bra{\ss}el, B. and Hanus, M. and Steiner, F.}, title = {Embedding Processes in a Declarative Programming Language}, year = {2001}, booktitle = {Proc. Workshop on Programming Languages and Foundations of Programming}, pages = {61-73}, publisher = {Aachener Informatik Berichte Nr.~AIB-2001-11, RWTH Aachen} } @INPROCEEDINGS{BrasselHuch05WCFLP, author = {Bra{\ss}el, B. and Huch, F.}, title = {Translating Curry to Haskell}, year = {2005}, booktitle = {Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005)}, pages = {60-65}, publisher = {ACM Press} } @INPROCEEDINGS{BrasselHuch07, author = {Bra{\ss}el, B. and Huch, F.}, title = {On a Tighter Integration of Functional and Logic Programming}, year = {2007}, booktitle = {Proc. APLAS 2007}, pages = {122-138}, publisher = {Springer LNCS 4807} } @INPROCEEDINGS{BrasselHuch07WLP, author = {Bra{\ss}el, B. and Huch, F.}, title = {The {Kiel} {Curry} System {KiCS}}, year = {2007}, booktitle = {Proc. 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)}, pages = {215-223}, publisher = {Technical Report 434, University of W{\"u}rzburg} } @INPROCEEDINGS{BrayshawEisenstadt88, author = {Brayshaw, M. and Eisenstadt, M.}, title = {Adding Data and Procedure Abstraction to the Transparent Prolog Machine (TPM)}, year = {1988}, pages = {532-547}, booktitle = {Proc. 5th Conference on Logic Programming \& 5th Symposium on Logic Programming (Seattle)}, publisher = {MIT Press} } @ARTICLE{BrayshawEisenstadt91, author = {Brayshaw, M. and Eisenstadt, M.}, title = {A practical graphical tracer for Prolog}, year = {1991}, pages = {597-631}, volume = {35}, journal = {Int. Journal of Man-Machine Studies} } @INPROCEEDINGS{Breazu-Tannen88, author = {Breazu-Tannen, V.}, title = {Combining Algebra and Higher-Order Types}, year = {1988}, booktitle = {Proc. LICS'88} } @INPROCEEDINGS{Breazu-TannenMeyer85, author = {Breazu-Tannen, V. and Meyer, A.R.}, title = {Lambda Calculus with Constrained Types}, year = {1985}, publisher = {Springer LNCS 193}, booktitle = {Logic of Programs '85} } @INPROCEEDINGS{BreitingerEtAl97IFL, author = {Breitinger, S. and Klusik, U. and Loogen, R. and Ortega-Mall{\'e}n, Y. and Pe{\~n}a, R.}, title = {DREAM: The DisRibuted Eden Abstract Machine}, year = {1997}, pages = {250-269}, publisher = {Springer LNCS 1467}, booktitle = {Proc. 9th International Workshop on Implementation of Functional Languages (IFL'97)} } @INPROCEEDINGS{BreitingerKlusikLoogen98, author = {Breitinger, S. and Klusik, U. and Loogen, R.}, title = {From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View}, year = {1998}, pages = {318-334}, booktitle = {Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP'98)}, publisher = {Springer LNCS 1490} } @MISC{BreitingerLock93, author = {Breitinger, S. and Lock, H.C.R.}, title = {Solving Industrial Scheduling Problems with Finite Domain Constraints}, year = {1993}, howpublished = {IBM Deutschland} } @INPROCEEDINGS{BreitingerLoogenOrtega-MallenPena96, author = {Breitinger, S. and Loogen, R. and Ortega-Mallen, Y. and Pena-Mari, R.}, title = {EDEN -- The Paradise of Concurrent Functional Programming}, year = {1996}, publisher = {Springer LNCS 1123}, booktitle = {Proc. Europar'96} } @INPROCEEDINGS{BreitingerLoogenOrtega95, author = {Breitinger, S. and Loogen, R. and Ortega-Mallen, Y.}, title = {Concurrency in Functional and Logic Programming}, year = {1995}, publisher = {World Scientific Publ.}, booktitle = {Fuji International Workshop on Functional and Logic Programming} } @INPROCEEDINGS{BreitingerLoogenOrtega95Glasgow, author = {Breitinger, S. and Loogen, R. and Ortega-Mallen, Y.}, title = {Towards a Declarative Language for Parallel and Concurrent Programming}, year = {1995}, booktitle = {Glasgow Workshop on Functional Programming} } @TECHREPORT{Briaud96, author = {Briaud, D.}, title = {Higher Order Unification as a Typed Narrowing}, year = {1996}, institution = {CNRS and INRIA Lorraine} } @TECHREPORT{Briaud97, author = {Briaud, D.}, title = {Explicit Substitutions and Preunification: a Simple Approach}, year = {1997}, institution = {INRIA Lorraine} } @INPROCEEDINGS{BringertHoeckersten04, author = {Bringert, B. and H{\"o}ckersten, A.}, title = {HaskellDB Improved}, year = {2004}, booktitle = {Proc. of the ACM SIGPLAN 2004 Haskell Workshop}, pages = {108-115}, publisher = {ACM Press} } @TECHREPORT{Brisset94, author = {Brisset, P.}, title = {Avoiding dynamic type checking in a polymorphic logic programming language}, year = {1994}, institution = {IRISA (Rennes)} } @INPROCEEDINGS{BrissetRidoux91, author = {Brisset, P. and Ridoux, O.}, title = {Naive Reverse can be Linear}, year = {1991}, pages = {857-870}, publisher = {MIT Press}, booktitle = {Proc. International Conference on Logic Programming} } @PHDTHESIS{Brogi93, author = {Brogi, A.}, title = {Program Construction in Computational Logic}, year = {1993}, note = {Appeared as Technical Report TD-2/93}, school = {Univ. Pisa} } @MISC{BrogiCiancarini89, author = {Brogi, A. and Ciancarini, P.}, title = {Shared Prolog}, year = {1989}, howpublished = {Univ. Pisa} } @MISC{BrogiFilippiGaspariTurini88, author = {Brogi, A. and Filippi, R. and Gaspari, M. and Turini, F.}, title = {An Expert System for Data Fusion based on a Blackboard Architecture}, year = {1988}, howpublished = {Univ. Pisa} } @INPROCEEDINGS{BrogiGorrieri89, author = {Brogi, A. and Gorrieri, R.}, title = {A Distributed, Net Oriented Semantics for Delta Prolog}, year = {1989}, pages = {162-177}, publisher = {Springer LNCS 351}, booktitle = {Proc. TAPSOFT'89} } @ARTICLE{BrogiGorrieri93, author = {Brogi, A. and Gorrieri, R.}, title = {Distributed Logic Programming}, year = {1993}, pages = {295-336}, journal = {Journal of Logic Programming}, volume = {15}, number = {4} } @INPROCEEDINGS{BrogiGuarino96, author = {Brogi, A. and Guarino, C.}, title = {Pruning the Search Space of Logic Programs}, year = {1996}, pages = {35-49}, publisher = {Springer LNAI 1050}, booktitle = {Proc. 5th International Workshop on Extensions of Logic Programming} } @INPROCEEDINGS{BrogiJacquet99, author = {Brogi, A. and Jacquet, J.-M.}, title = {On the Expressiveness of Coordination Models}, year = {1999}, booktitle = {Proceedings of the Third International Conference on Coordination Languages and Models}, pages = {134-149}, publisher = {Springer LNCS 1594} } @ARTICLE{BrogiMancarellaPedreschiTurini94, author = {Brogi, A. and Mancarella, P. and Pedreschi, D. and Turini, F.}, title = {Modular Logic Programming}, year = {1994}, pages = {1361-1398}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {16}, number = {4} } @TECHREPORT{Brooks88, author = {Brooks, K.P.}, title = {A Two-view Document Editor with User-definable Document Structure}, year = {1988}, type = {Technical Report 33}, institution = {DEC Palo Alto} } @INPROCEEDINGS{Broy80, author = {Broy, M.}, title = {Zur Spezifikation von Programmen f{\"u}r die Textverarbeitung}, year = {1980}, pages = {75-93}, editor = {Wossidlo, P.R.}, publisher = {Springer}, booktitle = {Textverarbeitung und Informatik} } @ARTICLE{Broy88, author = {Broy, M.}, title = {Equational Specification of Partial Higher-Order Algebras}, year = {1988}, pages = {3-45}, volume = {57}, journal = {Theoretical Computer Science} } @TECHREPORT{BroyFacciGrosuHettlerHussmannNazarethRegensburgerStolen91, author = {Broy, M. and Facci, C. and Grosu, R. and Hettler, R. and Hussmann, H. and Nazareth, D. and Regensburger, F. and Stolen, K.}, title = {The Requirement and Design Specification Language SPECTRUM: An Informal Introduction Version 0.3}, year = {1991}, type = {Report TUM-I9140}, institution = {TU M{\"u}nchen} } @TECHREPORT{BruellKuchen96, author = {Br{\"u}ll, A. and Kuchen, H.}, title = {TPascal - A Language for Task Parallel Programming}, year = {1996}, type = {Report 9601}, institution = {Univ. Giessen} } @INCOLLECTION{Bruynooghe82, author = {Bruynooghe, M.}, title = {The Memory Management of PROLOG Implementations}, year = {1982}, editor = {Clark, K.L. and {T\"arnlund}, S.-A.}, booktitle = {Logic Programming}, publisher = {Academic Press}, pages = {83-98} } @INCOLLECTION{Bruynooghe84, author = {Bruynooghe, M.}, title = {Garbage collection in Prolog interpreters}, year = {1984}, editor = {Campbell, J.A.}, booktitle = {Implementations of Prolog}, publisher = {Ellis Horwood}, pages = {259-267} } @ARTICLE{Bruynooghe91, author = {Bruynooghe, M.}, title = {A Practical Framework for the Abstract Interpretation of Logic Programs}, year = {1991}, pages = {91-124}, journal = {Journal of Logic Programming (10)} } @TECHREPORT{BruynoogheBoulanger93, author = {Bruynooghe, M. and Boulanger, D.}, title = {Abstract Interpretation for (Constraint) Logic Programming}, year = {1993}, note = {To appear in: Constraint Programming (B.~Mayoh, E.~Tougu, J.~Penjam, eds.), Springer, 1994}, type = {Report CW 183}, institution = {K.U. Leuven} } @INPROCEEDINGS{BruynoogheCodish93, author = {Bruynooghe, M. and Codish, M.}, title = {Freeness, Sharing, Linearity and Correctness -- All at Once}, year = {1993}, pages = {153-164}, publisher = {Springer LNCS 724}, booktitle = {Proc. Third International Workshop on Static Analysis} } @TECHREPORT{BruynoogheCodish93a, author = {Bruynooghe, M. and Codish, M.}, title = {Freeness, Sharing, Linearity and Correctness -- All at Once}, year = {1993}, note = {Also in Proc. WSA'93, Springer LNCS 724}, type = {Report CW 179}, institution = {K.U. Leuven} } @INPROCEEDINGS{BruynoogheDeSchreyeKrekels86, author = {Bruynooghe, M. and De Schreye, D. and Krekels, B.}, title = {Compiling Control}, year = {1986}, pages = {70-77}, address = {Salt Lake City}, booktitle = {Proc. IEEE Internat. Symposium on Logic Programming} } @INPROCEEDINGS{BruynoogheEtAl87, author = {Bruynooghe, M. and Janssens, G. and Callebaut, A. and Demoen, B.}, title = {Abstract interpretation: towards the global optimization of Prolog programs}, year = {1987}, booktitle = {Proc. 4th IEEE Internat. Symposium on Logic Programming}, address = {San Francisco}, pages = {192-204} } @ARTICLE{BruynoogheEtAl89, author = {Bruynooghe, M. and De Schreye, D. and Krekels, B.}, title = {Compiling Control}, year = {1989}, journal = {Journal of Logic Programming (6)}, pages = {135-162} } @INPROCEEDINGS{BruynoogheJanssens88, author = {Bruynooghe, M. and Janssens, G.}, title = {An Instance of Abstract Interpretation Integrating Type and Mode Inferencing}, year = {1988}, booktitle = {Proc. 5th Conference on Logic Programming \& 5th Symposium on Logic Programming (Seattle)}, pages = {669-683} } @TECHREPORT{BruynoogheWinsborough92, author = {Bruynooghe, M. and Winsborough, W.}, title = {Type Graph Unification}, year = {1992}, type = {Technical Report CW 160}, institution = {K.U. Leuven} } @INPROCEEDINGS{BryDeckerManthey88, author = {Bry, F. and Decker, H. and Manthey, R.}, title = {A Unifor, Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases}, year = {1988}, pages = {488-505}, publisher = {Springer LNCS 303}, booktitle = {Int. Conf. on Extending Database Technology} } @MISC{BryManthey89, author = {Bry, F. and Manthey, R.}, title = {Deductive Databases}, year = {1989}, howpublished = {Tutorial notes at ICLP'89} } @INPROCEEDINGS{Buchberger96, author = {Buchberger, B.}, title = {Proving, Solving, Computing}, year = {1996}, booktitle = {JICSLP'96-Workshop on Multi-Paradigm Logic Programming} } @BOOK{Budd91, author = {Budd, T.}, title = {An Introduction to Object-Oriented Programming}, year = {1991}, publisher = {Addison-Wesley} } @BOOK{Budd95, author = {Budd, T.}, title = {Multiparadigm Programming in Leda}, year = {1995}, publisher = {Addison-Wesley} } @ARTICLE{Budd98, author = {Budd, T.A.}, title = {Functional Programming and the Fragile Base Class Problem}, year = {1998}, pages = {66-71}, number = {12}, volume = {33}, journal = {ACM SIGPLAN Notices} } @TECHREPORT{BuddeKuhlenkampSyllaZuellighoven87, author = {Budde, R. and Kuhlenkamp, K. and Sylla, K.-H. and Z{\"u}llighoven, H.}, title = {Constructing Interactive Applications in a Prolog Programming Environment}, year = {1987}, type = {Internal Report}, institution = {GMD} } @UNPUBLISHED{BuddeKuhlenkampSyllaZuellighoven87a, author = {Budde, R. and Kuhlenkamp, K. and Sylla, K.-H. and Z{\"u}llighoven, H.}, title = {Methodik des Programmierens in Prolog}, year = {1987}, note = {GMD Projekt ProLab} } @TECHREPORT{BuddeKuhlenkampSyllaZuellighoven87b, author = {Budde, R. and Kuhlenkamp, K. and Sylla, K.-H. and Z{\"u}llighoven, H.}, title = {Eine {\"U}bersicht {\"u}ber die Prolog-Programmierumgebung ProLab}, year = {1987}, type = {Jahresbericht 1987}, institution = {GMD} } @INPROCEEDINGS{BuenoEtAl96ESOP, author = {Bueno, F. and Cabeza, D. and Hermenegildo, M. and Puebla, G.}, title = {Global Analysis of Standard Prolog Programs}, year = {1996}, publisher = {Springer LNCS 1058}, pages = {108-124}, booktitle = {Proc. 6th European Symposium on Programming (ESOP'96)} } @INPROCEEDINGS{BuenoHermenegildo92, author = {Bueno, F. and Hermenegildo, M.}, title = {An Automatic Translation Scheme from Prolog to the Andorra Kernel Language}, year = {1992}, pages = {759-769}, publisher = {ICOT}, booktitle = {Proc. of the 1992 International Conference on Fifth Generation Computer Systems} } @MASTERSTHESIS{Buetow92, author = {B{\"u}tow, B.}, title = {Konzepte zur Parallelisierung logisch-funktionaler Programmiersprachen}, year = {1992}, type = {Diplomarbeit}, school = {Univ. Dortmund} } @INPROCEEDINGS{BuetowGiegerichOhlebuschThesing95, author = {B{\"u}tow, B. and Giegerich, R. and Ohlebusch, E. and Thesing, S.}, title = {A New Strategy for Semantic Matching}, year = {1995}, booktitle = {Proc. of PLILP'95}, publisher = {Springer LNCS (to appear)} } @TECHREPORT{BuetowThesing94, author = {B{\"u}tow, B. and Thesing, S.}, title = {Reverse Restructuring: Another Method of Solving Algebraic Equations}, year = {1994}, type = {Report 94-07}, institution = {Univ. Bielefeld} } @INPROCEEDINGS{Buettner86, author = {Buettner, K.A.}, title = {Fast Decompilation of Compiled Prolog Clauses}, year = {1986}, booktitle = {Proc. Third International Conference on Logic Programming (London)}, publisher = {Springer LNCS 225}, pages = {663-670} } @UNPUBLISHED{Buettner88, author = {B{\"u}ttner, W.}, title = {Application Driven Prolog Extensions}, year = {1988}, note = {Siemens AG} } @ARTICLE{BuettnerSimonis87, author = {B{\"u}ttner, W. and Simonis, H.}, title = {Embedding Boolean Expressions into Logic Programming}, year = {1987}, volume = {4}, pages = {191-205}, journal = {Journal of Symbolic Computation} } @MISC{BugliesiLammaMello90, author = {Bugliesi, M. and Lamma, E. and Mello, P.}, title = {Partial Deduction for Structured Logic Programming}, year = {1990} } @INPROCEEDINGS{BugliesiRusso89, author = {Bugliesi, M. and Russo, F.}, title = {Partial Evaluation in Prolog: Some Improvements about Cut}, year = {1989}, pages = {645-660}, publisher = {MIT Press}, booktitle = {Proc. of the 1989 North American Conference on Logic Programming} } @INPROCEEDINGS{Bundy88, author = {Bundy, A.}, title = {A Broader Interpretation of Logic in Logic Programming}, year = {1988}, pages = {1624-1648}, publisher = {MIT Press}, booktitle = {Proc. 5th Conference on Logic Programming \& 5th Symposium on Logic Programming (Seattle)} } @PHDTHESIS{Burgard91, author = {Burgard, W.}, title = {Goal-Directed Forward Chaining for Logic Programs}, year = {1991}, school = {Univ. Bonn} } @ARTICLE{BurkeTorczon93, author = {Burke, M. and Torczon, L.}, title = {Interprocedural Optimization: Eliminating Unnecessary Recompilation}, year = {1993}, pages = {367-399}, number = {3}, volume = {15}, journal = {ACM Transactions on Programming Languages and Systems} } @INPROCEEDINGS{BurstallMacQueenSannella80, author = {Burstall, R.M. and MacQueen, D.B. and Sannella, D.T.}, title = {HOPE: An Experimental Applicative Language}, year = {1980}, booktitle = {Conference Record of the 1980 LISP Conference}, publisher = {ACM}, pages = {136-143} } @ARTICLE{Burton89, author = {Burton, F.W.}, title = {A Note in Higher-order Functions versus Logical Variables}, year = {1989}, pages = {91-95}, volume = {31}, journal = {Information Processing Letters} } @ARTICLE{ButterworthOtisStein91, author = {Butterworth, P. and Otis, A. and Stein, J.}, title = {The GemStone Object Database Management System}, year = {1991}, pages = {64-77}, journal = {Communications of the ACM}, volume = {34}, number = {10} } @INPROCEEDINGS{Byrd80, author = {Byrd, L.}, title = {Understanding the Control Flow of Prolog Programs}, year = {1980}, address = {Debrecen}, booktitle = {Proc. of the Workshop on Logic Programming} } @TECHREPORT{CaballeroEtAl97TOY, author = {Caballero-Rold{\'a}n, R. and S{\'a}nchez-Hern{\'a}ndez, J. and L{\'o}pez-Fraguas, F.J.}, title = {User's Manual for TOY}, year = {1997}, type = {Technical Report SIP 97/57}, institution = {Universidad Complutense de Madrid} } @ARTICLE{CaballeroGarciaRuiz07, author = {Caballero, R. and Garc{\'\i}a-Ruiz, Y.}, title = {Implementing Dynamic-Cut in TOY}, year = {2007}, journal = {Electronic Notes in Theoretical Computer Science}, pages = {153-168}, volume = {177} } @INPROCEEDINGS{CaballeroLopez99, author = {Caballero, R. and L{\'o}pez-Fraguas, F.J.}, title = {A Functional-Logic Perspective of Parsing}, year = {1999}, pages = {85-99}, booktitle = {Proc. 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99)}, publisher = {Springer LNCS 1722} } @INPROCEEDINGS{CaballeroLopezRodriguez01FLOPS, author = {Caballero, R. and L{\'o}pez-Fraguas, F.J. and Rodr{\'\i}guez-Artalejo, M.}, title = {Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs}, year = {2001}, booktitle = {Proc.\ of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001)}, pages = {170-184}, publisher = {Springer LNCS 2024} } @ARTICLE{CaballeroRodriguez02ENTCS, author = {Caballero, R. and Rodr{\'\i}guez-Artalejo, M.}, title = {A Declarative Debugging System for Lazy Functional Logic Programs}, year = {2002}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {64} } @INPROCEEDINGS{CaballeroRodriguez04, author = {Caballero, R. and Rodr{\'\i}guez-Artalejo, M.}, title = {DDT: a Declarative Debugging Tool for Functional-Logic Languages}, year = {2004}, booktitle = {Proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004)}, pages = {70-84}, publisher = {Springer LNCS 2998} } @ARTICLE{CabasinoPaolucciTodesco92, author = {Cabasino, S. and Paolucci, P.S. and Todesco, G.M.}, title = {Dynamic Parsers and Evolving Grammars}, year = {1992}, journal = {ACM SIGPLAN Notices}, number = {11}, pages = {39-48}, volume = {27} } @ARTICLE{CabezaHermenegildo01, author = {Cabeza, D. and Hermenegildo, M.}, title = {Distributed {WWW} Programming using {(CIAO-)Prolog} and the {Pillow} library}, year = {2001}, journal = {Theory and Practice of Logic Programming}, number = {3}, pages = {251-282}, volume = {1} } @INPROCEEDINGS{CabezaHermenegildo96PILLOW, author = {Cabeza, D. and Hermenegildo, M.}, title = {Internet and WWW Programming using Computational Logic Systems}, year = {1996}, booktitle = {Workshop on Logic Programming and the Internet}, note = {See also {\tt http://clip.dia.fi.upm.es/Software/pillow/}} } @INPROCEEDINGS{CameronGarciaBandaMarriottMoulder03PPDP, author = {Cameron, M. and Garc{\'\i}a de la Banda, M. and Marriott, K. and Moulder, P.}, title = {ViMer: A Visual Debugger for Mercury}, year = {2003}, booktitle = {Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03)}, pages = {56-66}, publisher = {ACM Press} } @BOOK{Campbell84, author = {Campbell, J.A.}, title = {Implementations of Prolog}, year = {1984}, publisher = {Ellis Horwood} } @INPROCEEDINGS{CampbellKirslis84, author = {Campbell, R.H. and Kirslis, P.A.}, title = {The SAGA Project: A System for Software Development}, year = {1984}, booktitle = {ACM} } @TECHREPORT{Cardelli87, author = {Cardelli, L.}, title = {Building User Interfaces by Direct Manipulation}, year = {1987}, type = {Technical Report 22}, institution = {DEC Palo Alto} } @INPROCEEDINGS{Cardelli88, author = {Cardelli, L.}, title = {Structural Subtyping and the Notion of Power Type}, year = {1988}, booktitle = {Proc. POPL'88} } @TECHREPORT{CardelliEtAl88, author = {Cardelli, L. and Donahue, J. and Glassman, L. and Jordan, M. and Kalsow, B. and Nelson, G.}, title = {Modula-3 Report}, year = {1988}, institution = {Digital Systems Research Center} } @UNPUBLISHED{CardelliEtAl95, author = {Cardelli, L. and Donahue, J. and Glassman, L. and Jordan, M. and Kalsow, B. and Nelson, G.}, title = {Modula-3 Language Definition}, year = {1995}, note = {Part of Nelson's book} } @ARTICLE{CardelliWegner85, author = {Cardelli, L. and Wegner, P.}, title = {On Understanding Types, Data Abstraction, and Polymorphism}, year = {1985}, volume = {17}, number = {4}, pages = {471-523}, journal = {ACM Computing Surveys} } @INPROCEEDINGS{Carlsson84, author = {Carlsson, M.}, title = {On Implementing Prolog in Functional Programming}, year = {1984}, pages = {154-159}, address = {Atlantic City}, booktitle = {Proc. IEEE Internat. Symposium on Logic Programming} } @INPROCEEDINGS{Carlsson87, author = {Carlsson, M.}, title = {Freeze, Indexing, and Other Implementation Issues in the WAM}, year = {1987}, booktitle = {Proc. Fourth International Conference on Logic Programming (Melbourne)}, publisher = {MIT Press}, pages = {40-58} } @INPROCEEDINGS{CarlssonHallgren93, author = {Carlsson, M. and Hallgren, T.}, title = {Fudgets - A Graphical User Interface in a Lazy Functional Language}, year = {1993}, publisher = {ACM Press}, booktitle = {Conference on Functional Programming and Computer Architecture (FPCA'93)} } @ARTICLE{CarrieroGelernter89, author = {Carriero, N. and Gelernter, D.}, title = {Linda in Context}, year = {1989}, pages = {444-458}, number = {4}, volume = {32}, journal = {Communications of the ACM} } @INPROCEEDINGS{CartwrightFagan91, author = {Cartwright, R. and Fagan, F.}, title = {Soft typing}, year = {1991}, booktitle = {Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation}, pages = {278-292}, publisher = {ACM Press} } @INPROCEEDINGS{CasanovaGuerreiroSilva89, author = {Casanova, M.A. and Guerreiro, R.A. de T. and Silva, A.}, title = {Computing Answer to Logic Programs with Weak Model Elimination}, year = {1989}, pages = {92-114}, publisher = {MIT Press}, booktitle = {Proc. of the 1989 North American Conference on Logic Programming} } @INPROCEEDINGS{CasasCabezaHermenegildo05, author = {Casas, A. and Cabeza, D. and Hermenegildo, M.}, title = {Functional Notation and Lazy Evaluation in Ciao}, year = {2005}, booktitle = {Proc. of the 5th Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2005)}, pages = {25-36} } @INPROCEEDINGS{CasasCabezaHermenegildo06, author = {Casas, A. and Cabeza, D. and Hermenegildo, M.V.}, title = {A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems}, year = {2006}, booktitle = {Proc.\ of the 8th International Symposium on Functional and Logic Programming (FLOPS 2006)}, pages = {146-162}, publisher = {Springer LNCS 3945} } @INPROCEEDINGS{Caseau91, author = {Caseau, Y.}, title = {Abstract Interpretation of Constraints on Order-Sorted Domains}, year = {1991}, pages = {435-452}, booktitle = {Proc. 1991 International Logic Programming Symposium}, publisher = {MIT Press} } @INPROCEEDINGS{CaseauLaburthe97, author = {Caseau, Y. and Laburthe, F.}, title = {Solving Various Weighted Matching Problems with Constraints}, year = {1997}, pages = {17-31}, publisher = {Springer LNCS 1330}, booktitle = {Principles and Practice of Constraint Programming} } @ARTICLE{Castagna95, author = {Castagna, G.}, title = {Covariance and Contravariance: Conflict without a Cause}, year = {1995}, pages = {431-447}, number = {3}, volume = {17}, journal = {ACM Transactions on Programming Languages and Systems} } @UNPUBLISHED{CastroLopez-Fraguas06, author = {de Dios Castro, J. and L{\'o}pez-Fraguas, F.J.}, title = {Elimination of Extra Variables in Functional Logic Programs}, year = {2006}, note = {Personal communication} } @INPROCEEDINGS{CavalieriLammaMelloNatali88, author = {Cavalieri, M. and Lamma, E. and Mello, P. and Natali, A.}, title = {Meta-Programming in Prolog Through Direct Introspection: A Comparison with Meta-Interpretation Techniques}, year = {1988}, pages = {399-415}, publisher = {MIT Press}, booktitle = {Proc. META'88} } @TECHREPORT{Cavedon88, author = {Cavedon, L.}, title = {On the Completeness of SLDNF-Resolution}, year = {1988}, type = {Technical Report 88/17}, institution = {Univ. of Melbourne} } @ARTICLE{ChakravartyEtAl98Goffin, author = {Chakravarty, M.M.T. and Guo, Y. and K{\"o}hler, M. and Lock, H.C.R.}, title = {Goffin - Higher-Order Functions Meet Concurrent Constraints}, year = {1998}, pages = {157-199}, number = {1-2}, volume = {30}, journal = {Science of Computer Programming} } @INPROCEEDINGS{ChakravartyGuoKoehler98, author = {Chakravarty, M.M.T. and Guo, Y. and K{\"o}hler, M.}, title = {Distributed Haskell: Goffin on the Internet}, year = {1998}, pages = {80-97}, publisher = {World Scientific Publishers}, booktitle = {Proc. of the Third Fuji International Symposium on Functional and Logic Programming} } @BOOK{ChakravartyKeller04, author = {Chakravarty, M.M.T. and Keller, G.C.}, title = {Einf{\"u}hrung in die Programmierung mit Haskell}, year = {2004}, publisher = {Pearson} } @INPROCEEDINGS{ChakravartyKoehler92, author = {Chakravarty, M.M.T. and K{\"o}hler, M.}, title = {Equational Constraints, Residuation, and the Parallel JUMP-Machine}, year = {1992}, booktitle = {Proc. 4th Int. Workshop on the Parallel Implementation of Functional Languages (Aachen)} } @INPROCEEDINGS{ChakravartyLock91, author = {Chakravarty, M.M.T. and Lock, H.C.R.}, title = {The Implementation of Lazy Narrowing}, year = {1991}, pages = {123-134}, publisher = {Springer LNCS 528}, booktitle = {Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming} } @INPROCEEDINGS{ChakravartyLock94ICLP, author = {Chakravarty, M.M.T. and Lock, H.C.R.}, title = {The JUMP-machine: a Generic Basis for the Integration of Declarative Paradigms}, year = {1994}, publisher = {Technical Report MPI-I-94-224, MPI Informatik, Saarbr{\"u}cken}, pages = {61-75}, booktitle = {Proc. Post-ICLP'94 Workshop on Integration of Declarative Paradigms} } @ARTICLE{ChakravartyLock97, author = {Chakravarty, M.M.T. and Lock, H.C.R.}, title = {Towards the Uniform Implementation of Declarative Languages}, year = {1997}, pages = {121-160}, number = {2-4}, volume = {23}, journal = {Computer Languages} } @INPROCEEDINGS{ChamberlinKingSlitzToddWade81, author = {Chamberlin, D.D. and King, J.C. and Slitz, D.R. and Todd, S.J.P. and Wade, B.W.}, title = {JANUS: An Interactive System for Document Composition}, year = {1981}, pages = {82-91}, booktitle = {Proc. ACM SIGPLAN SIGOA Symposium on Text Manipulation, Portland/Oregon}, publisher = {SIGOA Newsletter, Vol. 2, No. 1+2} } @INPROCEEDINGS{Chan88, author = {Chan, D.}, title = {Constructive Negation Based On The Completed Database}, year = {1988}, pages = {111-125}, booktitle = {Proc. 5th Conference on Logic Programming \& 5th Symposium on Logic Programming (Seattle)} } @BOOK{ChangLee73, author = {Chang, C.-L. and Lee, R.C.-T.}, title = {Symbolic Logic and Mechanical Theorem Proving}, year = {1973}, publisher = {Academic Press} } @ARTICLE{Chen76, author = {Chen, P. P.-S.}, title = {The Entity-Relationship Model---Toward a Unified View of Data}, year = {1976}, journal = {ACM Transactions on Database Systems}, number = {1}, pages = {9-36}, volume = {1} } @INPROCEEDINGS{Chen87, author = {Chen, W.}, title = {A Theory of Modules Based on Second-Order Logic}, year = {1987}, booktitle = {Proc. 4th IEEE Internat. Symposium on Logic Programming}, address = {San Francisco}, pages = {24-33} } @INPROCEEDINGS{ChenKiferWarren89, author = {Chen, W. and Kifer, M. and Warren, D.S.}, title = {HiLog: A First-Order Semantics for Higher-order Logic Programming Constructs}, year = {1989}, pages = {1090-1114}, publisher = {MIT Press}, booktitle = {Proc. of the 1989 North American Conference on Logic Programming} } @INPROCEEDINGS{ChenWarren88, author = {Chen, W. and Warren, D.S.}, title = {Objects as Intensions}, year = {1988}, pages = {404-419}, booktitle = {Proc. 5th Conference on Logic Programming \& 5th Symposium on Logic Programming (Seattle)} } @INPROCEEDINGS{ChenWarren91, author = {Chen, W. and Warren, D.S.}, title = {An Intensional Logic of (Multi-Arity) Set Abstractions}, year = {1991}, pages = {98-110}, publisher = {MIT Press}, booktitle = {International Conference on Logic Programming} } @TECHREPORT{ChengvanEmdenRichards89, author = {Cheng, M.H.M. and van Emden, M.H. and Richards, B.E.}, title = {On Warren's Method for Functional Programming in Logic}, year = {1989}, type = {Report LP-12 DCS-122-IR}, institution = {Univ. of Victoria} } @INPROCEEDINGS{ChengvanEmdenRichards90, author = {Cheng, M.H.M. and van Emden, M.H. and Richards, B.E.}, title = {On Warren's Method for Functional Programming in Logic}, year = {1990}, booktitle = {Proc. Seventh International Conference on Logic Programming}, publisher = {MIT Press}, pages = {546-560} } @INPROCEEDINGS{ChenxiYunguiLiangliangYunfa87, author = {Chenxi, Z. and Yungui, T. and Liangliang, L. and Yunfa, H.}, title = {An Approach to the Implementation of Prolog Code Database and Source Database in Compiler-based Systems}, year = {1987}, pages = {398-405}, address = {San Francisco}, booktitle = {Proc. 4th IEEE Internat. Symposium on Logic Programming} } @TECHREPORT{Cheong90, author = {Cheong, P.H.}, title = {Compiling lazy narrowing into Prolog}, year = {1990}, note = {To appear in Journal of New Generation Computing}, type = {Technical Report 25}, institution = {LIENS, Paris} } @UNPUBLISHED{CheongFribourg90, author = {Cheong, P.H. and Fribourg, L.}, title = {Integrating simplification into Prolog}, year = {1990}, note = {Draft, LIENS, Paris} } @INPROCEEDINGS{CheongFribourg91, author = {Cheong, P.H. and Fribourg, L.}, title = {Efficient Integration of Simplification into Prolog}, year = {1991}, pages = {359-370}, publisher = {Springer LNCS 528}, booktitle = {Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming} } @INPROCEEDINGS{CheongFribourg91a, author = {Cheong, P.H. and Fribourg, L.}, title = {A survey of the implementations of narrowing}, year = {1991}, pages = {177-187}, editor = {Darlington, J. and Dietrich, R.}, booktitle = {Workshop on Declarative Programming}, publisher = {Springer, Workshops in Computing} } @INCOLLECTION{CheongFribourg93, author = {Cheong, P.H. and Fribourg, L.}, title = {Implementation of Narrowing: The Prolog-Based Approach}, year = {1993}, pages = {1-20}, editor = {Apt, K.R. and de Bakker, J.W. and Rutten, J.J.M.M.}, publisher = {MIT Press}, booktitle = {Logic programming languages: constraints, functions, and objects} } @TECHREPORT{CherniavskyBroerHafermann85, author = {Cherniavsky, V.S. and Broer, H. and Hafermann, U.}, title = {Programmieren in APL}, year = {1985}, type = {Informatik-Skripten 12}, institution = {TU Braunschweig} } @MISC{Chikayama95, author = {Chikayama, T.}, title = {Structure of KLIC}, year = {1995}, howpublished = {Slides presented at ICLP'95} } @ARTICLE{ChinDarlington96, author = {Chin, W.-N. and Darlington, J.}, title = {A Higher-Order Removal Method}, year = {1996}, journal = {Lisp and Symbolic Computation}, pages = {287-322}, volume = {9} } @MISC{ChinKumarHagiya93, author = {Chin, W.-N. and Kumar, A. and Hagiya, M.}, title = {Tupling and Lambda Abstraction yield Dynamic-Sized Tabulation}, year = {1993} } @TECHREPORT{Chitil96TR, author = {Chitil, O.}, title = {The $\varsigma$-Semantics: A Comprehensive Semantics for Functional Programs}, year = {1996}, institution = {RWTH Aachen}, type = {Aachener Informatik-Berichte No. 96-7} } @INPROCEEDINGS{ChitilHuch07, author = {Chitil, O. and Huch, F.}, title = {Monadic, Prompt Lazy Assertions in Haskell}, year = {2007}, booktitle = {Proc. APLAS 2007}, pages = {38-53}, publisher = {Springer LNCS 4807} } @INPROCEEDINGS{ChitilMcNeillRunciman03, author = {Chitil, O. and McNeill, D. and Runciman, C.}, title = {Lazy Assertions}, year = {2003}, address = {Edinburgh, Scotland}, booktitle = {Draft Proceedings of the 15th International Workshop on Implementation of Functional Languages (IFL 2003)}, pages = {31-46} } @INPROCEEDINGS{ChitilRuncimanWallace01, author = {Chitil, O. and Runciman, C. and Wallace, M.}, title = {Freja, {Hat} and {Hood} -- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs}, year = {2001}, booktitle = {Proc.\ of the 12th International Workshop on Implementation of Functional Languages (IFL 2000)}, pages = {176-193}, publisher = {Springer LNCS 2011} } @ARTICLE{Christensen83, author