Search dblp for Publications

export results for "toc:db/conf/lpe/lpe90.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lpe/AmbriolaCM90,
  author       = {Vincenzo Ambriola and
                  Paolo Ciancarini and
                  Carlo Montangero},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {The Logic Language {ESP} and its Programming Environment},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {12--15},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/AmbriolaCM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/BergereF90,
  author       = {Michel Berg{\`{e}}re and
                  G{\'{e}}rard Ferrand},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {A Semantics for Error Declarative Notion of Logic Programs with Negation},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {57--62},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/BergereF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Callebaut90,
  author       = {Alain Callebaut},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Carmen: {A} Prolog Tool for Generating User Interfaces},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {16--18},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Callebaut90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/CallebautD90,
  author       = {Alain Callebaut and
                  Bart Demoen},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Program Source as Model for Debugging Prolog},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {80--83},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/CallebautD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Chatalic90,
  author       = {Philippe Chatalic},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Keeping Track of Data Dependencies for Incremental Execution in Logic
                  Programming},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {6--11},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Chatalic90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Cochard90,
  author       = {Jean{-}Luc Cochard},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {A Graphical Representation Environment for Complex Prolog Structures},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {40--45},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Cochard90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/DavidP90,
  author       = {Gabriel David and
                  Ant{\'{o}}nio Porto},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Generic Browsing: {A} Case for Contextual Logic Programming},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {68--73},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/DavidP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/EmdeD90,
  author       = {Anna{-}Maria Emde and
                  Mireille Ducass{\'{e}}},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Automated Debugging of Non-Terminating Prolog Programs},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {35--39},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/EmdeD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/KahnS90,
  author       = {Kenneth M. Kahn and
                  Vijay A. Saraswat},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Complete Visualization of Concurrent Programs and Their Executions},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {30--34},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/KahnS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/KiyoharaNWC90,
  author       = {Ryozo Kiyohara and
                  Koichi Nakao and
                  Kumiko Wada and
                  Takashi Chikayama},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {{PIMOS:} {A} Concurrent Logic Programming Environment},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {63--67},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/KiyoharaNWC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/LardotB90,
  author       = {Liliane Lardot and
                  Norbert Batllou},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {A Theory of Testing in Logic Programming},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {52--56},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/LardotB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Leal90,
  author       = {Jos{\'{e}} Paulo Leal},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {The YToolkit: {A} Prolog Approach to a User Interface},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {19--29},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Leal90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/LoiaQT90,
  author       = {Vincenzo Loia and
                  Michel Quaggetto and
                  Fran{\c{c}}ois{-}Xavier Testard{-}Vaillant},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {A Prolog Debugging System is an Open System},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {74--79},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/LoiaQT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Wielemaker90,
  author       = {Jan Wielemaker},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {A Programming Environment for Developing Large Applications},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {1--5},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Wielemaker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/WinklerRS90,
  author       = {J{\"{u}}rgen F. H. Winkler and
                  Axel v. Reeken and
                  Adolf Schleiermacher},
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {A Prolog Debugger Based on a Refined Box Model},
  booktitle    = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  pages        = {46--51},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/WinklerRS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpe/1990,
  editor       = {Mireille Ducass{\'{e}} and
                  Anna{-}Maria Emde and
                  Anthony J. Kusalik and
                  Jacob Levy},
  title        = {Proceedings of the {ICLP} 1990 Workshop on Logic Programming Environments,
                  Eilat, Israel, June 16, 1990. Technical Report, {ECRC} {IR-LP-31-25}},
  year         = {1990},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.